| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по этой ссылке. Цель курса — ознакомление с классическими разрешимыми и неразрешимыми алгоритмическими проблемами алгебры. Предполагается вводная часть, в которой будут рассмотрены различные вычислительные модели, приводящие к формализации понятий алгоритма и вычислимой функции. Будет доказана неразрешимость ряда алгоритмических проблем, в частности, неразрешимость проблемы равенства в конечно определенных полугруппах. С другой стороны, будут приведены примеры разрешимых проблем с описанием соответствующих алгоритмов, например, проблемы равенства и изоморфизма для конечно порожденных абелевых групп. От слушателей не требуется специальной подготовки, хотя желательно знакомство с основными понятиями алгебры - группы, кольца, гомоморфизма и т.п.
Время занятий: вторник 14:45 – 16:10 Первое занятие: 12 сентября  RSS: Ближайшие семинары
|
Лектор