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

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