Algebra algorytmów

Algebra algorytmów – jeden z działów algebry zajmujący się szukaniem i udoskonalaniem sposobów rozwiązywania problemów matematycznych za pomocą skończonej liczby działań logicznych i arytmetycznych.

Zobacz też

• język programowania
• dowód poprawności algorytmu
• algebra uniwersalna

Bibliografia

• Donald E. Knuth "Sztuka programowania"; WNT, 2002-2008
• L. Banachowski, K. Diks, W. Rytter "Algorytmy i struktury danych"; WNT, wyd. V, 2006
• Owsiak W., Owsiak A., Owsiak J. Teoria algorytmów abstrakcyjnych i modelowanie matematyczne systemów informacyjnych / Owsiak W., Owsiak A., Owsiak J. — Opole: Politechnika Opolska, 2005. — 275 s.
• Ovsyak V. Automation of the Process of Search of the Algorithms’ Formulae in the Library «КоБА» / V. Ovsyak, A. Vasyluk, O. Yaremchyshyn // Proc. of the IX-th intern. Conference «The experience of designing and application of CAD systems in microelectronics (CADSM'2007)». -Lviv-Polyana: Lviv Polytechnic National University, 2007. — P. 418—420.
• Бритковський В. М., Овсяк В. К., Огірко О. І. Редактор формул алгоритмів і аналіз синтаксису і семантики алгебри алгоритмів-секвенцій. /Матеріали 7 всеукраїнської наукової конференції «Сучасні проблеми прикладної математики та інформатики» Львів:НУ ім. І. Франка,2000. -С. 17-18.
• Огірко О. Синтаксис оптимізації моделі та моделювання синтаксису механізму розпізнавання символіки алгебри алгоритмів секвенції. // Комп"ютерні технології друкарства, № 5, 2000. -С. 296- 303.
• Огірко О. Комп”ютерна реалізація алгебри алгоритмів. // Комп`ютерні технології друкарства, № 5, 2000. -С. 200-205.
• Огірко О. Автоматизовані способи розпізнавання для алгебри алгоритмів.// Автоматика – 2000. – Т.6. – Львів: Державний НДІ інформаційної інфраструктури, 2000.
• Огірко О. Модель комп”ютерної системи генерації програм з формул алгоритмів. // Комп`ютерні технології друкарства, № 6, 2001. -С. 93-97.
• Огірко О.І. Принцип побудови системи генерації програм з операцій теорії секвенційних алгоритмів//. КВАЛІЛОГІЯ КНИГИ, № 6, 2003. -С. 189-193.
• Огірко О.І Реалізація математичної моделі підсистеми генерації програм з операцій теорії секвенційних алгоритмів// Комп`ютерні технології друкарства, № 8, 2004.

Linki zewnętrzne

• (ang.) http://www.nr.com - algorytmy numeryczne
• Skrypt do przedmiotu Algebra I na wydziale MIMUW autorstwa A. Bojanowska, P. Traczyk (.ps)
• Algebra algorytmów