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

Последнее изменение: 27/04/2022 17:36:11

Image:picture_matlog2.png

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

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

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

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


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

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

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

Ссылки на презентации в облачном MSOffice ЗДЕСЬ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Технолог. карта:
0.3[1.0(текущ.лекц.аттест.)+0.0(промежут.лекц.аттест)]+ 0.7[0.5(текущ.аттест.практ.)+0.5(промежут.аттест.практ.,НТК)]

Практика:
Домашняя работа 1 - Дом.контр.№1 (40 баллов)
Домашняя работа 1 - Дом.контр.№2 (40 баллов)
Посещаемость и активность - 20 баллов
Лекции:
Контрольная работа (80 баллов) - Тест №1 (40 баллов)+Тест №2 (40 баллов)
Посещаемость и активность - 20 баллов


См. также

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