"Математическая логика". Направл.: Матем. обеспечение и администриров. информац. систем (практики, лектор В.А.Щербакова)
Последнее изменение: 29/07/2025 09:26:50
А.П.Замятин "Математическая логика и теория алгоритмов" (З)
И.А.Лавров, Л.Л.Максимова "Задачи по теории множеств, математической логике и теории алгоритмов" (Л)\\ И.С.Фролов, В.Б.Соколовский "Задачи по математической логике" (Ф)
Дополнительные задачи (Д).
Необходимый минимум задач для практик по матлогике (к.ф.-м.н., доцент Щербакова В.А.)
Домашнее задание по математической логике
Задачи по логике высказываний
Задачи по булевым функциям
Задачи по логике предикатов
Индивидуальные домашние контрольные работы №№1,2,3 по математической логике, методические материалы для их решения, а также типовые задачи для подготовки к экзамену находятся на Странице
Лекции к.ф.-м.н., доцента Щербаковой В.А. по математической логике находятся на Странице
Логика высказываний
Практика 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баллов
См. также