Розкрито основні поняття логіки висловлень та логіки предикатів першого порядку та їх численні застосування до розв'язання задач інформатики. Значну увагу приділено моделюванню знань, описано логічні, продукційні та фреймові моделі, семантичні мережі, об'єктно-орієнтоване програмування. Висвітлено можливості реалізації різних моделей засобами логіки предикатів першого порядку. Розглянуто основи логічного програмування мовою Пролог, описано процес створення експертних систем і оболонок.

Раскрыты основные понятия логики высказываний и логики предикатов первого порядка и их многочисленные применения для решения задач информатики. Значительное внимание уделено моделированию знаний, описаны логические, продукционные и фреймовые модели, семантические сети, объектно-ориентированное программирование. Освещены возможности реализации разных моделей средствами логики предикатов первого порядка. Рассмотрены основы логического программирования языком Пролог, описан процесс создания экспертных систем и оболонок.

• Рамський Юрій Савіянович (1942–) (педагогічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"