Г.А. Кравцов, канд. техн. наук, И.А. Притулюк, аспирантка
Ин-т проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины
(Украина, 03164, Киев, ул. Генерала Наумова, 15,
тел. (044) 4249165, e-mail:
АННОТАЦИЯ
Запропоновано власну класифікацію алгоритмів за результатами огляду найбільш відомих
фундаментальних та сучасних робіт. На відміну від відомих класифікацій введено
поняття алгоритмів вищих порядків та контекстнозалежних алгоритмів.
КЛЮЧЕВЫЕ СЛОВА:
классификация, свойства, дискретность, детерминированность, случайность, контекстная зависимость.
СПИСОК ЛИТЕРАТУРЫ
1. Мальцев А.И. Алгоритмы и рекурсивные функции. —М.: «Наука», 1986. — 367 с.
2. Кнут Д.Э. Искусство программирования. Т. 1. Основные алгоритмы / Пер.с агл.: уч. пос., 3-е изд., под общей ред. докт. физ.-мат. наук, проф. Ю.В. Козаченко.—М. : Изд. дом «Вильямс», 2000.— 720 с.
3. Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: построение и анализ. 2-e изд. — М.: «Вильямс», 2005. — 1290 с.
4. Алферова З.В. Теория алгоритмов. — М. : Статистика, 1973. — 164 с.
5. Subramaniam V. Programming Scala. Tackle Multicore Complexity on Java Virtual Machine. The Progmatic Programmers.— Pragmatic Bookshelf. — Raleigh, North Carolina, Dallas, Texas, 2008. —218 p.
6. Пирс Б. Типы в языках программирования / Пер. с англ. —М.: «Лямбда пресс» & «Добросвет», 2012.— 655 с.
7. Foundational Theories of Classical and Constructive Mathematics. Еd. Giovanni Sommaruga. — Springer: The Western Ontario Series in Philosophy of Science, 2011. — 316 p.
8. МаклейнС. Категории для работающего математика.—М.: ФИЗМАТЛИТ, 2004.— 352 с.
9. Лафоре Р. Структуры данных и алгоритмы в Java // Классика Computer Science.—М. : Изд-во «Питер», 2013. —704 с.
10. Гильберт Д., Бернайс П. Основания математики. Логические исчиления и формализация арифметики. —М. : «Наука», 1982. — 550 с.
11. Gödel K. Uber formal unentscheidbare S atze der Principia Mathematica und verwandter Systeme I //Monatshefte f urmathematik und physik.—1931.—Т. 38,№1.—С. 173—198.
12. Барендрегт Х.П. Ламбда-исчисление. Его синтаксис и семантика. — М. : Мир,1985. —606 с.
13. Kleene S.C. General recursive functions of natural numberse // Mathematische Annalen.—1936. — 112. — P. 727—742.
14. Успенский В.А. Машина Поста. — М.: Наука, 1979. — C. 89—95.
15. Turing A. On computable numbers, with an application to the Entscheidungs problem // Proc. of the London Mathematical Society. Series 2. — 1936-7. — 42. — P. 230—265. — Last access: August of 2015. — Mode of access: http://www.cs.virginia.edu/~robins/Turing_Paper_ 1936.pdf.
16. Хорстман К. Scala для нетерпеливых /Пер. с англ.—M.:Изд-во «ДМК», 2013.— 407 с.
17. Марков А.А. Теория алгорифмов // Тр. Математич. ин-та им. В.А. Стеклова. Т. 42.—М.: МAИК «Наука/Интерпериодика», 1954. — 376 с.
18. Седжвик Р., Уэйн К. Алгоритмы на Java, 4-е изд.—М. : «И.Д. Вильямс», 2013.—848 с.
19. Рублев В.С. Основы теории алгоримов.— Ярославль: Ярославский гос. ун-т им. П.Г. Демидова, 2005.— 143 с.
КРАВЦОВ Григорий Алексеевич, канд. техн. наук, докторант Ин-та проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины. В 2000 г. окончил Севастопольский военно-морской ин-т им.П.С.Нахимова. Область научных исследований—кибербезопасность смарт-грид, криптография, программирование, разработка распределенных гетерогенных вычислительных систем.
ПРИТУЛЮК Ирина Афанасьевна, аспирантка Ин-та проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины. В 2011 г. окончила Открытый международный университет развития человека «Украина». Область научных исследований — моделирование финансовых систем, теория игр.