Учебно-методические комплексы

Подробнее

Темы практических занятий:
✓ Множества и операции над ними: объединение, пересечение, разность, дополнение, декартово произведение. Решение задач на нахождение элементов множеств, заданных условиями.
✓ Диаграммы Эйлера-Венна: графическое представление множеств, решение текстовых задач (логический счет) с использованием кругов Эйлера (задачи на пересечение множеств, например, о студентах, изучающих языки, или о любителях каш).
✓ Бинарные отношения и подстановки: исследование свойств отношений (рефлексивность, симметричность, транзитивность), операции над отношениями, алгебра подстановок (представление, обратная подстановка, произведение, квадрат).
✓ Формулы логики и таблицы истинности: формализация высказываний, построение таблиц истинности для логических формул, определение равносильности выражений.
✓ Минимизация булевых функций: представление функции в виде СДНФ, минимизация с помощью равносильных преобразований и графическим методом карт Карно, построение логических схем.
✓ Предикаты и кванторы: нахождение области определения и множества истинности предикатов, логические операции над предикатами, построение отрицаний к высказываниям с кванторами (общности и существования).
✓ Криптографические методы: шифрование методами перестановки (с ключом, "задом наперед", табличные), методом гаммирования (сложение по модулю) и с использованием матричных преобразований.
✓ Теория графов: построение графов по матрицам смежности и инцидентности, нахождение степеней вершин, построение цепей, циклов (эйлеровых, гамильтоновых), деревьев и остовов, вычисление цикломатического числа.
3. Методические особенности:
✓ Каждая работа содержит разбор типовых примеров с полным решением, что помогает освоить алгоритмы и методы.
✓ Предусмотрены индивидуальные варианты заданий (от 2 до 6 вариантов), что позволяет организовать самостоятельную работу и проверить усвоение материала каждым студентом.
✓ Документ включает контрольные вопросы для самопроверки и закрепления теоретического материала.
✓ Подробно описан порядок выполнения работы и форма отчета (тетрадь для практических работ с записью номера, темы, цели, решения и ответов на вопросы).
4. Роль дисциплины в профессиональной подготовке:
✓ Теория множеств и логика лежат в основе проектирования баз данных и реляционной алгебры.
✓ Булевы функции и методы их минимизации критически важны для оптимизации логических схем и цифровой электроники.
✓ Теория графов используется для моделирования сетей, маршрутизации, анализа социальных связей и структур данных.
✓ Криптографические методы являются фундаментом для обеспечения информационной безопасности и шифрования данных.
✓ Навыки формализации высказываний и работы с предикатами развивают алгоритмическое мышление, необходимое для программирования и постановки задач.

Подробнее

[] Работа с конспектом лекций и литературой (вопросы о способах задания множеств, операциях, бинарных отношениях, отображениях).
[] Выполнение письменных заданий: решение задач на формулу включения и исключения (диаграммы Эйлера-Венна), исследование свойств бинарных отношений (рефлексивность, симметричность, транзитивность), выполнение операций над подстановками.
[*] Подготовка сообщения на тему "Бинарные отношения".
✓ Тема 2. "Булевы функции" (4 часа):
[] Работа с конспектом и литературой (вопросы о простых и составных высказываниях, таблицах истинности).
[] Выполнение письменных заданий: формализация высказываний, построение таблиц истинности для логических формул, установление равносильности выражений, анализ фрагментов таблиц истинности.
✓ Тема 3. "Предикаты" (2 часа):
[] Работа с конспектом и литературой (вопросы об истинности высказываний с кванторами, применении предикатов, диаграммах Эйлера).
[] Выполнение письменных заданий: нахождение множеств истинности предикатов, определение предикатов и их множеств истинности на заданном множестве, запись высказываний в символичной форме, построение отрицаний к высказываниям с кванторами, проверка умозаключений.
[*] Подготовка сообщения на тему "Предикаты".
✓ Тема 4-5. "Основы теории графов" (2+2 часа):
[] Работа с конспектом и литературой (вопросы о видах графов, способах задания, связности, эйлеровых графах, деревьях).
[] Выполнение письменных заданий: построение графов по списку ребер, определение их вида, построение матриц смежности и инцидентности, выполнение операций над графами (объединение, пересечение, кольцевая сумма), решение логических задач с помощью ориентированных графов, определение эйлеровых графов и построение эйлеровых циклов, нахождение кратчайшего маршрута по таблице расстояний.
[*] Написание рефератов: "Из истории графов" и "Графы вчера, сегодня, завтра".
3. Методические особенности:
✓ Для каждого блока даны четкие методические указания с перечнем заданий и требований к их выполнению.
✓ Приведены подробные рекомендации по выполнению различных видов работ: сообщений, компьютерных презентаций, рефератов (структура, этапы, требования к оформлению, критерии оценки).
✓ Предусмотрены индивидуальные варианты заданий (по 4-6 вариантов) для самостоятельной работы.
✓ Включены вопросы для самоконтроля по каждой теме.
✓ Даны критерии оценки для сообщений, презентаций, рефератов и решения задач.
✓ Представлен список рекомендуемой литературы (основной, дополнительной и интернет-ресурсов).
4. Роль самостоятельной работы в профессиональной подготовке:
✓ Формирует навыки самостоятельного изучения теоретического материала по фундаментальным разделам дискретной математики, лежащим в основе информатики и программирования.
✓ Развивает алгоритмическое и логическое мышление через решение задач по теории множеств, математической логике и теории графов.
✓ Закладывает базу для изучения последующих дисциплин (теория алгоритмов, базы данных, математическая логика, теория автоматов).
✓ Формирует навыки работы с научной литературой и оформления результатов исследований (рефераты, сообщения, презентации), что необходимо для профессиональной документации и коммуникации.

Подробнее

Материалы для текущего контроля:
✓ Аудиторные проверочные работы: по темам "Основы теории множеств" (диаграммы Эйлера-Венна, бинарные отношения), "Основы математической логики" (логические операции, формулы, булевы функции, предикаты), "Основы теории графов" (связность, эйлеровы графы, деревья).
✓ Практические занятия: по всем разделам (всего 10 занятий, включая решение задач на множества, отношения, логические функции, графы и криптографию).
Материалы для промежуточной аттестации (дифференцированный зачет):
✓ Экзаменационная работа: содержит 4 варианта заданий, структурированных по трем частям:
[list]
[] Часть А (10 заданий с выбором ответа, 1 балл за каждое): проверяет базовые понятия (таблицы истинности, логические операции, операции над множествами, бинарные отношения, полином Жегалкина).
[] Часть В (3 задания с кратким ответом, 2 балла за каждое): требует составления СДНФ/СКНФ по таблице истинности, задания бинарных отношений (список пар, матрица, орграф), композиции отношений.
[*] Часть С (2 задания с развернутым ответом, 3 балла за каждое): требует проверки функциональной полноты системы булевых функций (с использованием теоремы Поста) и анализа свойств бинарных отношений (рефлексивность, симметричность, транзитивность).
[/list]
✓ Шкала перевода баллов в оценку: "5" (20-22 баллов), "4" (17-19 баллов), "3" (12-16 баллов), "2" (0-11 баллов).
3. Роль дисциплины в профессиональной подготовке:
✓ Формирует фундаментальные знания дискретной математики (теория множеств, логика, графы), необходимые для понимания алгоритмов, структур данных и формальных методов в программировании.
✓ Развивает логическое и абстрактное мышление через решение задач на булевы функции, минимизацию, отношения и графы.
✓ Закладывает основы для изучения смежных дисциплин (теория алгоритмов, базы данных, математическая логика, теория автоматов).
✓ Обучает анализу и формализации задач, что критически важно для разработки программного обеспечения и интеллектуальных систем.