Варианты зачисления на курс

Язык логики высказываний

Формализация в логике высказываний

Следствие в логике высказываний

Следствие в логике высказываний

Направленная табличная процедура

Направленная табличная процедура

Нормальные формы

Анализ и синтез контактных схем

Полные системы булевых функций

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

Направленная табличная процедура в логике предикатов

Направленная табличная процедура в логике предикатов

Основные теоремы логики предикатов

Основные теоремы логики предикатов

ЕА-формализация

Множества

Комбинаторика

Бинарные отношения

Булевы функции

Гости не имеют доступа к этому курсу. Войдите в систему.