Электронно-библиотечная система НГТУ / Информация о ресурсе
Подождите, идет поиск...Информация о ресурсе
| Автор(ы): | Судоплатов С. В. |
| Заглавие: | Математическая логика и теория алгоритмов (С.В. Судоплатов) : электронный учебно-методический комплекс |
| Выходные данные: | Новосибирск, [2011] |
| Полный текст: |
перейти / скачать файл |
| Тип: | неофициальные ресурсы (электронный учебно-методический комплекс) |
| Предметная область: |
математика |
| Ключевые слова: |
ЭУМК электронные ресурсы математика математическая логика теория алгоритмов логика логическое программирование алгоритмическая система алгоритмически неразрешимые проблемы сложность вычислений |
| Кафедра/ подразделение-разработчик: |
каф. АиМЛ (факультет ФПМИ) |
| Лицензионные договоры: | внесен лицензионный договор для автора Судоплатов С.В. |
Описание ресурса в электронном каталоге НБ