Теория алгоритмов и математическая логика
Розділ 1 Класична математична логіка
Тема 3
Логіка предикатів першого порядку
Запитання для самоперевірки
Задачі для самостійного розв’язування
Задачі для самостійного розв’язування
Логіка предикатів першого порядку
© 2014 СумГУ
created with
Lectur'ED
beta