Аннотация 

Курс повышения квалификации 
«Математическая логика»   

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


Объем программы: 72 часа

Форма обучения: заочная с использованием дистанционных образовательных технологий

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