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

Последнее изменение: 07/09/2021 12:01:08

(34ч). Отчетность-зачет.

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

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

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


ЛЕКЦИИ по спецкурсу "Математическая логика"

Домашнее задание
Индивидуальные домашние контрольные работы по спецкурсу, а также методические материалы для их решения находятся на Странице

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

ЗАНЯТИЕ 1. 25.02.2021 Логика высказываний. Интерпретация. Равносильность.
Лекция 1.
Задачи №З-3(в,ж,и) №З-4(а,б,в), №З-5(б,в,г) №З-6(а,в) стр.26., №Ф-19(a,b),№Ф-20(b,e).
Задача 1 (любой вариант) из Текстовых задач (формулы логики высказываний)
Дополнит.: №Л-46*, №Л-47* стр.57.
ДЗ: Домашняя контрольная работа №1 (ФЛВ), задачи 1,2.
Текстовые задачи, задача 1.

ЗАНЯТИЕ 2. 4.03.2021 Логическое следствие.
Лекция 2.
№З-7(а,б,в) №З-8(а,б), №З-9(2.3) №З-10.1, 10.2, №Ф-35(a,b), №Ф-36(a,b), №Ф-37(a,b),
Домашняя контрольная работа №1 (ФЛВ), задачи 3,9.

ЗАНЯТИЕ 3. 11.03.2021 Нормальные и минимальные формы.
Лекция 2.
№З-11(а,б,в,г), в 11(б,в)-к ДНФ и СДНФ 2-мя способ., №З-12(а,г), №З-13(а,б,в,г), в 13(б,в)-к КНФ и СКНФ 2-мя способ. стр.28.,
№З-16(3), №З-17(3), №З-18(3), №З-20 стр. 186, №Д-1.2-1.4.
Теоретический материал для нахождения миним. ДНФ и КНФ
Домашняя контрольная работа №1 (ФЛВ), задача 4.

ЗАНЯТИЕ 4. 18.03.2021 Контактные схемы.
Лекция 3.
Задачи №З-14(а,в) №З-15, №З-16 стр. 26.
№Д-2-5, №Д-5.1, №Д-5.2.
Домашняя контрольная работа №1 (ФЛВ), задача 5.

ЗАНЯТИЕ 5. 25.02.2021 Метод резолюций.
Лекция 3.
Задачи №З-1(а,д,е), №З-2.1, 2.2, 2.3, 2.5 стр. 133. Домашняя контрольная работа №1 (ФЛВ), задача 6.

ЗАНЯТИЕ 6. 1.04.2021 Булевы функции.
Задачи №З-3, №З-5, №З-6, №З-7, №З-8, №З-9, №З-12, №З-14, №З-15, №З-7*, №З-10* стр. 183-184,№Л-47*, стр.57
№Д-8,9,10*.
ТЕСТ №1. Логика высказываний.
Домашняя контрольная работа №1 (ФЛВ), задачи 7,8.

ЗАНЯТИЕ 7. 8.04.2021 Предикаты, основные понятия.
Лекция 5.
№З-2, №З-3(а-г), №З-6(в-д), №З-7.1, стр. 57-61
Домашняя контрольная работа №2 (Предикаты, часть 1), задача 4.

ЗАНЯТИЕ 8. 15.04.2021 Предикаты, Равносильность. Интерпретация.
Лекция 5.
№З-12(а-е), №З-13(а-д) стр.80
Домашняя контрольная работа №2 (Предикаты, часть 1), задача 1.

ЗАНЯТИЕ 9. 22.04.2021. Предикаты, нормальные формы. Логическое следствие.
Лекция 6.
№З-16(а,б,в), №З-17(а,б,в), №З-18.1, №З-18.2 стр.80.
Домашняя контрольная работа №2 (Предикаты, часть 1), задача 2.

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

ЗАНЯТИЯ 12. 20.05.2021. Аксиоматический метод в логике высказываний.
Лекция 4.
№Д-6,7,16,17,18.
Домашняя контрольная работа №2 (Предикаты, часть 2), задача 6.

ЗАНЯТИЕ 13. 27.05.2021. Аксиоматический метод в логике предикатов.
Лекция 7.
№Д-19,20.
ТЕСТ №2. Логика предикатов.

ЗАНЯТИЕ 14. 27.05.2021. Невыразимость в теории предикатов.
Лекция 8.


См. также

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