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