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

Последнее изменение: 07/09/2021 11:58:09

На практических занятиях используются задачи из учебных пособий:

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

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

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

Практика 1. Логика высказываний. Логическое следствие.
Задачи №З-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,2,3.

Практика 2. Логическое следствие. Нормальные и минимальные формы.
№З-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).
Домашняя контрольная работа №1 (ФЛВ), задача 4.

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


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

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

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

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

Практика 10. Предикаты (определение). Интерпретация на модели. Равносильность.
Задачи №З-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*. Домашняя контрольная работа №2 (Предикаты, чаcть 1).

Практика 11,12. Нормальные формы логики предикатов. Логическое следствие.
Задачи №З-15(а-е), №З-16(а-в), №З-17(а-в), №З-18.1-18.3 стр. 80.
Домашняя контрольная работа №2 (Предикаты, часть1), задачи 2,3.
Домашнее задание XIV, XV (или XVI)

Практика 13,14. Предикаты: метод резолюций.
Задачи №З-3,4(а,б,в), №З-5(а,б,в), №З-6(а,б,в), №З-10(а,в), №З-17(б), №З-11.1, №З-11.3, стр. 133-134.
Домашнее задание XVII
Домашняя контрольная работа №2(Предикаты, часть 1), задачи 5.
Домашняя контрольная работа №2(Предикаты, часть 2), задачи 6.

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

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

Практика 16. Обобщающее занятие.

Практика 17. Автоматы.
Задачи по теории автоматов Составитель: к.ф.-м.н., доцент Е.А. Петрова, использовалось учебное пособие А.П.Замятина, А.М.Шура "Языки, грамматики, распознаватели.
Задачи по теории автоматов (дополн.) Составитель: к.ф.-м.н., доцент И.А. Михайлова


Домашние контрольные работы находятся на Странице "Контрольные"

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


См. также

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