Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

УДК 510.61(075.8) Гал 15 Рецензенты: доктор физико-математических наук, профессор Кирпичников А.П. (Казанский национальный исследовательский технологический университет); кафедры «Информационные технологии» и «Математика» (университет управления ТИСБИ Галиев Ш.И. Гал 15 Математическая логика и теория алгоритмов. Для изучающих компь­ ютерные науки: учебное пособие / Ш.И. Галлиев. - Казань: Изд-во Казан, гос. техн. ун-та, 2014. - 265 с. ISBN 978-5-7579-2022-1 Рассматривается логика высказываний, логика предикатов и логическое следова­ ние, метод резолюций и элементы его использования в языке ПРОЛОГ, формальные исчисления гильбертовского и генценского типов (высказываний и предикатов), тео­ рия алгоритмов, сложность вычислений и неклассические логики. Приведены упраж­ нения для практических занятий, варианты задания по расчетно-графической работе и тесты для самоконтроля освоения материала, содержатся методические указания по решению некоторых упражнений Пособие ориентировано на компьютерные приложения и использование компью­ терных технологий при решении ряда задач дисциплины. Предназначено для студентов, изучающих компьютерные науки, в рамках направ­ лений 230100-«Информатика и вычислительная техника» и 230200- «Информационные системы», а также может быть использовано студентами, обу­ чающимися по другим направлениям и специальностям при изучении дисциплины «Математическая логика и теория алгоритмов». Табл. 29. Ил. 20. Библиогр.: 16 назв. УДК 510.61(075.8) ISBN 978-5-7579-2022-1 ©Ш.И. Галиев, 2014 © Изд-во Казан, гос. техн. ун-та, 2014