Свойства автоматных базисов
Название спецкурса на английском языке
Properties of automata bases
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2025/26
Список тем
Автоматы, операции суперпозиции и комозициция
Свойства решётки Поста
Замкнутый класс, порядок замкнутого класса
Теорема о числе входов полной системы автоматов
Замкнутые классы автоматов
Автоматы с функциями переходов и выходов из классов Поста
Арность классов автоматов с операциями суперпозиции и композиции
Классы автоматов бесконечной арности
Суперпозиция автоматов и её связь с теоретико-групповыми операциями
Линейные автоматы, свойства замкнутых классов линейных автоматов
Кодировка состояний автоматов
Свойства решётки Поста
Замкнутый класс, порядок замкнутого класса
Теорема о числе входов полной системы автоматов
Замкнутые классы автоматов
Автоматы с функциями переходов и выходов из классов Поста
Арность классов автоматов с операциями суперпозиции и композиции
Классы автоматов бесконечной арности
Суперпозиция автоматов и её связь с теоретико-групповыми операциями
Линейные автоматы, свойства замкнутых классов линейных автоматов
Кодировка состояний автоматов
Список источников
Кудрявцев В.Б., Гаврилов Г.П., Яблонский С.В., Функции алгебры логики и классы Поста, Наука, М., 1966.
Кудрявцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов
Кудрявцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов
Дополнительная информация
Доп дискуссии и отработки в Zoom Meeting Meeting ID: 452 832 0761 Passcode: 8gdJck
День недели
четверг
Время
16:45-18:20
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.