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