"Математическая логика". Направл.: Матем. обеспечение и администриров. информац. систем (практики, лектор В.А.Щербакова)

Последнее изменение: 28/04/2023 16:48:24

Описание изображения

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

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

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

Необходимый минимум задач для практик по матлогике (к.ф.-м.н., доцент Щербакова В.А.)
Домашнее задание по математической логике
Задачи по логике высказываний
Задачи по булевым функциям
Задачи по логике предикатов

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

Лекции к.ф.-м.н., доцента Щербаковой В.А. по математической логике находятся на Странице

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

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

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

Все персонажи

Практика 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),
№Л-2(а,б), №Л-3(а) стр.52, №Л-46*, №Л-47* стр.57.
Домашнее задание I, II, III (любой).
ДЗ №1. Домашняя контрольная работа №1 (ФЛВ), задачи 1,2,3.
Дедлайн: 5.03.2023.

Практика 2,3. 25.02.2023, 4.03.2023 Логическое следствие. Нормальные и минимальные формы.
№З-11(а,б,в,г), в 11(б,в)-к ДНФ и СДНФ 2-мя способ., №З-12(а,г), №З-13(а,б,в,г), в 13(б,в)-к КНФ и СКНФ 2-мя способ. стр.28.,
№З-19, №З-20, №З-21, №З-22 стр. 186,
№Ф-35(a,b), №Ф-36(a,b), №Ф-37(a,b),
№Л-41 стр.56, №Л-45*, 46*, 47* стр.57, №Д-1, №Д-1.1-1.4.
Иллюстрация нахождения миним. ДНФ по булевому кубу
Пример нахождения миним. ДНФ по булевому кубу
Домашнее задание IV, V, VI(1), VII (1), VIII (2).
ДЗ №2. Домашняя контрольная работа №1 (ФЛВ), задача 4.
Дедлайн: 12.03.2023.

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

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

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

Практика 8. 8.04.2023. Исчисление высказываний.
№Д-6, 7(1-7).
ДЗ (дополн). Домашняя контрольная работа №3(ИВ).

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

Льюис Кэролл

Практика 9. 15.04.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 (Предикаты, чаcть 1), задача 1.
Дедлайн: 30.04.2023.

Практика 10,11. 22.04.2023, 29.04.2023. Интерпретация на модели. Равносильность (продолжение). Нормальные формы логики предикатов.
Задачи №З-13(в,г,д,е), №З-14(а-е), №З-15(а-е) стр. 60
ДЗ №7. Домашняя контрольная работа №2 (Предикаты, часть1), задача 2.
Домашнее задание XIV, XV (или XVI)
Дедлайн: 14.05.2023.

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

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

Практика 17(резерв). Исчисление предикатов.
Задачи №Д-14-23.

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

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

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

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

См. также

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