Архив
Научно-техническое сотрудничество
Визиты иностранных ученых в ВЦ СО АН СССР
Дейкстра Э., Хоар Э.
Вопросы к Э. Дейкстре , Э. Хоару и Дж. Шварцу
Записка, А. Н. Терехов->Дж. Т. Шварц, 17.09.1976
с вопросом о реализации и перспективе языков искусственного интеллекта.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
Автор спрашивает о возможном опыте работы по программированию поведения роботов и об использовании концепции фреймов. Интересуется, какие языки наиболее перспективны в этих областях.
Записка, автор не установлен->Дж. Т. Шварц, 17.09.1976
с вопросом о языках программирования высокого уровня; просьба рассказать о представлении идеального компьютера с точки зрения программиста и разработчика новых языков программирования.
Записка, автор не установлен->Э. Хоар, 17.09.1976
с вопросом о сочетаемости изобретательности в программировании и надежности программного продукта.
Записка, С. С. Лавров->Э. Хоар, 17.09.1976
с вопросом о перспективах развития вычислительной техники и, в связи с этим, многое ли из знаний, полученных студентами сегодня, пригодится им в будущем?
Записка, автор не установлен->Э. Хоар, 17.09.1976
с вопросом о переподготовке специалистов в области программирования.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом к гостям об их представлении о программировании в 2000 году.
Записка, автор не установлен->Дж. Т. Шварц, 17.09.1976
с вопросом о языках программирования, используемых в Институте математических наук им. Куранта.
Записка, автор не установлен->Э. Хоар, 17.09.1976
с вопросом о последовательности изучения языков программирования.
Записка, С. С. Лавров->Э. В. Дейкстра, 17.09.1976
с вопросом о задачах, рассматриваемых в литературе по методологии программирования.
Записка, Л. Ф. Лебедев->Дж. Т. Шварц, 17.09.1976
с просьбой сформулировать основные принципы, которыми следует руководствоваться при проведении разработок "больших" программ.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с трактовкой понятия "автоматизация программирования", вытекающей из выступления докладчика.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом о применимости методов доказательства завершаемости программы для решения теоремы Ферма.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом о проблеме доказательства корректности программы.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросами по доказательству свойств программ.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом, ведет ли автоматизация програмирования (т.е. обучение компьютера программированию) к тому, что машина учится мыслить?
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом: как и с какого возраста можно начинать обучать программированию?
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с вопросом, касающимся стиля программирования проф. Э. Дейкстры.
Записка, Л. Ф. Лебедев->Э. В. Дейкстра, 17.09.1976
с просьбой к проф. Э. Дейкстре прокомментировать его высказывание, сделанное по поводу появления проекта IBM 360.
Записка, автор не установлен->Э. В. Дейкстра, 17.09.1976
с просьбой высказаться по поводу статьи П. Абрахамса.

1 2
По порядку | По алфавиту | По дате

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