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

Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О. Ю., Селиванов Ю. В.
Издательство: МАТИ
Год: 2011
Страниц: 80
Формат: DJVU
Размер: 14,07 МБ
ISBN: 978-5-93271-611-3
Качество: Отличное

Содержание:

Введение
1. Алгебра (логика) высказываний
2. Логика предикатов
3. Теория алгоритмов
Рекомендуемая литература