Код: 318504

Назва:

Архітектура систем комп`ютерної алгебри

Анотація: Програма містіть матеріали курсу "КОМП'ЮТЕРНА АЛГЕБРА", який читається на бакалавраті для спеціальностей "Інженерія програмного забезпечення", "Комп'ютерні науки" та "Прикладна математика". Програма складена для курсу комп'ютерної алгебри, який заснований на хмарній системі комп'ютерної алгебри MathPartner. Лекційні матеріали розроблені на мові mathpar і припускають використання сервісу mathpar.ukma.edu.ua. Наводиться новий доказ алгоритму Берлекампа, (див. для порівняння Т.2 Д.Кнута, '' Мистецтво програмування ''). Всі алгоритми супроводжуються прикладами в мові mathpar. Це дозволяє не тільки вивчити теорію, а й практикуватися в застосуванні вивчених алгоритмів до загальних завдань факторизації поліномів в Z[x].

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

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

Семестр: осінній

Кількість кредитів: 4 (загальна кількість годин - 120 год.; аудиторні години - 42 год.; лекції - 20 год.; семінарські заняття - 22 год.; самостійна робота - 78 год.)

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

Викладач(і): Малашонок Г.І., д.н., професор

Результати навчання: У результаті вивчення дисципліни студент повинен:
-обчислювати в комутативних кільцях,
- вирішувати рівняння в комутативних кільцях,
-робити факторизацію поліномів.

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


Рекомендована література: 1. Малашонок Г.І. Факторизація полиномів. Електронний підручник та задачник. http://mathpar.ukma.edu.ua
2. J.H. Davenport, Y. Siret, E. Tournier. Computer algebra. 1991. London.(Дж., Сире І., Турньє Е. Комп'ютерна алгебра.)
3. Computer algebra. Symbolic and algebraic calculations. Ed. B. Buchberger, J. Collins, R. Loos, 1984. (Комп'ютерна алгебра. Символьні та алгебраїчні обчислення. Під.ред. Б.Бухбергера, Дж.Коллінза, Р.Лооса. 1986)
4. A.G.Akritas. Elements of Computer Algebra. 1993.
5. Knut D. The Art of Programming. In 3 volumes. T.2. Semi-numerical algorithms. (Кнут Д. Мистецтво програмування. У 3-х томах. Т.2. Напів-чисельні алгоритми.)
6. Сергіенко І.В., Кривий С.Л., Провотар О.І. Алгебраїчні аспекти інформаційних техно6логій. Київ, Інтерсервіс 2018.
7.Малашонок Г.І. Дискретна математика з комп'ютерної алгебри елементів. Навчальний посібник. 2005.


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

Методи й критерії оцінювання: рейтингове оцінювання за 100-бальною системою: поточний контроль - 60 балів (опитування, виступи на семінарах, лабораторні роботи); підсумковий контроль - 40 балів (усний залік).

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