Код: 316145

Назва:

Додаткові розділи алгебри

Анотація: Передбачається вивчення базових алгебраїчних структур, що супроводжується їх чисельними прикладами. Розглядаються приклади застосування цих структур (а саме: групи, кільця, поля) у різних областях computer science.

Тип дисципліни: вибіркова

Рік навчання: 2

Семестр: 4д

Кількість кредитів: 5

Форма контролю: залік

Викладач(і): доц., к. фіз.- мат. н. Морозов Д. І.

Результати навчання: у результаті вивчення дисципліни студент повинен:
- знати основні методі та алгоритми побудови скінчених автоматів;
- знати методи застосування теорії p-адичних чисел до скінчених автоматів;
- вміти будувати лінійні автомати по заданих співвідношеннях.


Спосіб навчання: аудиторний

Необхідні обовязкові попередні й супутні модулі: дискретна математика; алгебра і геометрія

Зміст дисципліни: Елементи теорії груп. Основні способи представлення скінчених автоматів. Класифікація. Загальна задачі пов'язані з теорією лінійних автоматів. p -адичний аналіз як апарат роботи з автоморфізмами дерев. Задача спряженості. Постановка, методи розв'язання та аналізу. Лінійні автомати. Методи представлення автоморфізмами дерев. Функціональні автомати. Скінченно-становість функціональних автоматів.


Рекомендована література: 1. Дяченко С. М., Морозов Д. І. p-адичні числа і групи автоморфізмів кореневих дерев: навч. посіб./ С. М. Дяченко. - К.: НаУКМА, 2016. - 60 с.
2. Кострикин А.И. Введение в алгебру: Учебник - М.:Наука, 1997. - 496 с. - Бібліогр.: с. 100.
3. Ленг С. Алгебра . /Ленг С. ; Пер. С англ.. Е.С. Голод. - М.: Мир, 1968. - 564 с. - Бібліогр.: с. 39 - 46


Форми та методи навчання: лекції, семінари, самостійна робота

Методи й критерії оцінювання: поточний контроль на семінарах (10 %); проміжний контроль (40%); самостійна робота (10 %); підсумковий контроль (40 % )

Мова навчання: українська