Название спецкурса на русском языке
Алгоритмическая алгебра
Перевод названия курса на английский язык
Algorithmic Algebra
Целевая аудитория
1 курс
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору студента
Учебный год
2023/24
День недели
четверг
Время
16:45-18:20
Формат проведения
В аудитории
Аудитория
425
Аннотация
В курсе освещаются следующие вопросы:
1) начальные сведения по теории алгоритмов и теории конечных автоматов,
2) уравнения в словах в свободном моноиде,
3) метод устранения кванторов,
4) алгоритмическая разрешимость теорий некоторых классов алгебраических систем.
1) начальные сведения по теории алгоритмов и теории конечных автоматов,
2) уравнения в словах в свободном моноиде,
3) метод устранения кванторов,
4) алгоритмическая разрешимость теорий некоторых классов алгебраических систем.
Дополнительная информация
Первое занятие - 21 сентября
Программа cпецкурса http://intsys.msu.ru/study/courses/algalg.htm