ИССЛЕДОВАНИЕ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ АЛГОРИТМОВ ЛОГИЧЕСКОГО ВЫВОДА
Описание
Методические указания
к курсовой работе по дисциплине
"Математическая логика и теория алгоритмов"
Информация о файле
| Вуз | Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" |
| Размер файла | 15.14 КБ |
| Автор(ы) | M.Г.Пантелеев, А.С.Календарев |
| Группа | |
| Преподаватель | |
| Скачан | 113 |
| Добавлен | 05 Июня 2007 |
Содержимое архива
- МЛиТА методичка.lex
