Деякі розділи математичної логіки

Викладач: Шевельова Алла Євгеніївна
Рік видання: 2010
Автор: Шевельова А.Є.
Спеціалізація:

6.040303 Системний аналіз

Опис:

Викладено теоретичні положення методу резолюцій для логіки висловлювань та для логіки предикатів першого порядку, наведеніприклади розв’язання задач та вправи для самостійної роботи студентів.

[скачано: 33]