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

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

72 часа

Заочная

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

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