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