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

Автор(ы):

Судоплатов С. В.

Заглавие:

Математическая логика и теория алгоритмов (С.В. Судоплатов) : электронный учебно-методический комплекс

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

Новосибирск, [2011]

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

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

Тип:

неофициальные ресурсы (электронный учебно-методический комплекс)

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

математика

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

ЭУМК
электронные ресурсы
математика
математическая логика
теория алгоритмов
логика
логическое программирование
алгоритмическая система
алгоритмически неразрешимые проблемы
сложность вычислений

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

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

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

внесен лицензионный договор для автора Судоплатов С.В.

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