
- •Оглавнение
- •Примерная структура заданийдля самостоятельной работы
- •Содержание дисциплины «Математическая логика».(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.
2.
3.
4.
(Внимательно прочитайте тему, перечислите ваши действия по выполнению задания, составьте план работы, выделяя главные разделы, в каждом разделе наметьте основные положения, пронумеруйте их. Оцените, достигли ли вы поставленной цели)
Вопросы для самоконтроля (вопросы способствующие активизации умственной деятельности):
1.
2.
3.
4.
Рекомендуемая литература (указывается печатный источник с указанием страницы, или интернет ресурс с указанием кода доступа):
1.
2.
3.
4.
Форма отчетности (записка, рассказ, сообщение. реферат или отчет выполненный по заранее определенной форме, например работа в рабочих тетрадях оформление таблицы):
Содержание дисциплины «Математическая логика».(116ч.)
Раздел 1. Теория множеств.(36ч.)
Тема 1.1. Общие понятия теории множеств Язык теории множеств.
Самостоятельная работа №1. Изучить свойства счетных множеств.
Тема 1.2. Основные операции над множествами.
Самостоятельная работа №2. Изучить аксиомы множеств, алгоритм доказательства тождества множеств, доказать законы двойственности, законы поглощения.
Самостоятельная работа №3. Решение задач с использованием аппарата теории множеств.
Тема 1.3. Соответствие между множествами. Отображения.
Самостоятельная работа №4. Элементы теории отображения и алгебры подстановок.
Самостоятельная работа №5. Установление взаимно-однозначного соответствия на заданных множествах.
Тема 1.4. Отношения. Бинарные отношения и их свойства.
Самостоятельная работа №6. Изучить понятие равномощного множества.
Самостоятельная работа №7. Установить связь равномощного множества с понятием взаимно-однозначного соответствия, привести примеры решения задач по теме.
Самостоятельная работа №8. Выявление отношений эквивалентности, толетарности, порядка, функциональности.
Тема 1.5. Элементы комбинаторики.
Самостоятельная работа №9. Решение задач на перебор вариантов.
Самостоятельная работа №10. Свойства биноминальных коэффициентов. Треугольник Паскаля.
Самостоятельная работа №11. Применение комбинаторики при вычислении дискретных математических структур.
Тема 1.6. Алгебра подстановок.
Самостоятельная работа №12. Элементы теории отображения и алгебры подстановок.