DRAKON.SU

Текущее время: Воскресенье, 04 Декабрь, 2022 03:55

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: К 30-летию паломничества в Ургенч
СообщениеДобавлено: Понедельник, 24 Октябрь, 2022 14:03 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5511
Откуда: Москва
К 30-летию паломничества в Ургенч

https://www.iis.nsk.su/news/conferences ... esmy/index

Институт систем информатики Сибирского отделения Российской академии наук (ИСИ СО РАН)

Цитата:
30 лет назад группа математиков и программистов задумала и осуществила научное паломничество на родину аль-Хорезми, выдающегося ученого 9-го века, кому обязаны своим происхождением слова алгебра и алгоритм.

16-22 сентября 1979 года в г. Ургенче (Узбекистан) был проведен симпозиум «Алгоритмы в современной математике и ее приложениях».

Его организаторами стали чл.-корр. АН СССР, зав. отделением информатики ВЦ СО АН СССР А.П. Ершов и лауреат премии Тьюринга, член Национальной академии наук США, профессор Стэнфордского университета Дональд Кнут.

Предлагаем вашему вниманию труды конференции, вышедшие в 1982 году под редакцией А.П. Ершова и Д. Кнута.

Содержание Части I

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

ЗЕМАНЕК X. Аль-Хорезми: происхождение, личность, работы, влияние (пер. А.П.Ершова)

КНУТ Д. Алгоритмы в современной математике и вычислительной науке (пер. Г.С.Цейтина)

УСПЕНСКИЙ В.А., СЕМЕНОВ А.Л. Теория алгоритмов: ее основные открытия и приложения

БАРЗДИНЬ Я.М. Об индуктивном синтезе программ
Содержание Части II

МАНИН Ю.И. Расширяющаяся конструктивная вселенная

ВАН ВЕЙНГААРДЕН А. Безъязыковое программирование (пер. А.Ф. Papa)

НЕПЕЙВОДА Н.Н. Логический подход к программированию

ТЫУГУ Э.Х. Структурный синтез программ

ЛЕТИЧЕВСКИЙ А.А. О поиске инвариантных соотношений в программах

АДЕЛЬСОН-ВЕЛЬСКИЙ Г.М., СЛИСЕНКО А.О. Что мы можем сделать с задачами полного перебора?

АЛЬДЕР А., ШТРАССЕН Ф. Алгоритмическая сложность линейных алгебр (пер, А.О.Слисенко)

КЛИНИ С.К.Алгоритмы в различных смыслах (пер.Г.В.Шеиной)

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

ЦЕЙТИН Г.С. От логицизма к процедурализму

ЕРШОВ А.П. Абстрактная вычислимость в алгебраических системах

БАУЭР Ф.Л. Алгоритмы и алгебра (пер. А.П.Ершова)

ГЛУШКОВ В.М. О формальных преобразованиях алгоритмов

МАТИЯСЕВИЧ Ю. Что делать после установления неразрешимости алгорифмической проблемы?

БУДА А. Об опыте езды на двух конях в программировании

АНИСИМОВ А.В. Преобразование Черча-Россера и разрешимые свойства обработки деревьев

КЛИНИ С.К. Об истоках теории рекурсивных функций (пер. Н.В.Белякина)

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

https://www.iis.nsk.su/news/conferences ... esmy/index


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2022, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB