![](upload/7da8d6b0b8b8df4d85fe1ae715ea8b28Document-page-001.jpg)
Деякі розділи математичної логіки
6.040303 Системний аналіз
Викладено теоретичні положення методу резолюцій для логіки висловлювань та для логіки предикатів першого порядку, наведеніприклади розв’язання задач та вправи для самостійної роботи студентів.