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

Последнее изменение: 05/05/2023 10:16:48

Image:picture_matlog3.png

Курс находится на elearn.urfu по Ссылке в процессе формирования.

  • Способ реализации --- Собрание с использованием BBB в курсе "Математическая логика (спецкурс)" на elearn (Moodle).
  • Для проведения практических занятий Создаётся совместный проект - Google-презентация или проект на виртуальной доске Miro, куда преподаватель вставляет часть лекционного материала, необходимого для решения задач. Студенты же, разбившись на группы, вставляют фото решений задач из учебных пособий

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

  • На занятии презентация или доска Miro демонстрируется преподавателем и комментируется авторами решений.
  • Часть задач решается студентами на виртуальной доске Idroo, демонстрируемой на Собрании.
  • После занятия назначается индивидуальная задача по теме занятия в виде Задания в курсе на elearn
  • Возможна сдача работ над ошибками (однократная повторная сдача с меньшими баллами в течение 1-2 недели после дедлайна).
  • Собрание проводится по расписанию в ЛК.
  • Общение и консультации с преподавателем вне занятий проводятся при помощи Форумов или Чатов на elearn и Чата в Telegram.
  • Баллы за посещаемость вебинаров, активность (участие в совместном проекте), домашние контрольные работы, за тесты идет в текущую аттестацию по практикам

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

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

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

Список типовых задач по теории автоматов находится ЗДЕСЬ

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

Баллы за текущие практические задания группы МЕН-210202 находятся ЗДЕСЬ
Баллы за текущие практические занятия группы МЕН-210203 находятся ЗДЕСЬ

Логика высказываний

ЛОГИКА ВЫСКАЗЫВАНИЙ
Практика 1. 18.02.2023. Формулы логики высказываний. Логическое следование.
Задачи №З-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 (ФЛВ), задачи 1,2,3.
Дедлайн: 26.02.2023.

Практика 2. 25.02.2023. Нормальные и минимальные формы.
№З-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.
Иллюстрация нахождения миним. ДНФ по булевому кубу
Пример нахождения миним. ДНФ по булевому кубу
ДЗ №2. Домашняя контрольная работа №1 (ФЛВ), задача 4.
Дедлайн: 5.03.2023.

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

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

Логика предикатов

Image:caroll_small.png
Практика 5. 18.03.2023. Предикаты (определение). Интерпретация на модели. Равносильность.
Задачи №З-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*.
ДЗ №6. Домашняя контрольная работа №2 (Предикаты, часть 1), задача 1.
Дедлайн: 2.04.2023.

Практика 6,7. 25.03.2023, 1.04.2021. Интерпретация на модели. Равносильность (продолжение). Нормальные формы логики предикатов
Задачи №З-13(а-в) №З-14(а-в), №З-15(а-в) стр. 60.
ДЗ №7. Домашняя контрольная работа №2 (Предикаты, часть 1), задача 2.
Дедлайн: 9.04.2023.

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

Теория автоматов, часть 1

Image:wally.png Практика 9,10. 15.04.2023, 22.04.2023. Теория автоматов. Построение автомата по описанию. Приведенный (минимальный) автомат. Построение ДКА по НКА (epsilon-НКА). Нахождение регулярного выражения по ДКА и ДКА по регулярному выражению.
Типовые задачи по теории автоматов, задачи 1-4, 8.
ДЗАвт. №1. Домашняя контрольная работа №4 (Автоматы, части 1-4).
Дедлайн: 29.04.2023.

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

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

Аксиоматический метод в теории высказываний и предикатов

Image:gedel.jpg Практика 13. 13.05.2023. Аксиоматический метод в теории высказываний и предикатов.
№Д-6, 7(1-7), №Д-14-23.
ДЗ №10 (дополн.) Домашняя контрольная работа №3 (любая задача из двух).

Теория автоматов, часть 2

Image:eva_and_wally.png Практика 14. 20.05.2023. Теория автоматов. Нерегулярные языки. Моноид автомата.
Практика 15. 27.05.2023. Теория автоматов. Синхронизируемые автоматы. Автомат Ахо-Корасик
Типовые задачи по теории автоматов, задачи 5,6,7.
ДЗАвт. №2. Домашняя контрольная работа №4 (Автоматы, части 5-8).
Дедлайн: 27.05.2023.

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

Дополнительно (не обязательно):
Задачи №Ш-5(а,б,в,е,ж,з,и), №Ш-8(а,б,в), 9,10 стр.53-55, к задачам №Ш-5, №Ш-8 построить приведенный автомат, к задаче №Ш-5 найти регулярное выражение и моноид автомата.

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

Технолог. карта:

0,6(0,4*Текущая аттестация по лекциям+0,6*Промежуточная аттестация по лекциям (экзамен))+0,4*Текущая аттестация по практикам

Текущая аттестация по лекциям:
Текущая аттестация по лекциям (100 баллов)

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

См. также

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