30. Формальные грамматики. Классификация грамматик. Порождающие грамматики.
31. Языки. Свойства языков. Операции над языками. Анализ грамматик и языков.
32. Теория алгоритмов. Понятие алгоритмической разрешимости. Рекурсивные функции.
33. Теория конечных автоматов. Машины Тьюринга. Формы представления алгоритмов.
34. Теория графов. Основные понятия.
35. Элементы комбинаторики. Основные понятия.
1. Кузнкцов О.П., Адельсон – Вельский Г.М. Дискретная математика для инженера – 2-е иэдание переработанное и доплненное М.: Энергоатомиздат 1988г.- 480с.
2. Горбатов В.А. Основы дискретной математики: учебное пособие для студентов вузов – М.: Высшая школа, 1986Г-311с.
3. Никольская И Л. Математическая логика: Учебник М.: Высшая школа 1981г.-127с.
4. Ершов Ю.А., Палютин Е.А. Математическая логика: учебное пособие для вузов 2-е издание исправленное и дополненное- М.: Наука 1987г.- 336с.
5. Клини С.К. Математическая логика М.: Мир 1973г.
6. Новиков П.С. Элементы математической логики. М.: Наука 1973г.
7. Оре О. Теория графов М.: Наука 1968г.
8. Зыков А.А. Теория конечных графов. Новосибирск: Наука 10969г.
9. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике М.: Наука 1977г.- 368с.
10. Гиндикин С.П. Алгебра логики в задачах М.: Наука 1972г.
11. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике, теории автоматов М.: Наука 1975г.
Оформление титульного листа
| Волжский университет им. В.Н. Татищева Кафедра «Информатика и системы управления» Контрольная работапо дисциплине «Дискретная математика» специальность 071900 «Информационные системы» Выполнил: студент группы ИТЗ-301 Сидоров И. И. Проверил: Воронцова Е. В. Дата сдачи 00.00.00 Дата проверки 00.00.00 Вариант5. Тольятти 2001 |