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

  • Отчет рецензента В.А. Непомнящий 21.05.1980
    о статье "On inclusion problem for deterministic multitape automata".
  • Программа В.А. Непомнящий 13.06.1980
    предварительная приема научного сотрудника Математического института БАН к.ф.-м.н. А.О. Буды. Продолжительность командировки - 7 дней.
  • Оглавление 02.11.1980
    сборника "Математическая теория и практика систем программного обеспечения", основанного на докладах советско-болгарского совещания (София, 1980 год), и справочная информация о нем.
  • Протокол В.А. Непомнящий 17.11.1980
    по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
  • Письмо А.П. Ершов -> Ю.И. Янов 26.12.1980
    Излагает свои замечания к интересной статье адресата в журнале "Проблемы кибернетики", № 37. Просит прислать несколько оттисков.
  • Статья В.А. Непомнящий 09.01.1981
    "Программирование теоретическое". /Черновик./
  • Статья В.А. Непомнящий 21.01.1981
    "Программирование теоретическое".
  • Адрес В.А. Непомнящий -> А.П. Ершов 18.04.1981
    от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
  • Письмо (рукописное) М. Миякава -> А.П. Ершов 06.05.1981
    Автор благодарит за руководство и помощь, посылает оттиски своей статьи и обсуждает возможность перевода и публикации статьи о смешанных вычислениях.
  • Письмо А.П. Ершов -> С.И. Будыхо 24.08.1981
    Поддерживает исправленный вариант статьи В.А. Непомнящего "Доказательство правильности программ линейной алгебры".
  • Телеграмма В.А. Непомнящий -> Г.Е. Цейтлин 01.02.1982
    Слова скорби по поводу безвременной кончины В.М. Глушкова.
  • Письмо Х. Эномото -> А.П. Ершов 01.02.1982
    в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
  • Постановление В.А. Коптюг -> А.П. Ершов 16.02.1982
    о проведении всесоюзного семинара "Оптимизация и преобразование программ" в Новосибирске 4-6 мая 1982 г.
  • Постановление В.А. Коптюг 16.02.1982
    о проведении рабочего совещания по теме двустороннего сотрудничества Академий наук СССР и Болгарии.
  • Письмо Х. Эномото -> А.П. Ершов 22.02.1982
    в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
  • Письмо В.А. Непомнящий -> Д.Г. Скордев 02.04.1982
    Просьба подтвердить дату советско-болгарского совещания по математической логике и сообщить предварительный состав болгарской делегации.
  • Письмо В.А. Непомнящий -> Д.Г. Скордев 02.04.1982
    Подготовка советско-болгарского совещания проходит нормально, просьба подтвердить дату и сообщить состав болгарской делегации.
  • Письмо Г. Бончев -> А.П. Ершов 16.04.1982
    В ответ на письмо от 02.04.82 - автор подтверждает дату совещания, благодарит за приглашение в качестве гостя.
  • Стенограмма 05.05.1982
    дискуссии по взаимодействию теории и практики на всесозном семинаре "Оптимизация и преобразование программ" (Новосибирск, 04-06.05.1982).
  • Отзыв А.П. Ершов 26.05.1982
    о научной деятельности старшего научного сотрудника ВЦ СО АН СССР, кандидата физ.-мат. наук В.А. Непомнящего.
  • Обложка А.П. Ершов 05.11.1982
    с хронологией работы над статьей.
  • Письмо Л.Б. Эфрос -> И.В. Поттосин 17.01.1984
    Просьба запланировать рассмотрение на семинаре по системному программированию представленной к защите диссертационной работы Л.Б. Эфроса "Архитектура и программное обеспечение многомашинных вычислительных комплексов, ориентированных на коллективное использование вычислительных средств".
  • Обложка А.П. Ершов 24.02.1984
    с хронологией работы над статьей.
  • Отчет рецензента с приложением В.А. Непомнящий 04.04.1984
    о статье "PDL with Data Constants". Приложен подробный комментарий.
  • Отзыв с приложением А.П. Ершов 07.05.1984
    о плане-проспекте книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ", предлагаемую к изданию в издательстве "Радио и связь". Приложено оглавление книги и план-проспект.
  • Письмо А.П. Ершов -> Е.Н. Ильина 27.09.1984
    с указаниями о дальнейшей работе по подготовке чистового варианта справки.
  • Рабочие записи А.П. Ершов 03.11.1984
    сделанные при подготовке и во время семинара "Логика и программирование".
  • Письмо Д.Г. Скордев -> А.П. Ершов 14.02.1985
    Автор сообщает об изменении места проведения совещания по математической логике; выражает надежду, что статьи для совместного сборника прибыли вовремя; просит прислать отзыв на диссертацию.
  • Статья В.А. Непомнящий 11.03.1985
    "Верификация программ".
  • Статья В.А. Непомнящий 11.03.1985
    "Динамическая логика".
  • Приказ № 44 А.С. Алексеев 13.03.1985
    об организации редколлегии советско-болгарского сборника научных трудов "Математическая теория программирования".
  • Письмо А.П. Ершов -> В.М. Савинков 08.05.1985
    с рекомендацией к публикации в сборнике "Прикладная информатика" материала В.А. Непомнящего и В.К. Сабельфельда.
  • Письмо А.П. Ершов -> В.М. Савинков 08.05.1985
    Рекомендует к публикации в "Прикладной информатике" статью В.А. Непомнящего и В.К. Сабельфельда "Трансформационный синтез корректных программ". Дает ей высокую оценку. /Текст рукописный./
  • Предисловие В.А. Непомнящий 05.08.1985
    к советско-болгарскому сборнику научных трудов "Математическая теория программирования".
  • Отчет И.В. Поттосин 10.11.1985
    по теме VII советско-французского сотрудничества по проблеме "Информатика".
  • Письмо А.П. Ершов -> В.М. Савинков 13.11.1985
    о возможной ошибке в выборе автора в качестве адресата при отправке статьи В.А. Непомнящего. Рекомендует других рецензентов. /Текст рукописный./
  • Письмо В.М. Савинков -> А.П. Ершов 13.11.1985
    с просьбой организовать рецензирование статьи В.А. Непомнящего и др. "Верификация программ ...".
  • Письмо А.П. Ершов -> В.М. Савинков 15.11.1985
    Автор поддерживает публикацию статьи В.А. Непомнящего, но поскольку он - сотрудник ВЦ СО АН, формально рецензию можно получить по указанным адресам.

Страницы

Назад