Книги PDF » Математика » Математическая логика и теория алгоритмов - Галиев Ш.И.

Математическая логика и теория алгоритмов - Галиев Ш.И.

Скачать
Название: Математическая логика и теория алгоритмов
Автор: Галиев Ш.И.
Категория: Математика
Тип: Пособие
Дата: 23.06.2008 16:00:21
Скачано: 1572
Оценка:
Описание: Пособие содержит следующие разделы: Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи. Понятие о сложности вычислений, различные (по сложности) классы задач и примеры таких задач. Все главы снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала. Пособие предназначено студентам технических вузов по специальности 2201 направления «Информатика и вычислительная техника» и может быть использовано для специальности 2202 и других специальностей данного направления.
Файл: 3.36 МБ
Скачать