Документы, связанные с Вадим Евгеньевич Котов

  • Приказ Г.И. Марчук -> А.П. Ершов
    В целях развития и координации работ по разработке ППП (пакетов прикладных программ) и их системных основ создать специализированный научный совет в указанном составе.
  • Список
    членов научно-технического совета отделения информатики ВЦ СО АН СССР.
  • Письмо автор не установлен -> С.С. Лавров
    Автор отвечает на замечания, сделанные С.С. Лавровым на его работу.
  • Планы А.П. Ершов
    на пятилетку по академическому сотрудничеству с социалистическими странами (1981-1985 гг.) - ЧССР, Болгария, ГДР; проблемы, темы, подтемы; исполнители. /Текст рукописный./
  • Отчет В.Е. Котов
    заведующего лабораторией теоретического программирования В.Е. Котова за 1977 г.
  • Статья В.Е. Котов
    "Ознакомившись с актом ревизии" в газете "Наука в Сибири", № 33, 1991 г. Это - изложение "Объяснительной записки" руководства Института систем информатики после опубликования ("Наука в Сибири", № 30) распоряжения Президиума СО РАН о результатах документальной ревизии финансово-хозяйственной деятельности Института. Руководство Института не согласилось с трактовкой многих выводов комиссии и представило в Президиум "Объяснительную запису". Ее авторы убеждены, что она позволит развернуть полезную дисскуссию по сложному и важному вопросу функционирования научных учреждений в условиях перехода к рыночной экономике, о месте и роли как институтов, так и Президиума СО РАН.
  • Справка
    о работе над темой "Программирование для вычислительных систем".
  • Список И.В. Поттосин
    выступлений на отчётной сессии в рамках тем, координируемых СНС по информатике.
  • Список
    сотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./
  • Список
    присутствовавших на семинаре в Новосибирске.
  • Набросок А.П. Ершов
    списка докладчиков на совещании в МГУ. /Текст рукописный./
  • Список В.Е. Котов
    тем курсовых и дипломных работ, выполняемых студентами у сотрудников отдела программирования ВЦ СО АН.
  • Список
    основных работ отдела программирования ВЦ СО АН СССР.
  • Письмо А.П. Ершов -> Е.Л. Ющенко
    со списком сотрудников ВЦ СО АН СССР, желающих принять участие в Первой всесоюзной конференции по программированию. В списке 22 фамилии.
  • Информация
    о лаборатории теоретического программирования, входящей в отдел информатики ВЦ СО АН.
  • Тезисы доклада В.Е. Котов
    В.Е. Котов, Л.А. Черкасова (Новосибирск) "Унификация логических средств при описании процессов и верификации их свойств".
  • Аннотация и программа В.Е. Котов
    к спецкурсу "Теория параллельного программирования".
  • Проект
    типовой программы для сдачи кандидатского минимума по специальности "Системное программирование".
  • Список А.П. Ершов
    из 21 фамилии, никак не озаглавленный. /Текст рукописный./
  • Оповещение
    о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
  • План
    проведения отчетной сессии СНС по направлению "Информатика".
  • План работы
    старших лаборантов В.Е. Котова, П.К. Леонова и А.С. Нариньяни на 1-й квартал 1964 г.
  • Сопроводительная записка В.Е. Котов -> А.П. Ершов
    к проекту комплексной целевой программы ... .
  • Программа А.П. Ершов
    одного из заседаний. /Текст рукописный./
  • Записка А.П. Ершов -> Л.В. Городняя
    Перечислены дела, которые должна выполнить сотрудница А.П. Ершова.
  • Приглашение В.Е. Котов -> Ф. Аллен
    принять участие в международной конференции "Перспективы системной информатики", посвященной памяти А.П. Ершова, которая состоится 27-30 мая 1991 года в Академгородке.
  • Аннотация В.Е. Котов
    к докладу "On transformation of sequentional programs into asynchronous parallel programs". Автор - V.E. Kotov.
  • Протокол №11 В.Е. Котов
    заседания Ученого совета ИСИ СО АН СССР.
  • Справка В.Е. Котов
    о количестве сотрудников и занимаемых площадях лаборатории теоретического программирования.
  • Раздел А.П. Ершов
    учебника "Информатика и вычислительная техника" с правкой В.Е. Котова.
  • Статья Ф. Ленга
    "The Russians Are Coming".
  • Список
    переводчиков на ВКП-2.
  • Перечень
    общих статей по программированию, планируемых в номера, начиная с № 9, 1982 г.
  • Информация
    В соответствии с постановлением Советского РИК все работоспособные мужчины ВЦ СО АН должны выехать в поле 23 сентября 1967 года для вывоза собранного картофеля. В списке сотрудников отдела программирования против каждой фамилии указано либо согласие, либо уважительная причина для отказа.
  • Программа В.Е. Котов
    годового обязательного спецкурса "Введение в теоретическое программирование".
  • Предложения
    по тематике семинара "Методология и теория программирования".
  • План Г.И. Марчук
    выпуска литературы на 1976 год (минуя книжные издательства).
  • Общее фото участников симпозиума
  • Рабочая записка В.Е. Котов
    "О развитии исследований в области архитектуры и математического обеспечения вычислительных систем в ВЦ СО АН СССР".

Страницы

Назад