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

Последнее изменение: 30/09/2021 15:28:59

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

Домашняя контрольная №1, часть 1 (ФЛВ)

Домашняя контрольная №2, часть 1 (Предикаты)
Домашняя контрольная №2, часть 2 (Предикаты)
Домашняя контрольная №2, часть 3 (Предикаты)

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

Домашняя контрольная №3 (Аксиоматизируемые теории ФЛВ)
Указания к домашней контрольной №3

Текстовые задачи (Формулы логики высказываний)

Tasks for foreign students

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

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

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

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


См. также

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