Лекции по математической логике и теории алгоритмов - Викентьева
О.Л.
Пермь - 2007.
Логика высказываний.
Логические исчисления.
Логика и исчисление предикатов.
Автоматическое доказательство теорем.
Теория алгоритмов.
Пермь - 2007.
Логика высказываний.
Логические исчисления.
Логика и исчисление предикатов.
Автоматическое доказательство теорем.
Теория алгоритмов.