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

ЗаголовокМатематическая логика и теория алгоритмов
Вид изданияУчебное пособие
АвторыАгарева ОЮ
ИздательствоФГБОУ ВПО МАТИ
Количество страниц80
Год издания2011
УДК510
ББК22.1
ISBN978-5-93271-611-3
Место изданияМосква
Аннотация

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

Ключевые словаАлгоритмические основы программирования, Бакалавриат, Естественные науки, Информационные системы и технологии, Книга, Математика, Математические и основы программирования, Прикладная информатика, Системы автоматизированного проектирования, Учебное издание, Учебное пособие, ФГБОУ ВПО МАТИ
Ссылка на просмотр книги

просмотр книги