Целью освоения дисциплины «Математическая логика и теория
алгоритмов» является: овладение основными идеями и методами
классической логики, как инструмента построения доказательств в
математических дисциплинах, а также понятиями эффективности алгоритмов
и вычислений.