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