11. Ссылки на источники

1. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы: построение и анализ, 3-е изд.: Пер. с англ.- СПб.: ООО «Диалектика», 2019. – 1328 с.

2. Годлевский А. Б. О некоторых разрешимых и неразрешимых случаях проблемы функционально эквивалентности схем программ над памятью // Тезисы докладов III Всесоюзного симпозиума.- Изд. Кишиневского гос. ун-та, 1974. – С. 174-179

3. Подловченко Р. И. Исследования в теории алгебраических моделей программ с процедурами // Программирование. – 2016. - №1. – С. 5-9

4. Косовский Н. К., Косовская Т. М. Полиномиальный тезис Черча для РЕФАЛ-5-функций, нормальных алгоритмов и их обобщений //Компьютерные инструменты в образовании. – 2010. – С. 12-21

5. Косовский Н. К. Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке РЕФАЛ-5 // Компьютерные инструменты в образовании.- 2012. - №4. – С. 41-49

6. Гурин Р. Ф., Романенко С. А. Язык программирования РЕФАЛ ПЛЮС / Учеб. пособие, Ун-т г. Переславля им. А. К. Айламазяна. – Переславль-Залесский, 2006

7. Марков А. А., Нагорный Н. М. Теория алгорифмов. – М.: Наука, 1984. – 432 с.

8. Кушнер Б. А. Лекции по конструктивному математическому анализу. – М.: Наука, 1973. – 448 с.

9. Белоусов А. И., Ткачев С. Б. Дискретная математика //Учеб. для вузов. – 5-е изд. – М.: Изд. МГТУ им. Н. Э. Баумана, 2015. – 744 с.

10. Хованский А. В. Индивидуальная случайная последовательность и генераторы случайных чисел // Математическое моделирование. – 2009. - №7. – С. 93-105.

< Предыдущая