Документы, связанные с Виктор Николаевич Касьянов

  • План-проспект В.Н. Касьянов
    статьи В.Н. Касьянова "Оптимизация программ: некоторые подходы".
  • Аннотация
    к книге В.Н. Касьянова и И.В. Поттосина "Методы построения трансляторов". Ответственный редактор - А.П. Ершов.
  • Конспект беседы о структурном программировании на семинаре в ВЦ СО АН СССР
  • Программа В.Н. Касьянов
    курса лекций "Программирование" для студентов ММФ (1-й курс, 1984-1985 уч. год), специальность - "прикладная математика"; летняя сессия.
  • Тезисы доклада В.Н. Касьянов
    В.Н. Касьянов (Новосибирск) "Конструирование качественных программ методом конкретизирующих преобразований".
  • Протокол №20 И.В. Поттосин
    заседания Ученого совета ИСИ СО РАН.
  • Тезисы доклада В.Н. Касьянов
    В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".
  • Список
    членов СНС по информатике.
  • Структура
    проекта целевой комплексной программы на 12-ую пятилетку по решению научно-технической проблемы "Разработка и внедрение программных средств, необходимых для применения микропроцессорной техники, вычислительных машин и систем в народном хозяйстве". Это - Приложение к письму ГКНТ от ноября 1983 г. /Рукой Андрея Петровича перечислены фамилии сотрудников, которым с этим документом необходимо ознакомиться и подготовить предложения к НТС Вычислительного центра./
  • Дискуссия В.Н. Касьянов
    проведенная в рамках празднования 10-летнего юбилея Института систем информатики СО РАН. Темы: 1) проблемы образования и обучения, в частности, в университетах; 2)организация сотрудничества между компаниями и обучающими и научными организациями. /Запись дискуссии дана в отредактированном виде и черновом./
  • План
    проведения отчетной сессии СНС по направлению "Информатика".
  • Планы А.П. Ершов
    на пятилетку по академическому сотрудничеству с социалистическими странами (1981-1985 гг.) - ЧССР, Болгария, ГДР; проблемы, темы, подтемы; исполнители. /Текст рукописный./
  • Рабочие записи В.Н. Касьянов
    Сотрудники лаборатории написали свои заявки на командировки для сводной заявки лаборатории.
  • Список
    сотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./
  • Статья В.Н. Касьянов
    "Программ оптимизирующие преобразования".
  • Служебная записка А.П. Ершов 01.02.1971
    Просьба дать указание о включении в заявку ВЦ СО АН СССР выпускников НГУ по приложенному списку.
  • Семинар БЕТА/С-28 05.10.1971
    М.И. Шварцман продолжает доклад о проекте внутреннего языка. Идет оживленная дискуссия.
  • Характеристика И.В. Поттосин 01.12.1971
    на стажера ВЦ СО АН СССР В.Н. Касьянова.
  • Отчет В.Н. Касьянов 18.10.1972
    стажера-исследователя В.Н. Касьянова о первом годе своей работы в ВЦ СО АН СССР.
  • Заявка А.П. Ершов 27.11.1972
    в оргкомитет всесоюзного семинара по комбинаторной математике на участие В.Н. Касьянова.
  • Служебная записка 20.03.1973
    Р-005 "Перечень работ, генерирующих выполнение сетевого графика пробной реализации".
  • Служебная записка 02.04.1973
    Р-006 "Сетевой график пробной реализации (первое приближение)".
  • Программа 10.09.1973
    экзамена по системному программированию для сдачи кандидатского минимума.
  • Служебная записка В.Н. Касьянов -> Г.И. Марчук 20.11.1973
    В ответ на служебную записку М. Шварцмана - четыре замечания по существу вопроса и выражение твердой уверенности в том, что с трудностями, возникающими в ходе работы над проектом БЕТА, коллектив справится.
  • Телеграмма А.П. Ершов -> Л.Д. Райков 31.01.1974
    От ВЦ СО АН в защите технического проекта примут участие А.А. Берс и В.Н. Касьянов; просьба забронировать для них гостиницу.
  • Служебная записка А.П. Ершов -> Г.И. Марчук 18.09.1974
    Просьба повысить зарплаты сотрудникам по приведенному списку.
  • План расселения И.В. Поттосин 24.09.1974
    по комнатам сотрудников лабораторий А.П. Ершова и И.В. Поттосина.
  • Программа 10.12.1974
    заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.
  • Справка Л.И. Нарышева 01.01.1975
    Касьянова В.Н.
  • Письмо А.П. Ершов -> Р. Рид 07.01.1975
    Автор поддерживает публикацию статьи своего молодого коллеги В.Н. Касьянова в журнале "Эй-Си-Эм".
  • Сопроводительное письмо В.Н. Касьянов -> Р. Рид 15.01.1975
    к статье "Быстрые алгоритмы нахождения гамаков и линейных компонент в ориентированном графе".
  • Служебная записка А.П. Ершов -> А.С. Алексеев 30.01.1975
    Просьба перевести сотрудников отделения информатики на указанные ставки и должности.
  • Письмо А.П. Ершов -> Н.П. Бусленко 10.04.1975
    с рекомендацией опубликовать в журнале "Программирование" статью В.Н. Касьянова "К оценке частоты выполнения операторов и переходов в программе".
  • Письмо С.И. Будыхо -> А.П. Ершов 30.05.1975
    Просьба дать отзыв на статью Л.Ф. Штернберга "Эффективные алгоритмы определения совместимости переменных"; сообщение о том, что статьи Н.Н. Миренкова и В.Н. Касьянова приняты. /Текст рукописный./
  • Письмо А.П. Ершов -> Н.П. Бусленко 23.07.1975
    Рекомендует статью В.Н. Касьянова "О нахождении аргументов и результатов операторов в схемах с косвенной адресацией" для публикации в журнале "Программирование".
  • Рецензия В.Н. Касьянов 17.09.1975
    на рукопись работы Л.Ф. Штернберга "Эффективные алгоритмы определения совместимости переменных".
  • Повестка В.Т. Дементьев -> А.П. Ершов 09.01.1976
    заседания Секции по кибернетике Объединённого учёного совета по физико-математическим и техническим наукам СО АН СССР.
  • Письмо А.П. Ершов 25.03.1976
    В дирекцию и МК профсоюзов ВЦ СО АН СССР с просьбой уделить особое внимание перечисленным сотрудникам отделения информатики в предстоящем распределении жилья.
  • Письмо А.П. Ершов -> Д. Шварц 22.06.1976
    с сообщением о том, что был вынужденн отменить свою поездку в США по семейным обстоятельствам; надеется на встречу в Москве в сентябре; рассказывает о делах в институте.
  • Телеграмма А.П. Ершов -> Д. Шварц 09.08.1976
    с перечислением советских участников советско-американского совещания по проекту 4.2
  • Телеграмма А.П. Ершов -> Д. Шварц 12.08.1976
    с предварительным списком докладов.
  • Список А.П. Ершов 20.08.1976
    участников советской делегации на научно-техническом совещании по проекту 4.2.
  • Письмо А.П. Ершов 25.11.1976
    В дирекцию и МК профсоюзов ВЦ СО АН СССР с просьбой выделить две двухкомнатные кваритиры сотрудникам отделения информатики.
  • Письмо А.П. Ершов 25.11.1976
    В МК профсоюзов ВЦ СО АН СССР сообщает соображения по очередности и степени нуждаемости сотрудников отделения информатики в связи с предстоящим распределением жилья.
  • Распоряжение М.Ф. Жуков -> А.П. Ершов 02.03.1977
    Президиума СО АН СССР "О проведении конференции молодых ученых по проблемам системного программирования" (11-13 октября 1977 года; Новосибирский Академгородок) и Приложение /Программа/ к нему.

Страницы

Назад