Деякі розділи математичної логіки
Викладач:
Шевельова Алла Євгеніївна
Рік видання:
2010
Автор:
Шевельова А.Є.
Спеціалізація:
6.040303 Системний аналіз
Опис:
Викладено теоретичні положення методу резолюцій для логіки висловлювань та для логіки предикатів першого порядку, наведеніприклади розв’язання задач та вправи для самостійної роботи студентів.
