
- •Оглавнение
- •Примерная структура заданийдля самостоятельной работы
- •Содержание дисциплины «Математическая логика».(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. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики. М. Форум - инфри - м 2003 г. 2. Горбатов В.А. Основы дискретной математики. М. Наука 1986 г. 3. Кузнецов О.П., Адельсон - Вильский Г.М. Дискретная математика для инженера. Энергоатомиздат, 1998 г. 4. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М. Издательство МАИ 1992 г. 5. Яблонский С.В. Введение в дискретную математику. М. Наука, 1986 г., 384с.
Интернет ресурсы:
1. М.М. Арсланов, И.Ш. Калимуллин. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.http://www.ksu.ru/f5/k2/bin_files/logika!13.pdf
2. Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета. http://lib.mexmat.ru/books/1383
Раздел 2. Теория графов.(24ч.)
Тема 2.1. Основные понятия и определения графа и его элементов. Самостоятельная работа №13.
Тема: Изучить правило игры, придуманные Гамильтоном в XIX веке, задачу о коммивояжере - задачу математического программирования.
Время выполнения задания – 2ч.
Цель работы: Закрепление знаний по правило игры, придуманные Гамильтоном в XIX веке, а также по задаче о коммивояжере - задаче математического программирования.
Напишите реферат по теме самостоятельной работы и ответе на контрольные вопросы:
Вопросы для самоконтроля:
1. Какого правило игры, придуманные Гамильтоном в XIX веке .
2. Что такое коммивояжер?
3. Каким способом решается задачи математического программирования?
4. Что такое оптимальное решение задачи математического программирования?
Рекомендуемая литература:
Основные источники:
1. Дискретная математика : учебник для студ. учреждений сред. проф. образования / М.С.Спирина, П.А.Спирин. —. 7-е изд., стер. — М. : Издательский центр «Академия», 2012. —. 368 с.
Дополнительные источники:
1. Вентцель Е.С. «Исследование операций, задачи, принципы, методология» М. Наука 1988 г. 5. Кузнецов О.П., Адельсон - Вильский Г.М. Дискретная математика для инженера. Энергоатомиздат, 1998 г. 6. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М. Издательство МАИ 1992 г. 7. Нефедов Ф.А. Дискретная математика для программистов. СПб – Питер. 2001 г.
Интернет ресурсы:
1. М.М. Арсланов, И.Ш. Калимуллин. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.http://www.ksu.ru/f5/k2/bin_files/logika!13.pdf
2. Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека Московского государственного университета. http://lib.mexmat.ru/books/1383
3. Решение задачи о коммивояжере edu.Nstu.Ru/courses/mo_tpr/files/3.4.Html Тема 2.2. Операции над графами.
Самостоятельная работа №14.
Тема: Операции над графами. Кольцевая сумма.
Время выполнения задания – 2ч.
Цель работы: Закрепление знаний и умений по операциям над графами.
Теоретический материал.
Бинарные операции
Во второй части работы реализуются основные бинарные операции над графами: объединение графов, пересечение графов, кольцевая сумма графов, декартово произведение графов.
1. Выполняем генерацию матриц М1, М2 смежности неориентированных помеченных графов G1, G2.
алгоритм генерации матриц:
генерация матриц смежности М1 и М2:
|
|
|
|
|
|
m2 - вектор с номерами вершин матрицы М2; номера вершин матрицы М2 можно задавать любые.
2. Выполняем операцию объединения графов G1 и G2, заданных матрицами М1 и М2 соответственно.
алгоритм объединения графов:
r - размерность второй матрицы (M2).
Объединим матрицы М1 и М2:
|
|
|
|
объединенная матрица М:
счет вершин в графе ведется по часовой стрелке от левой вершины
граф матрицы М1 вершины имеют номера |
граф матрицы М2 вершины имеют номера |
|
|
|
|
граф
объединенной матрицы М
3. Выполняем операцию пересечения графов G1 и G2, заданных матрицами М1 и М2 соответственно.
|
|
|
|
m2 - вектор с номерами вершин матрицы М2; номера вершин матрицы М2 можно задавать любые.
Алгоритм пересечения графов:
r - размерность второй матрицы (M2). Матрица пересечения графов G1 и G2
4. Выполняем операцию кольцевой суммы графов G1 и G2, матрицы которых М1 и М2 соответственно (кольцевая сумма аналогична сложению по модулю 2).
Алгоритм кольцевой суммы графов:
r - размерность второй матрицы (M2).
Матрица кольцевой суммы графов G1 и G2
граф матрицы М1 вершины имеют номера |
граф матрицы М2 вершины имеют номера |
|
|
|
|
граф матрицы пересечения графов |
граф матрицы кольцевой суммы графов |
|
|
|
|
5. Задаем графы, содержащие два ребра. Выполним операцию декартова произведения графов.
|
|
|
|
|
|
n,m - размерности матриц.
М - матрица декартова произведения графов G1 и G2.
Два исходных графа
|
|
|
|
их декартово произведение
Вопросы для самоконтроля:
1. Дайте определения графу.
2. Что такое «вершина» графа?
3. Что такое «ребро» графа?
4. Какие виды графа знаете?
5. Что такое «кольцевая сумма»?
Рекомендуемая литература: