Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с.
Пособие содержит следующие разделы:
Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ.
Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики.
Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи.
Понятие о сложности вычислений, различные (по сложности) классы задач и примеры таких задач.
Все главы снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала.
Пособие предназначено студентам технических вузов по специальности 2201 направления «Информатика и вычислительная техника» и может быть использовано для специальности 2202 и других специальностей данного направления.
Пособие содержит следующие разделы:
Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ.
Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики.
Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи.
Понятие о сложности вычислений, различные (по сложности) классы задач и примеры таких задач.
Все главы снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала.
Пособие предназначено студентам технических вузов по специальности 2201 направления «Информатика и вычислительная техника» и может быть использовано для специальности 2202 и других специальностей данного направления.