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