
- •Оглавнение
- •Примерная структура заданийдля самостоятельной работы
- •Содержание дисциплины «Математическая логика».(116ч.)
- •Раздел 1. Теория множеств.(36ч.)
- •Раздел 2. Теория графов.(24ч.)
- •Раздел 1. Теория множеств.(36ч.)
- •Самостоятельная работа №1.
- •Теоретический материал.
- •Тема 1.2. Основные операции над множествами.
- •Тема 1.3. Соответствие между множествами. Отображения.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №5.
- •Теоретический материал.
- •Тема 1.4. Отношения. Бинарные отношения и их свойства.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №7.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №8.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 1.5. Элементы комбинаторики. Самостоятельная работа №9.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №10.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 1.6. Алгебра подстановок. Самостоятельная работа №12.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Раздел 2. Теория графов.(24ч.)
- •Тема 2.1. Основные понятия и определения графа и его элементов. Самостоятельная работа №13.
- •3. Решение задачи о коммивояжере edu.Nstu.Ru/courses/mo_tpr/files/3.4.Html Тема 2.2. Операции над графами.
- •Бинарные операции
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 2.3. Способы задания графа. Самостоятельная работа №15.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 2.4. Сети. Сетевые модели представления информации. Самостоятельная работа №16.
- •Теоретический материал.
- •Сетевая модель данных
- •Реляционная модель данных.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Раздел 3. Математическая логика.(36ч.)
- •Тема 3.1. Понятие как форма мышления. Самостоятельная работа №17.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 3.2. Суждение как форма мышления. Самостоятельная работа №18.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 3.3. Булевы функции. Самостоятельная работа №19.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №20.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №21.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 3.4. Минимизация булевых функций. Самостоятельная работа №22.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Тема 3.5. Полином Жегалкина. Самостоятельная работа №24.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Раздел 4. Формальные системы и умозаключения. Логика предикатов.(20ч.)
- •Тема 4.1. Формальные системы. Самостоятельная работа №25.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №26.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •3. Геометрия Лобачевского – Значение интерпретаций геометрии Лобачевского geom.Kgsu.Ru
- •Тема 4.2. Логика предикатов. Самостоятельная работа №27.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •Самостоятельная работа №28.
- •Теоретический материал.
- •Основные источники:
- •Дополнительные источники:
- •Тема 4.3. Методы научного познания.
- •Методы установления причинной связи.
- •Основные источники:
- •Дополнительные источники:
- •Интернет ресурсы:
- •2. Гиндикин с.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета. Http://lib.Mexmat.Ru/books/1383
- •3. Методы исследования причинных связей. Dic.Academic.Ru
Основные источники:
1. Дискретная математика : учебник для студ. учреждений сред. проф. образования / М.С.Спирина, П.А.Спирин. —. 7-е изд., стер. — М. : Издательский центр «Академия», 2012. —. 368 с.
2. М.С.Спирина, П.А.Спирин. Дискретная математика. Изд-во Академия/Academia", 2010 г.
Дополнительные источники:
1. Вентцель Е.С. «Исследование операций, задачи, принципы, методология» М. Наука 1988 г. 2. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики. М. Форум - инфри - м 2003 г. 3. Горбатов В.А. Основы дискретной математики. М. Наука 1986 г. 4. Карпов В.Г., Мощенский В.А. Математическая наука и Дискретная математика. Минск. Винца школа 1977 г. 5. Кузнецов О.П., Адельсон - Вильский Г.М. Дискретная математика для инженера. Энергоатомиздат, 1998 г. 6. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М. Издательство МАИ 1992 г. 7. Нефедов Ф.А. Дискретная математика для программистов. СПб – Питер. 2001 г. 8. Яблонский С.В. Введение в дискретную математику. М. Наука, 1986 г., 384с.
Интернет ресурсы:
1. М.М. Арсланов, И.Ш. Калимуллин. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.http://www.ksu.ru/f5/k2/bin_files/logika!13.pdf
2. Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета. http://lib.mexmat.ru/books/1383
3. Эйлеровые и полуэйлеровые графи. dvo.sut.ru/libr/himath/
Тема 2.4. Сети. Сетевые модели представления информации. Самостоятельная работа №16.
Тема: Представление иерархических структур с помощью графов.
Время выполнения задания – 2ч.
Цель работы: Закрепление знаний по представлению иерархических структур с помощью графов.
Напишите реферат или сделаете презентацию по теме.
Теоретический материал.
Иерархическая модель.
Иерархическая структура представляет совокупность элементов, связанных между собой по определенным правилам. Графическим способом представления иерархической структуры является дерево (см. рис. 2.1).
Дерево представляет собой иерархию элементов, называемых узлами. Под элементами понимается совокупность атрибутов, описывающих объекты. В модели имеется корневой узел (корень дерева), который находится на самом верхнем уровне и не имеет узлов, стоящих выше него. У одного дерева может быть только один корень. Остальные узлы, называемые порожденными, связаны между собой следующим образом: каждый узел имеет только один исходный, находящийся на более высоком уровне, и любое число (один, два или более, либо ни одного) подчиненных узлов на следующем уровне.
Рис. 2.2. Пример иерархической структуры
Примером простого иерархического представления может служить административная структура высшего учебного заведения: институт – отделение – факультет – студенческая группа (см. рис. 2.2).
К достоинствам иерархической модели данных относятся эффективное использование памяти ЭВМ и неплохие показатели времени выполнения операций над данными.
Недостатком иерархической модели является ее громоздкость для обработки информации с достаточно сложными логическими связями.
На иерархической модели данных основано сравнительно ограниченное количество СУБД, в числе которых можно назвать зарубежные системы IMS , PC / Focus , Team - Up и Data Edge , а также отечественные системы Ока, ИНЭС и МИРИС.