"Математическая логика". Направл.: Математика и компьютерные науки (практики)

Последнее изменение: 21/05/2022 16:01:31

Описание изображения

  • Способ реализации --- Собрание в MsTeams.
  • Создаётся совместный проект - презентация в облачном MsOffice, куда студенты, разбившись на группы, вставляют фото решений задач из учебных пособий
  • На занятии презентация демонстрируется преподавателем и комментируется авторами решений.
  • Часть задач решается студентами на виртуальной доске Idroo, демонстрируемой на Собрании.
  • Задачи могут распределяться также через Записную книжку класса команды МsTeams.
  • Часть задач, не рассмотренных на занятии идет в текущее ДЗ.
  • После занятия назначается индивидуальная задача по теме занятия в виде Задания в MsTeams.
  • Проверка, работа над ошибками, решение Задания может быть оформлено через Записную книжку класса.

На практических занятиях используются задачи из учебных пособий:

  • А.П.Замятин "Математическая логика и теория алгоритмов" (З),
  • И.А.Лавров, Л.Л.Максимова "Задачи по теории множеств, математической логике и теории алгоритмов" (Л),
  • И.С. Фролов, В.Б.Соколовский "Задачи по математической логике" (Ф),
  • А.М.Шур "Языки, грамматики, распознаватели" (Ш),
  • а также Дополнительные задачи (Д).

Необходимый минимум задач для практик по матлогике (к.ф.-м.н., доцент Щербакова В.А.)
Домашнее задание по математической логике
Задачи по логике высказываний
Задачи по булевым функциям
Задачи по логике предикатов

Домашнее задание по теории автоматов

Индивидуальные домашние контрольные работы №№1,2,3 по математической логике, методические материалы для их решения, а также типовые задачи для подготовки к экзамену находятся на Странице

ИДЗ по теории автоматов, тренировочный вариант обобщающей контрольной работы по теории автоматов, презентации-решения его каждой задачи, а также сама обобщающая контрольная (для преподавателей) находятся на Странице

Лекции к.ф.-м.н., доцента Щербаковой В.А. по математической огике находятся на Странице

Лекции к.ф.-м.н., доцента Щербаковой В.А. по теории автоматов находятся на Странице

Ссылки на презентации для практик облачном MsOffice находятся в Файле

Баллы за Задания и распределение Заданий по контрольным работам группы МЕН-200207 находятся ЗДЕСЬ
Баллы за Задания и распределение Заданий по контрольным работам группы МЕН-200201 находятся ЗДЕСЬ
Баллы за текущие практические задания группы МЕН-200207 находятся ЗДЕСЬ
Баллы за текущие практические занятия группы МЕН-200201 находятся ЗДЕСЬ

Практика 1. Логика высказываний. Логическое следствие.
Задачи №З-3(в,ж,и) №З-4(а,б,в), №З-5(б,в,г) №З-6(а,в) стр.26.,
№З-7(а,б,в) №З-8(а,б), №З-9(2.3) №З-10.1, 10.2,
№Ф-18(a-e), №Ф-19(a-c), №Ф-20(a-c), №Ф-20(a,b), №Ф-31(a,b),
№Л-2(а,б), №Л-3(а) стр.52, №Л-46*, №Л-47* стр.57.
Домашнее задание I, II, III (любой).
Домашняя контрольная работа №1 (ФЛВ), задачи 1,2,3.

Практика 2. Логическое следствие. Нормальные и минимальные формы.
№З-11(а,б,в,г), в 11(б,в)-к ДНФ и СДНФ 2-мя способ., №З-12(а,г), №З-13(а,б,в,г), в 13(б,в)-к КНФ и СКНФ 2-мя способ. стр.28.,
№З-19, №З-20, №З-21, №З-22 стр. 186,
№Ф-35(a,b), №Ф-36(a,b), №Ф-37(a,b),
№Л-41 стр.56, №Л-45*, 46*, 47* стр.57, №Д-1, №Д-1.1-1.4.
Иллюстрация нахождения миним. ДНФ
Домашнее задание IV, V, VI(1), VII (1), VIII (2).
Домашняя контрольная работа №1 (ФЛВ), задача 4.

Практика 3. Контактные схемы.
Задачи №З-14(а,в) №З-15, №З-16 стр. 26.
№Д-2-5, №Д-5.1, №Д-5.2.
Домашнее задание X.
Домашняя контрольная работа №1 (ФЛВ), задача 5.

Практика 4. Метод резолюций в ЛВ.
Задачи №З-1(а,д,е), №З-2.1, 2.2, 2.3, 2.5 стр. 133.
Домашнее задание IX (1,4)
Теоретический материал для метода резолюций в логике высказываний
Домашняя контрольная работа №1 (ФЛВ), задачи 6,9.

Практика 5. Булевы функции.
Задачи №З-3, №З-5, №З-6, №З-7, №З-8, №Л-47*, стр.57, №З-9, №З-12, №З-14, №З-15, №З-16, №З-7*, №З-10* стр. 183-184,
№Ф-60(e-h), №Ф-62.
№Д-8,9,10*.
Домашняя контрольная работа №1 (ФЛВ), задачи 7,8,10,11.

Практики 6,7. Автоматы Понятие автомата. Приведенный (минимальный автомат). Регулярные авражения. Теорема Клини
Задачи №Ш-5(а,б,в,е,ж,з,и), №Ш-8(а,б,в), 9,10 стр.53-55, к задачам №Ш-5, №Ш-8 построить приведенный автомат, к задаче №Ш-5 найти регулярное выражение и моноид автомата.
ИДЗ по теории автоматов, части 1,2,3.
Домашнее задание

Практика 8,9. Исчисление высказываний.
№Д-6, 7(1-7).
Домашняя контрольная работа №3(ИВ).

Практика 10. Предикаты (определение). Интерпретация на модели. Равносильность.
Задачи №З-2, №З-3, №З-5, №З-7.1, №З-12(в,г,д,е) стр. 57-61,
№Ф-81(a-e,h,i), №Ф-82, №Ф-83, №Ф-85(d,g,h), №Ф-86(a,b,е,h), №Ф-90*, Д-12*. Домашняя контрольная работа №2 (Предикаты, чаcть 1).

Практика 11,12. Нормальные формы логики предикатов. Логическое следствие.
Задачи №З-15(а-е), №З-16(а-в), №З-17(а-в), №З-18.1-18.3 стр. 80.
Домашняя контрольная работа №2 (Предикаты, часть1), задачи 2,3.
Домашнее задание XIV, XV (или XVI)

Практика 13. Метод резолюций в ЛП.
Задачи №З-3,4(а,б,в), №З-5(а,б,в), №З-6(а,б,в), №З-10(а,в), №З-17(б), №З-11.1, №З-11.3, стр. 133-134.
Домашнее задание XVII
Теоретический материал для метода резолюций в логике предикатов
Домашняя контрольная работа №2(Предикаты, часть 1), задачи 5.
Домашняя контрольная работа №2(Предикаты, часть 2), задачи 6.

Практика 14,15. Предикаты: выполнимость.
Задачи №Л-7(в,г,д,е), №Л-8(а,б,в,г), №Л-6(а,б,в), №Л-11*, №Л-12*, №Л-13*(a) стр. 82, Д-12, 13.
Домашнее задание XVIII, XIX, XX.
Домашняя контрольная работа №2 (Предикаты, часть 1), задача 4.

Практика 15(2)(резерв). Исчисление предикатов.
Задачи №Д-14-23.

Практика 16. Автоматы. Моноид автомата. Синхронизируемые автоматы. Трансдьюсеры.

Практика 17. Автоматы. Автомат Ахо-Корасик. Построение по словарю и антисловарю.

Составитель: к.ф.-м.н., доцент Е.А. Петрова, использовалось учебное пособие А.П.Замятина, А.М.Шура "Языки, грамматики, распознаватели:
Задачи по теории автоматов

Составитель: к.ф.-м.н., доцент И.А. Михайлова:
Задачи по теории автоматов, 2019
Задачи по теории автоматов, часть 1, 2022
Задачи по теории автоматов, часть 2, 2022

Дополнительные учебные пособия по теории автоматов
Л.П. Жильцова., Т.Г. Смирнова Основы теории автоматов
М.И.Лиогонький., Т.А. Береговая Элементы теории конечных автоматов и регулярных языков

Технолог. карта:
Текущая аттестация по практике:
Контр.раб. №1 - Дом.контр.раб.№1.ФЛВ(25баллов)+Дом.контр.раб.№3(5баллов)
Контр.раб .№2 - Дом.контр.раб.№1.Предикаты(30баллов)
Домашняя работа - Дом.контр.раб.по теории автоматов, ч.1-ч.6(20баллов) Посещаемость - 10баллов Активность - 10баллов


См. также

Нагребецкая Ю.В.