Курс лекций для специальностей

Дискретная математика

А.В. Корольков

Государственноеобразоватеьное учреждение

Высшего профессионального образования

«МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ЛЕСА»

«Прикладная математика» и «Вычислительная техника»

Москва

Издательство Московского государственного университета леса

2010
Содержание курса

Лекций 34 часа, Практических занятий – 17 часов

Контроль знаний – контрольная работа, экзамен.

Три части (с условными названиями):

· Элементы математической логики

o Булева алгебра,

o исчисление высказываний,

o исчисление предикатов

· Элементы теории алгоритмов

o разрешимость,

o вычислимость,

o машины Тьюринга,

o рекурсивные и частично рекурсивные функции,

o рекурсивные и рекурсивно перечислимые множества

· Элементы теории формальных языков

o порождающие грамматики,

o распознающие алгоритмы

Литература

Об электронном конспекте

1. Э.Мендельсон. Введение в математическую логику. Наука, 1984.

2. С.Лавров. Программирование. Математические основы, средства, теория. СПб, 2001

3. Ю.Г. Карпов. Теория автоматов. Учебник для вузов. Питер, 2002

4. А.И.Белоусов, С.Б.Ткачев. Дискретная математика. Под редакцией В.С.Зарубина и А.П.Крищенко. М., МГТУ, 2004

5. Р.И.Компаниец, Е.В.Маньков, Н.Е.Филатов. Системное программирование. Основы построения трансляторов. СПб, 2000

6. Робин Хантер. Основные концепции компиляторов. М., СПб., Киев, 2002

7. В.М. Зюзьков, А.А. Шелупанов. Математическая логика и теория алгоритмов. Учебное пособие для вузов. – 2-е изд. – М. Горячая линия-Телеком, 2007 – 176 с.:ил.

8. М.В. Мозговой. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход. – СПб.:Наука и Техника, 2006. – 320 с.:ил.

9. Ю.И. Галушкина, А.Н. Марьямов. Конспект лекций по дискретной математике. – М.: Айрис-пресс, 2007. – 176 с.

Дата добавления: 2013-12-13