Математическая логика

Уточняйте у менеджера

Стоимость обучения

72 часа

Объем программы

Заочное обучение

Форма обучения

Целью данной программы является ознакомление с понятиями и фактами, являющимися основой современной математической логики (логика предикатов, теория алгоритмов, количественные характеристики формул, методы построения доказательств логических утверждений и др.).

По окончании программы слушатели получают удостоверение о повышении квалификации установленного образца.