"Математическая логика". Направл.: Математика (спецкурс)
Последнее изменение: 02/02/2024 16:26:52
(34ч). Отчетность-зачет.
Курс находится на elearn.urfu по ССЫЛКЕ
Учебные пособия:
А.П.Замятин "Математическая логика и теория алгоритмов" (З), И.А.Лавров, Л.Л.Максимова "Задачи по теории множеств, математической логике и теории алгоритмов" (Л), И.С.Фролов, В.Б.Соколовский "Задачи по математической логике" (Ф), а также Дополнительные задачи (Д).
ЛЕКЦИИ по спецкурсу "Математическая логика"
Домашнее задание
Индивидуальные домашние контрольные работы по спецкурсу, а также методические материалы для их решения находятся на Странице
Баллы за Задания и распределение Заданий по контрольным работам группы МЕН-310101 находятся ЗДЕСЬ (новые списки)
Баллы за Задания и распределение Заданий по контрольным работам группы МЕН-310102 находятся ЗДЕСЬ (новые списки)
Баллы за текущие практические задания группы МЕН-310101 находятся ЗДЕСЬ (новые списки)
Баллы за текущие практические занятия группы МЕН-310102 находятся ЗДЕСЬ (новые списки)
Баллы за посещаемость, активность на занятиях, домашние контрольные работы, за тесты идут в текущую аттестацию по практикам или лекциям
Логика высказываний
ЗАНЯТИЕ 1. 23.02.2023. Логика высказываний (ЛВ). Интерпретация. Равносильность.
Лекция 1.
Задачи №З-3(в,ж,и) №З-4(а,б,в), №З-5(б,в,г) №З-6(а,в) стр.26., №Ф-19(a,b),№Ф-20(b,e).
Задача 1 (любой вариант) из Текстовых задач (формулы логики высказываний)
Дополнит.: №Л-46*, №Л-47* стр.57.
ДЗ №1: Домашняя контрольная работа №1 (ФЛВ), задачи 1,2.
Текстовые задачи, задача 1.
Дедлайн: 11.03.2024
ЗАНЯТИЕ 2. 02.03.2023. Логическое следствие в ЛВ.
Лекция 2.
№З-7(а,б,в) №З-8(а,б), №З-9(2.3) №З-10.1, 10.2, №Ф-35(a,b), №Ф-36(a,b), №Ф-37(a,b),
ДЗ №2: Домашняя контрольная работа №1 (ФЛВ), задачи 3,9.
Дедлайн: 19.03.2024
ЗАНЯТИЕ 3. 09.03.2023. Нормальные и минимальные формы в ЛВ.
Лекция 2.
№З-11(а,б,в,г), в 11(б,в)-к ДНФ и СДНФ 2-мя способ., №З-12(а,г), №З-13(а,б,в,г), в 13(б,в)-к КНФ и СКНФ 2-мя способ. стр.28.,
№З-16(3), №З-17(3), №З-18(3), №З-20 стр. 186, №Д-1.2-1.4.
Иллюстрация нахождения миним. ДНФ по булевому кубу
Пример нахождения миним. ДНФ по булевому кубу
ДЗ №3: Домашняя контрольная работа №1 (ФЛВ), задача 4.
Дедлайн: 26.03.2024
ЗАНЯТИЕ 4. 16.03.2023. Контактные схемы.
Лекция 3.
Задачи №З-14(а,в) №З-15, №З-16 стр. 26.
№Д-2-5, №Д-5.1, №Д-5.2.
ДЗ №4: Домашняя контрольная работа №1 (ФЛВ), задача 5.
Дедлайн: 2.04.2024
ЗАНЯТИЕ 5. 23.03.2023. Метод резолюций в ЛВ.
Лекция 3.
Задачи №З-1(а,д,е), №З-2.1, 2.2, 2.3, 2.5 стр. 133.
Теоретический материал для метода резолюций в логике высказываний
ДЗ №5: Домашняя контрольная работа №1 (ФЛВ), задача 6.
Дедлайн: 9.04.2024
ЗАНЯТИЕ 6. 30.03.2023. Булевы функции.
Задачи №З-3, №З-5, №З-6, №З-7, №З-8, №З-9, №З-12, №З-14, №З-15, №З-7*, №З-10* стр. 183-184,№Л-47*, стр.57
№Д-8,9,10*.
ТЕСТ №1. Логика высказываний.
ДЗ №6: Домашняя контрольная работа №1 (ФЛВ), задачи 7,8,10,11.
Дедлайн: 16.04.2024
Логика предикатов
ЗАНЯТИЕ 7. 06.04.2023. Предикаты, основные понятия.
Лекция 5.
№З-2, №З-3(а-г), №З-6(в-д), №З-7.1, стр. 57-61
ДЗ №7: Домашняя контрольная работа №2 (Предикаты, часть 1), задача 4.
Дедлайн: 23.04.2024
ЗАНЯТИЕ 8. 13.04.2023. Предикаты, Равносильность. Интерпретация.
Лекция 5.
№З-12(а-е), №З-13(а-д) стр.80
ДЗ №8: Домашняя контрольная работа №2 (Предикаты, часть 1), задача 1.
Дедлайн: 30.04.2024
ЗАНЯТИЕ 9. 20.04.2023. Предикаты, нормальные формы. Логическое следствие.
Лекция 6.
№З-16(а,б,в), №З-17(а,б,в), №З-18.1, №З-18.2 стр.80.
ДЗ №9: Домашняя контрольная работа №2 (Предикаты, часть 1), задача 2.
Дедлайн: 7.05.2024
ЗАНЯТИЕ 10,11. 27.04.2023. Метод резолюций в логике предикатов.
Лекция 6.
№З-3, №З-4(а-в), №З-6(а-в), №З-5(а-в), №З-10(а-в), №З-11.1, №З-11.3 стр.133-134, №Д-15.
Теоретический материал для метода резолюций в логике предикатов
ДЗ №10: Домашняя контрольная работа №2 (Предикаты, часть 1), задача 3.
Домашняя контрольная работа №2 (Предикаты, часть 1), задача 5.
Дедлайн: 14.05.2024
Практика 12. 4.05.2023. Предикаты: выполнимость.
Задачи №Л-7(в,г,д,е), №Л-8(а,б,в,г), №Л-6(а,б,в), №Л-11*, №Л-12*, №Л-13*(a) стр. 82, Д-12, 13.
ДЗ №11: Домашняя контрольная работа №2 (Предикаты, часть 2), задача 6.
Дедлайн: 21.05.2024
ЗАНЯТИЯ 13,14. 11.05.2023. Аксиоматический метод в логике высказываний (Исчисление высказываний).
Лекция 4.
ТЕСТ №2. Логика предикатов.
№Д-6,7,16,17,18.
ДЗ №12: Домашняя контрольная работа №2 (Предикаты, часть 2), задача 7.
Дедлайн: 28.05.2024
ЗАНЯТИЕ 15. 18.05.2023. Аксиоматический метод в логике предикатов (Исчисление предикатов).
Лекция 7.
№Д-19,20.
ЗАНЯТИЕ 16. 25.05.2023. Невыразимость в теории предикатов.
Лекция 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 баллов
В случае проведения онлайн
- Способ реализации --- Собрание с использованием BBB в курсе "Математическая логика (спецкурс)" на elearn (Moodle).
- Преподаватель демонстрирует лекционный материал-презентацию.
- На лекциях преподаватель назначает тесты на elearn.
- Для практик Создаётся совместный проект - Google-презентация или проект на виртуальной доске Miro, куда преподаватель вставляет часть лекционного материала, необходимого для решения задач. Студенты же, разбившись на группы, вставляют фото решений задач из учебных пособий
- На занятии презентация (или доска Miro) демонстрируется преподавателем и комментируется авторами решений.
- Часть задач решается студентами на виртуальной доске Idroo, демонстрируемой на Собрании.
- После занятия назначается индивидуальная задача по теме занятия в виде Задания в курсе на elearn
- Возможна поздняя досдача после дедлайна заданий и сдача работ над ошибками с уведомлением преподавателя через Форум в курсе на elearn.
- Собрание проводится по расписанию в ЛК.
- Общение и консультации с преподавателем вне занятий проводятся при помощи Форумов или Чатов на elearn или чрез Чат в Телеграм.
См. также