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

Последнее изменение: 07/09/2021 12:00:33
  • Способ реализации --- Собрание в MsTeams.
  • Создаётся совместный проект - презентация в облачном MsOffice, куда студенты, разбившись на группы, вставляют фото решений задач из учебных пособий

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

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

Домашнее задание

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

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

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


Практика 1. 17.02.2021. Формулы логики высказываний. Логическое следование.
Задачи №З-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), №Ф-35(a,b), №Ф-36(a,b), №Ф-37(a,b),
№Л-2(а,б), №Л-3(а) стр.52, №Л-46*, №Л-47* стр.57.
Домашняя контрольная работа №1 (ФЛВ), задачи 1,2,3.

Практика 2. 24.02.2021. Нормальные и минимальные формы.
№З-11(а,б,в,г), в 11(б,в)-к ДНФ и СДНФ 2-мя способ., №З-12(а,г), №З-13(а,б,в,г), в 13(б,в)-к КНФ и СКНФ 2-мя способ. стр.28.,
№З-16(3), №З-17(3), №З-18(3), №З-20 стр. 186,
№Л-41 стр.56, №Л-45, стр.57,№Д-1,№Д-1.1-1.4.
Теоретический материал для нахождения миним. ДНФ и КНФ
Домашняя контрольная работа №1 (ФЛВ), задача 4.

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

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

Практика 5. 19.03.2021. Предикаты (определение). Интерпретация на модели. Равносильность.
Задачи №З-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 (Предикаты, часть 1), задача 1.

Практика 6,7. 26.03.2021, 2.04.2021. Нормальные формы логики предикатов. Логическое следование.
Задачи №З-15(а-е), №З-16(а-в), №З-17(а-в), №З-18.1-18.3 стр. 62.
Домашняя контрольная работа №2 (Предикаты, часть 1), задачи 2,3.

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

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

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

Практика 12. 14.05.2021. Аксиоматический метод в теории высказываний и предикатов.
№Д-6, 7(1-7), №Д-14-23.
Домашняя контрольная работа №3 (любая задача из двух).
или Обобщающий тест по математической логике.

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

Тренировочный вариант контрольной работы по теории автоматам с решением и элементами теории можно смотреть на Странице

Дополнительно (не обязательно):
Задачи №Ш-5(а,б,в,е,ж,з,и), №Ш-8(а,б,в), 9,10 стр.53-55, к задачам №Ш-5, №Ш-8 построить приведенный автомат, к задаче №Ш-5 найти регулярное выражение и моноид автомата.
Домашняя контрольная работа №4 (Автоматы).
или Обобщающий тест по теории автоматов.
Задачи по теории автоматов (дополн.) Составитель: к.ф.-м.н., доцент И. А. Михайлова

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


См. также

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