Документы, связанные с Валерий Николаевич Агафонов

  • Рецензия В.Н. Агафонов
    на рукопись (авт. Ли, Янг), представленную на конференцию "Языки программирования и конструирование систем".
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.
  • Рецензия В.Н. Агафонов
    на рукопись (авт. Фуртадо, Велосо), представленную на конференцию "Языки программирования и конструирование систем".
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./
  • Записка В.Н. Агафонов
  • Анкета В.Н. Агафонов
    В. Н. Агафонова.
  • Список
    сотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./
  • Рабочие документы В.Н. Агафонов 01.06.1974
    Темы курсовых работ, предлагаемых кафедрой теоретической кибернетики.
  • Письмо (рукописное) В.А. Перепелица -> А.П. Ершов 18.07.1974
    Информация по кадровым вопросам на кафедре теоретической кибернетики Новосибирского государственного университета.
  • Программа 10.12.1974
    заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.
  • Рекомандация В.Н. Агафонов 12.01.1977
    Авторы считают целесообразным перевод на русский язык книги Льюиса и др. "Теоретические основы проектирования компиляторов".
  • Список 19.01.1977
    членов Научного совета по информатике ВЦ СО АН СССР. В списке - 25 фамилий.
  • Выписка из протокола А.П. Ершов 30.05.1977
    Постановление об организации методических комиссий по обязательным и специальным курсам по направлению "Программисты" на 1977-1978 учебный год.
  • Письмо А.П. Ершов 22.05.1979
    А.П. Ершов предлагает издательству перевести и издать сборник "Данные в языках программирования: абстракция и типология". Приложено предполагаемое содержание сборника.
  • Рецензия В.Н. Агафонов -> А.П. Ершов 01.02.1980
    В.Н. Агафонова на доклад М. Таверы.
  • Рабочие записи А.П. Ершов 23.04.1980
    Вопросы для обсуждения. /Записи для памяти./
  • Протоколы 10.10.1980
    заседаний кафедры вычислительной математики (программисты). В один из протоколов включено выступление В.А. Вальковского о работах сотрудников кафедры вычислительной математики за 1980-й год по теме "Проблемы параллельного программирования".
  • Предисловие В.Н. Агафонов 24.02.1981
    к сборнику "Абстрактные типы данных" под редакцией В.Н. Агафонова.
  • Предложения В.Н. Агафонов 29.06.1981
    по "систематизации" спецкурсов и спецсеминаров для улучшения качества образования студентов 3-го - 5-го курсов.
  • Письмо Х. Эномото -> А.П. Ершов 01.02.1982
    в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
  • Письмо (рукописное) А.П. Ершов -> Е.И. Стечкина 12.04.1982
    Считает целесообразным перевод и издание книги Гргаса, рекомендует В.Н.Агафонова в качестве титульного редактора.
  • Письмо А.П. Ершов -> Е.И. Стечкина 12.04.1982
    Поддерживает издание рукописи Г. Григаса "Абстрактные типы данных". Рекомендует В.Н. Агафонова в качестве титульного редактора.
  • Предисловие В.Н. Агафонов 26.10.1983
    к сборнику статей "Требования спецификации в разработке программ" совместно с В.Н. Агафоновым.
  • Пояснительная записка В.Н. Агафонов 26.04.1984
    к плану создания информационно-справочной системы ПТО по средствам спецификации программ.
  • Письмо В.М. Савинков -> А.П. Ершов 26.11.1984
    в сопровождение статьи В.А. Серебрякова "Атрибутные грамматики ..." для рецензирования.
  • Статья В.Н. Агафонов 11.03.1985
    "Абстрактный тип данных".
  • Статья В.Н. Агафонов 11.03.1985
    "База данных".
  • Статья В.Н. Агафонов 11.03.1985
    "Спецификация программ".
  • Статья В.Н. Агафонов 11.03.1985
    "Структура данных".
  • Извещение -> А.П. Ершов 17.05.1985
    о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР.
  • Письмо А.П. Ершов 06.08.1985
    А.П. Ершов рекомендует к изданию сборник "Логическое программирование".
  • Письмо А.П. Ершов -> Г.Д. Фролов 21.10.1985
    Отвечает на вопросы адресата из письма от 17 октября.
  • Письмо В.Н. Агафонов -> А.С. Попов 12.12.1985
    Авторы благодарят за присылку книги "Введение в логическое программирование", считают, что она удачно дополняет две другие книги, принятые издательством "Мир". Так что вполне оправдано издание всех трех книг.
  • Предисловие А.П. Ершов 20.12.1985
    редактора книги В.Н. Агафонова "Спецификация программ: понятийные средства и организация". /Текст рукописный./
  • Предисловие А.П. Ершов 25.12.1985
    редактора книги В.Н. Агафонова "Спецификация программ: понятийные средства и организация".
  • Письмо А.П. Ершов -> адресат не установлен 08.12.1986
    с предложением увеличить тираж книги В.Н. Агафонова "Спецификация программ: понятийные средства и их организация".
  • Реценция В.Н. Агафонов 20.05.1988
    на книгу В. Турского и Т. Майбаума "Спецификация программ для вычислительных машин".
  • Письмо на бланке Д. Парнас -> А.П. Ершов 11.07.1988
    Автор благодарит за книгу В.Н. Агафонова с введением, написанным адресатом. Он просит помочь ему расширить контакты с советскими учеными во время его поездки в СССР.
Назад