Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О.Ю., Селиванов Ю.В.
Издательство: М.: МАТИ
Год: 2011
Страниц: 80
Формат: djvu
Размер: 14,07 Мб
Язык: Русский

Теория алгоритмов вместе с математической логикой образует теоретическую основу вычислительных наук. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т.п. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам. Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Учебное пособие также может быть полезно для студентов других специальностей и преподавателей.