#мехмат_студентам #мехмат_кафедры

Уважаемые студенты второго курса!

Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.

Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.

Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.

Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.

Сайт кафедры
Страница ВК
Канал в Телеграм