Полное название: Математическая логика и теория алгоритмов
Описание материала:
Пособие содержит следующие разделы. Логику высказыванй и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления и элементы неклассических логик: трехзначные и многозначные логики, модальную, временую и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и из взаимосвязи. Понятие о сложности вычислений, различные классы задач и примеры таких задач. Пособие преднозначено студентам технических вузов.
Информация о материале:
- Год: 2002
- Размер: 3,48 Мб
- Формат: rar, pdf
- Авторы: Ш.И. Галиев
Содержимое архива:
- Математическая логика и теория алгоритмов : Учебное пособие