DRAKON.SU https://forum.drakon.su/ |
|
К 30-летию паломничества в Ургенч https://forum.drakon.su/viewtopic.php?f=213&t=7188 |
Страница 1 из 1 |
Автор: | Владимир Паронджанов [ Понедельник, 24 Октябрь, 2022 14:03 ] |
Заголовок сообщения: | К 30-летию паломничества в Ургенч |
К 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 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |