Записка, А. Н. Терехов->Дж. Т. Шварц, 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
По порядку | По алфавиту | По дате |