Контакты:

Цель дисциплины “Математическая логика и теория алгоритмов”–ознакомление с основными понятиями  и методами математической логики и теории алгоритмов,с ориентацией на их использование в практической информатике,в том числе в системах искусственного интеллекта и вычислительной технике; формирование
систематизированных знаний  в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении; развитие логического мышления,логической культуры.