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