Перечень
 

 

Перечень статей, публикуемых в материалах симпозиума "Алгоритм в современной
                                       математике и ее приложениях"

 

0. Предисловие редакторов

1. Х.Земанек (Австрия),профессор, заслуженный научный работник ИБМ.

                Аль-Хорезми сказал ...

2. Д.Кнут (США), профессор, академик АН США.

                Алгоритмы в современной математике и информатике.

3. А.В.Успенский (СССР).профессор, д.ф.-м.н. и А.А.Семенов (СССР), доцент,
                к.ф.-м.н.

                Что дает теория алгоритмов.

4. Я.Н.Барздинь (СССР), профессор, д.ф.-м.н.

                Об  индуктивном синтезе алгоритмов.

5. Ю.И.Манин (СССР), профессор, д.ф.-м.н., лауреат Ленинской премии.
                Расширяющаяся конструктивная вселенная.

6. Н.Н.Непейвода (СССР), доцент, к.ф.-м.н.

                Логический подход к программированию.

7. Э.Х.Тыугу (СССР), член-корр.АН ЭССР.

                Структурный синтез программ.

8. А.А.Летичевский (СССР), профессор, д.ф.-м.н., лауреат Гос. премии СССР.

                О поиске инвариантных соотношений в программах.

9. Г.М.Адельсон-Вельский (СССР), д.ф.-м.н. и  А.О.Слисенко (СССР),д.ф.-м.н.

                Что мы можем сделать с задачами полного перебора.

10. Ф.Штрассен (Швейцария), профессор, академик АН Швейцарии.

                Алгоритмы для алгебр.

11. С.К.Клини (США), профессор, академик АН США.

                Алгоритмы в различных контекстах.

12. И.А.Шанин (СССР), профессор, д.ф.-м.н.

                Роль понятия алгоритма в семантике арифметических языков.

13. Г.С.Цейтин (СССР), д.ф.-м.н.

                От логизма к процедурлизму.

14. А.П.Ершов (СССР), член-корр. АН СССР.

                Абстрактная вычислимость в алгебраических системах.

15. Ф.Л.Бауэр (ФРГ), профессор, академик Баварской АН.

                Алгоритмы • алгебра.

16. В.М.Глушков (СССР), академик, лауреат Ленинской и Гос.премий.

                О формальных преобразованиях алгоритмов.

17. Ю.В..Матиясевич (СССР), профессор, д.ф.-м.н

                Что нужно делать после доказательства неразрешимости массовой
                проблемы.

18. Н.М.Нагорный (СССР), доцент,к.ф.-м.н.

                Алгоритм как базис для формулировки конструктивных тематических
                понятий.

19. А.О.Буда (Болгария), научный сотрудник БАН, к.ф.-м.н.

                О четырех уроках езды на двух конях теоретического и системного
                программирования•

20. А.В.Анисимов (СССР), доцент, к.ф.-м.н. Преобразователи с обратным ходом.

21. С.К.Клини (США),

                О становлении понятия вычислительной функции.

22. А.ван Вейнгаарден (Нидерланды), профессор, академик АН Нидерландов.

                Безъязыковое программирование.

Приложение I. Календарная программа симпозиума.

Приложение 2. Тезисы устных сообщений

Приложение 3. Публикации об Ургенчском симпозиуме

Приложение 4. Список делегатов симпозиума

Приложение 5. Фотоматериалы.

 



Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016