Контрольные по курсу "Математическая логика"

Последнее изменение: 15/04/2023 04:40:09

Математическая логика. ДММиКН ИЕНиМ, напр. Математика, Математика. Компьютерная математика.

Домашние контрольные работы

  • Домашняя контрольная №1 (ФЛВ)
  • Домашняя контрольная №2, часть 1 (Предикаты)
  • Домашняя контрольная №2, часть 2 (Предикаты)
  • Домашняя контрольная №2, часть 3 (Предикаты)
  • Текстовые задачи (Формулы логики высказываний)
  • Домашняя контрольная №3 (Аксиоматизируемые теории ФЛВ)


находятся в онлайн курсах Математическая логика (спецкурс) и Математическая логика

Решение варианта домашней контрольной №1 (Логика высказываний)

Теория к домашней контрольной работе №2 (Предикаты)
Решение варианта домашней контрольной №2 (Предикаты)

Указания к домашней контрольной №3 (Исчисление высказываний)

Tasks for foreign students

Homework №1 (Propositional logic formulas)
Homework №2 (Predicates)
Homework (Техt tasks)

Solution of a typical set of problems of Homework №2

Типовые задачи

Типовые задачи, часть 1 для подготовки к экзамену, контрольным, проверочным и самостоятельным работам.

Типовые задачи, часть 2 для подготовки к экзамену, контрольным, проверочным и самостоятельным работам.

См. также

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