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

  • Письмо А.П. Ершов -> Е.Л. Ющенко
    со списком сотрудников ВЦ СО АН СССР, желающих принять участие в Первой всесоюзной конференции по программированию. В списке 22 фамилии.
  • Тезисы доклада В.А. Непомнящий
    В.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./
  • Список
    сотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./
  • Тезисы доклада В.А. Непомнящий
    В.А. Непомнящий, О.М. Рякин "Обобщенный подход к аксиоматической семантике операторов над последовательными файлами".
  • План А.П. Ершов
    ротапринтных изданий отдела программирования на 1971 г.
  • Список
    членов СНС по информатике.
  • Список
    членов научно-технического совета отделения информатики ВЦ СО АН СССР.
  • "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований" В.А. Непомнящий
  • Список В.А. Непомнящий
    тем курсовых и дипломных работ для студентов НГУ с указанием руководителей.
  • Отчет В.А. Непомнящий
    "Проблемы теории программирования" (международный симпозиум, Новосибирск).
  • Заседание К В.А. Непомнящий
    Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
  • Отчет В.А. Непомнящий
    по теме "Исследования алгоритмических проблем, разработка машинного поиска логического вывода" за 1971-1975 гг.
  • Список В.А. Непомнящий
    тем курсовых и дипломных работ, выполняемых студентами у сотрудников отдела программирования ВЦ СО АН.
  • Планы А.П. Ершов
    на пятилетку по академическому сотрудничеству с социалистическими странами (1981-1985 гг.) - ЧССР, Болгария, ГДР; проблемы, темы, подтемы; исполнители. /Текст рукописный./
  • Перечень
    общих статей по программированию, планируемых в номера, начиная с № 9, 1982 г.
  • Заметки А.П. Ершов
    которые делал автор во время слушания докладов.
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.
  • Отчет В.А. Непомнящий
    старшего научного сотрудника В.А. Непомнящего.
  • Препринт В.А. Непомнящий
    № 341 ВЦ СО АН "Математическая теория программирования" (Обзор зарубежных работ).
  • Письмо А.П. Ершов 15.08.1967
    редактору издательства с просьбой рассмотреть вопрос об издании перевода на русский язык книги С. Гинзбурга "Математическая теория контекстно-свободных языков". Прилагается отзыв А. Гладкого об этой книге.
  • Письмо автор не установлен -> А.П. Ершов 02.12.1967
    с просьбой дать отзыв на автореферат диссертации. /Текст рукописный./
  • Телеграмма А.П. Ершов -> А.А. Летичевский 18.02.1969
    о своих планах; приглашает приехать обсудить ряд проблем.
  • Характеристика А.П. Ершов 28.03.1969
    и.о. младшего научного сотрудника кандидата физ.-мат. наук В.А. Непомнящего.
  • Письмо А.П. Ершов -> В.А. Тузов 05.05.1969
    о сроках написания отзыва на его диссертацию.
  • Анкета 01.01.1970
  • Записка А.П. Ершов 20.05.1970
    с объявлением времени, места и приглашенных на предзащиту дипломных работ.
  • Письмо В.П. Кочергин -> Л.Г. Лавров 12.11.1970
    с просьбой разрешить вывоз представленного на Конгресс ИФИП доклада. /Рукописный черновик./
  • Характеристика А.П. Ершов 04.01.1971
    на м.н.с ВЦ СО АН СССР к.ф.-м.н. В.А. Непомнящего.
  • Семинар БЕТА/С-16 12.02.1971
    Доклад А.А. Летичевского о средствах для обработки деревьев, разработанный в ИК АН УССР, и его обсуждение.
  • Протокол А.П. Ершов 02.06.1971
    заседания НТС отделения информатики ВЦ СО АН СССР, на котором заслушивался вопрос о представлении В.А. Непомнящего к конкурсу на должность старшего научного сотрудника.
  • Отзыв В.А. Непомнящий 08.12.1971
    о докладе В.А. Ананьина "Система вычислительных алгоритмов".
  • Письмо А.П. Ершов -> В.А. Успенский 20.12.1971
    Просьба принять В.А. Непомнящего и разрешить ему выступить на семинаре.
  • Постановление М.А. Лаврентьев 07.01.1972
    Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.
  • Письмо В.А. Успенский -> А.П. Ершов 13.01.1972
    Договоренность о докладе В.А. Непомнящего на семинаре по вычислимым функциям.
  • Письмо А.П. Ершов -> А.А. Дородницын 24.01.1972
    Отчет о Конгрессе ИФИП-71 выслан; просьба внести в список делегатов В.А. Непомнящего.
  • Распоряжение АН СССР В.А. Котельников 18.02.1972
    Разрешить ВЦ СО АН провести международный Симпозиум по теории программирования с 7 по 11 августа 1972 года; разрешить пригласить 20 иностранных ученых (3 - из социалистических стран, 17 - из капиталистических); контроль за выполнением этого распоряжения возложить на Сибирское отделение АН СССР.
  • Отчет А.П. Ершов 10.09.1972
    о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
  • Письмо А.П. Ершов -> Э. Энгелер 17.11.1972
    В ответ на письмо от 19.09.1972 - с благодарностью сообщает, что книга и ее перевод на русский язык получены; касается взаимодействия по языку Паскаль.
  • Письмо А.П. Ершов -> Н.А. Карпова 10.08.1973
    Рекомендуется статья В.А. Непомнящего "Критерии полноты системы операций в операторных алгоритмах" для опубликования в "Проблемах кибернетики".
  • Письмо с приложением Ю.С. Колесников -> А.П. Ершов 15.01.1974
    Просьба командировать сотрудника ВЦ СО АН В.А. Непомнящего для чтения лекций в школе по системному программированию. Приложение: программа школы по системному программированию.
  • Информация А.П. Ершов 28.01.1974
    об Объединеном семинаре кафедры по системному и теоретическому программированию. Подготовлена, видимо, для опубликования в проспекте НГУ. /Рукописный и машинописный варианты./
  • Письмо Р.Б. Кухар -> А.П. Ершов 14.02.1974
    Автор выражает благодарность за предоставленную возможность выступить на семинаре, руководимом Нечепуренко М.И. /Текст рукописный./
  • Телеграмма А.П. Ершов -> А. Хубер 09.03.1974
    Просит поставить имя В.А. Непомнящего в качестве соредактора. Других замечаний нет. Обещает прислать письмо по поводу рассылки. /Текст рукописный./
  • Письмо В.Л. Темов -> А.П. Ершов 10.04.1974
    Автор, описывая проблемы с поиском Совета для защиты своей диссертации, просит адресата стать его официальным оппонентом. Это, несомненно, послужит важным фактором в продвижении защиты. /Текст рукописный./
  • Рабочие документы В.А. Непомнящий 01.06.1974
    Темы курсовых работ, предлагаемых кафедрой теоретической кибернетики.

Страницы

Назад