Математическая логика и теория алгоритмов

УДК 510,61(075,8) Галиев Ш. И. Математическая логика и теория алгоритмов: Учебное пособие. Казань; Изд-во Казан, гос. техн. ун-та им. А. Н. Туполева, 2004. 334 с. ISBN 5-7579-0778-9 Включены разделы: логики высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ; классиче­ ские исчисления (высказываний и предикатов) и элементы неклассических логик: трехзначная и многозначная логики, модальная, временнйя и нечегкая логики; теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи; понятие о сложности вычислений, различные (по сложности) классы задач и примеры таких задач. Все главы снабжены контрольными вопросами н упражнениями, приведены варианты типовых заданий w тесты для самоконтроля при усвоении материала, Предназначено для студентов, обучающихся по специальностям 220100 - «Вычислительные машины, комплексы, системы и сети» и 220200 - «Автоматизиро­ ванные системы обработки информации и управления» направления «Информатика и вычислительная техника» и другим специальностям данного направления. Ил. 15. Табл.2. Библиогр.:31 назв, Рецензенты; кафедра информационных технологий и кафедра матема­ тики (ТИСБИ); докт. физ.-мат. наук И. 3. Батыршин (Казанский госу­ дарственный технологический университет); докт. физ.-мат. наук Ф. Г. Мухлисов (Казанский госу­ дарственный педагогический университет) ISBN 5-7579-0778-9 © Изд-во Казан, гос. техн. ун-та, 2004 © Ш. И. Галиев, 2004