|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Николаевич Агафонов Письмо, Х. Еномото->А.П. Ершов, 01.02.1982 в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
Письмо, В.М. Савинков->А.П. Ершов, 26.11.1984в сопровождение статьи В.А. Серебрякова "Атрибутные грамматики ..." для рецензирования.
Предисловие, 20.12.1985редактора книги В.Н. Агафонова "Спецификация программ: понятийные средства и организация". /Текст рукописный./
Извещение, 17.05.1985о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР.
Статья, 11.03.1985"База данных".
Предисловие, 25.12.1985редактора книги В.Н. Агафонова "Спецификация программ: понятийные средства и организация".
Рабочие документы, 01.06.1974Темы курсовых работ, предлагаемых кафедрой теоретической кибернетики.
Письмо, А.П. Ершов->А. С. Попов..., 12.12.1985Авторы благодарят за присылку книги "Введение в логическое программирование", считают, что она удачно дополняет две другие книги, принятые издательством "Мир". Так что вполне оправдано издание всех трех книг.
Предисловие, 24.02.1981к сборнику "Абстрактные типы данных" под редакцией В.Н. Агафонова.
Письмо (рукописное), А.П. Ершов->Е. И. Стечкина, 12.04.1982Считает целесообразным перевод и издание книги Гргаса, рекомендует В.Н.Агафонова в качестве титульного редактора.
Пояснительная записка, 26.04.1984к плану создания информационно-справочной системы ПТО по средствам спецификации программ.
Рабочие записи, 23.04.1980Вопросы для обсуждения. /Записи для памяти./
ПредложенияВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./
Статья, 11.03.1985"Спецификация программ".
Статья, 11.03.1985"Структура данных".
Письмо (рукописное), В. А. Перепелица->А.П. Ершов, 18.07.1974Информация по кадровым вопросам на кафедре теоретической кибернетики Новосибирского государственного университета.
Рецензия, В. Н. Агафонов->А.П. Ершов, 01.02.1980В.Н. Агафонова на доклад М. Таверы.
Письмо, А.П. Ершов->Г. Д. Фролов, 21.10.1985Отвечает на вопросы адресата из письма от 17 октября.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
