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