Главная Промышленная автоматика.

обзора проблемы доказательства и подтверждения. Они могут ускользнуть от обнаружения и при «исчерпывающем» апробировании. Заметим, что как Парсонс [29i], так и Кобб [30i], подтверждая отдельные алгоритмы, нашли новые нехитрые ошибки в ранее подтвержденных алгоритмах.

Тот факт, что подтверждение путем доказательства имеет свои границы, не является достаточным аргументом для недооценки и, следовательно, для отказа от его достоинств. Короче, доказательства полезны, но нужно понимать, что они не панацея [31 i, 321].

Подтверждение к алгоритмам 251-330

М. И. Агеев, Москва, октябрь 1975

В течение 1971-1972 годов авторами выпуска были переведены на русский язык и переработаны алгоритмы 251-330 журнала «САСМ». Эти алгоритмы (кроме алгоритмов 266-268, 290, 292, 295, 300, 305, 307, 308, 313, 321, 323, 325, 327-330) были отлажены на машинах М-220 и БЭСМ-6 в системах ТА-1М и БЭСМ-АЛГОЛ. Многие из этих алгоритмов широко используются в настоящее время в различных задачах..



Замечания к алгоритмам 36, 46, 56, 96, 226, 236, 276, 326, 386, 396, 40 б, 436, 486, 147а, 178

М. и. Агеев, Москва, май 1975

В материалы выпуска „Библиотека алгоритмов 16-506° [46] нужно внести следующие поправки.

Номер алгоритма

Страница

Строка

Напечатано

Должно быть

И сн.

end;

9 сн.

If abs (y)<eps then go to fin

if abs (yXeps thsn go to fin

6 сн.

-2. 0

33 св.

entier (0.4342944819 X In (abs (X))-hi;

entier (0.4342944819 X In (abs (x))-f 1);

226

14 св.

x.0 и k=0,l,.... n)

У1фЧ и k = 0. 1,.... n

236*

2 св.

X, у [l:k]

X y[l:n]

7 св.

оператор

операторы

18 св.

begin array X, у [!:k]

begin array x, у [1 : n]

256*

21 св.

fin : с [k]: = r

fin: с [k]: = r

1 сн.

Ньюхауза

Ньюхауса

276*

4 св.

II 27 18 3 55 75II

II 0 27 18 3 55 75 II

9 св.

„Замечании к алгоритму 32"

„Замечании к алгоритму 32

1 св.

чанию к алгоритму 32" и

чанию к алгоритму 32 и к

9 сн.

396 406**

100 101

9 св. 12 св.

5 св.

д. Доминго,

к. Доминго,

16 сн.

3. 14159264

3.14159265

а47а

4 сн.

Г. Роландом

Р. Парсонсом

8 сн.

Г. Роланда;

Р. Парсонса;

>

15 св.

Г. Роландом.

Р. Парсонсом.

26 св.

нужно заменить на строку

нужно заменить на строки



Список литературы, которой пользовались авторы выпуска

1. Бронштейн И. Н., Семендяев К- А. Справочник по математике для инженеров и учащихся ВТУЗов. М., Физматгиз, 1962.

2. Агеев М. И., Алик В. П., Га лис Р. М. Алгоритмы (1-50). М., ВЦ АН СССР, 1966.

3. Риордан Дж. Введение в комбинаторный анализ. М., ИЛ, 1963.

4 Фаддеев Д. К., Фаддеева В. Н. Вычислительные методы линейной алгебры. М., Физматгиз, 1963.

5. Лебедев А. В., Ф е д о р о в а Р. М. Справочник по математическим таблицам. М., АН СССР, 1956.

6. Виноградов И. М. Основы теории чисел. М., Гостехиздат, 1953.

7. К п U t h D. Е. А Proposal For Input-Output Conventions In ALGOL 60. - «Comm. АСМ», 1964, № 5. (Русский перевод: Кнут Д. E. Проект соглашений по вводу- выводу в языке АЛГОЛ-60.- В кн.: Современное программирование. Вып. 1. М.» «Сов. радио», 1966).

8. Д и т к и н В. А. (отв. ред.) Таблицы интегралов Френеля. М., АН СССР, 1953.

9. Н о с о в а Л. Н. Таблицы функпий Томсона и их первых производных. iVl., АН СССР, 1960.

10. Програ.ммирующая программа. - «Ж. вычисл. матем. и матем. физ.», 1964, № 1. Авт.: Попов В. Н., Степанов В. А., Стишева А. Г., Травникова Н. А.

11. Наур П. (ред.) Сообщение об алгоритмическом языке АЛГОЛ-60. - «Ж. вычисл> матем. и матем. физ.», 1961, № 2.

12. Athman R. Е. Subset ALGOL 60 (IFIP). - «Gomm. АСМ», 6, 1963, i№ 1 (Русский перевод: Сообщение о сокращенном АЛГОЛе-60 (IFIP). - «Ж- вычисл. матем. и матем. физ.», 1965, (№ 3).

13. Лавров С. С. Универсальный язык программирования. М., «Наука», 1972.

14. А г е е в М. И. Основы алгорит1Мического языка АЛГОЛ-60. М., ВЦ .А.Н СССР,. 1965.

15. Б оттенбрух Г. Структура АЛГОЛ-60 и его использование. М., ИЛ, 1963.

16. Мак-Кр акен Д ж. Программирование на АЛГОЛе. М., «Мир», 1964.

17. Communications of the АСМ. Algorithms. USA, 1960-1972.

18. Шура-Бура М. P., Любимский Э. 3. Транслятор АЛГОЛ-60. - «Ж. вычисл. матем. и матем. физ.», 1964, На 1.

19. X р е н о в Л. С. Пятизначные таблицы тригонометрических функций. М., Физматгиз, 1962.

20. А t h m а п Я. Е. (Ed.) Suggetions On ALGOL 60 (ROME) Issues. «Comm. АСМ», 6, 1963, № 1. (Русский перевод: Атман P. E. Предложения по спорным вопросам АЛГОЛ-60 (Рим). - «Ж. вычисл. матем. и матем. физ.», 1964, N° 1).

21. N аи г Р. (Ed.) Revised Report on the Algorithmic Language ALGOL-60. - «Comm. АСМ», 1963, № 1. (Русский перевод: Алгоритмический язык АЛГОЛ-60. М., «Мир», 1965).

22. Агеев М. И. Единая форма наглядной записи алгоритмов. - В кн.: Алгоритмы и алгоритмические языки. Вып. 3. М., ВЦ АН СССР, 1968.

23. Алгоритмы (51-100). М., ВЦ АН СССР, 1966. Авт.: Агеев М. И., Алик В. П., Малюк Л. В., Марков Ю. И.

24. Агеев М. И., Кривонос Л. С, М а р к о в Ю. И. Алгоритмы (101-150). М.,. ВЦ АН СССР, 1967.

25. Алгоритмы (151-200). М., ИПУ -ВЦ АН СССР, 1970. Авт.: Агеев М. И., Грюнберг М. Г., Марков Ю. И., Швакова Г. М.

26. Агеев М. И., Марков Ю. И., Ш в а к о в а Г. М. Алгоритмы (201-2.50). М.,. ИПУ -ВЦ АН СССР, 1971.

27. Белявский Е. И., Деген А. Б., Этин Ю. Б. АЛГОЛ-60. Л., Гидромет. Изд-во, 1966. -

28. Брудно А. Л., АЛГОЛ. М., «Наука», 1971.

29. Система БЭСМ - АЛГОЛ. В кн.: Труды 2-й Всесоюзной конференции по программированию. Новосибирск, Ин-т геологии и геофизики СО АН СССР, 1965. Авт.: Курочкин В. М., Подшивалов Д. Б. и др.





0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 [42] 43

0.0019