Новая классификация алгоритмов

Г.А. Кравцов, канд. техн. наук, И.А. Притулюк, аспирантка
Ин-т проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины
(Украина, 03164, Киев, ул. Генерала Наумова, 15,
тел. (044) 4249165, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.; Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Запропоновано власну класифікацію алгоритмів за результатами огляду найбільш відомих
фундаментальних та сучасних робіт. На відміну від відомих класифікацій введено
поняття алгоритмів вищих порядків та контекстнозалежних алгоритмів.

КЛЮЧЕВЫЕ СЛОВА:

классификация, свойства, дискретность, детерминированность, случайность, контекстная зависимость.

СПИСОК ЛИТЕРАТУРЫ

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 г. окончила Открытый международный университет развития человека «Украина». Область научных исследований — моделирование финансовых систем, теория игр.

Полный текст: PDF (русский)