Танзими номнависӣ ба курс
|
Язык логики высказываний |
|
Формализация в логике высказываний |
|
Следствие в логике высказываний |
|
Следствие в логике высказываний |
|
Направленная табличная процедура |
|
Направленная табличная процедура |
|
Нормальные формы |
|
Анализ и синтез контактных схем |
|
Полные системы булевых функций |
|
Логика предикатов |
|
Направленная табличная процедура в логике предикатов |
|
Направленная табличная процедура в логике предикатов |
|
Основные теоремы логики предикатов |
|
Основные теоремы логики предикатов |
|
ЕА-формализация |
Множества
Комбинаторика
Бинарные отношения
Булевы функции
- Преподаватель: Кунаковская Ольга Вениаминовна
- Преподаватель без права редактирования: Воротникова Виктория Евгеньевна
Меҳмонон ба ин курс дастрасӣ надоранд; илтимос, ба система дароед.