Информация о ресурсе

Автор(ы):

Судоплатов С. В., Овчинникова Е. В.

Заглавие:

Математическая логика и теория алгоритмов : учебник

Выходные данные:

Новосибирск : Изд-во НГТУ, 2010

Полный текст:

перейти / скачать файл

Тип:

учебники

Предметная область:

математика

Ключевые слова:

математическая логика
теория алгоритмов
исчисления высказываний
исчисления предикатов
Левенгейма-Скулема теоремы
Тьюринга машины
предикаты
конечные автоматы

Кафедра/
подразделение-разработчик:

каф. АиМЛ (факультет ФПМИ)

Лицензионные договоры:

лицензионные договоры не внесены

Описание ресурса в электронном каталоге НБ