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

Последнее изменение: 14/02/2025 12:41:49

Image:picture_matlog3.png

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

  • Способ реализации в случае дистанционного формата --- Собрание с использованием BBB в курсе "Математическая логика" на elearn (Moodle).
  • Общение и консультации с преподавателем вне занятий проводятся при помощи Форумов или Чатов на 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баллов

См. также

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