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

Программа предназначена для широкого круга слушателей. Предназначена студентам, магистрантам, преподавателям, а также служащим и руководителям предприятий различных форм собственности, и другим слушателям.

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