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

  • Доклад О.С. Кулагина
    ВНТК для разработки предложений по дальнейшему развитию работ в области машинного перевода иностранных текстов.
  • Список
    участников симпозиума по теоретическому программированию (46 фамилий с краткой справочной информацией).
  • Тезисы А.П. Ершов
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
  • Статья Н.А. Криницкий
    "Математическое обеспечение".
  • Извещение Б.М. Щедрин -> А.П. Ершов 13.11.1959
    о включении доклада в повестку дня всесоюзного совещания по вычислительной математике и вычислительной технике и о регламенте выступлений.
  • Письмо Н.А. Криницкий -> А.П. Ершов 14.03.1960
    Просьба просмотреть вводный параграф будущего справочника и сделать дополнения.
  • Телеграмма Е.И. Яковлев -> А.П. Ершов 06.01.1966
    Очередной семинар запланирован на 18 января, доклад А.П. Ершова должен быть согласован.
  • Сообщение Е.И. Яковлев -> А.П. Ершов 16.01.1967
    об очередном заседании семинара по системам математического обеспечения ЭВМ.
  • Оповещение Е.И. Яковлев -> А.П. Ершов 05.02.1967
    об очередном семинаре по системам математического обеспечения ЭВМ.
  • Письмо Н.А. Криницкий -> А.П. Ершов 05.05.1968
    Автор благодарит за приглашение участвовать в симпозиуме "Новые алгоритмические языки" и предлагает включить в список участников сотрудника ГВЦ Госплана В.И. Собельмана.
  • Анкета 01.01.1970
  • Письмо И.В. Клокачев -> А.П. Ершов 07.02.1972
    Обсуждение списка участников и даты проведения симпозиума.
  • Постановление -> Г.И. Марчук 22.03.1972
    об организации Временной научно-технической комиссии для разработки предложений по унификации используемых в Советском Союзе языков программирования.
  • Решение 26.06.1972
    Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.
  • Статья Н.А. Криницкий 07.08.1972
    "Теория ЭВМ и программирования как интерпретация теории алгоритмов", заявленная на симпозиум.
  • Отзыв А.П. Ершов 01.11.1974
    научного руководителя о работе В.Э. Иткина "Логико-термальная эквивалентность схем программ", представленной на соискание ученой степени кандидата физико-математических наук.
  • Письмо А.П. Ершов -> Н.П. Бусленко 03.02.1976
    с рекомендацией к публикации статьи Л.В. Черноброд.
  • Письмо Н.А. Криницкий -> А.П. Ершов 12.03.1977
    Просьба написать статью для журнала "Программирование", которая будет опубликована в выпуске, посвященном 60-й годовщине Октября.
  • Повестка Н.А. Криницкий -> А.П. Ершов 15.04.1977
    о заседании редколлегии журнала "Программирование".
  • Письмо А.П. Ершов -> С.И. Будыхо 06.12.1978
    Рекомендует опубликовать статью В.К. Сабельфельда.
  • Письмо Н.А. Криницкий -> А.П. Ершов 12.02.1980
    Просьба прорецензировать статью В.В. Чернюгова "Обобщение генератора данных".
  • Повестка с приложением Н.А. Криницкий -> А.П. Ершов 16.03.1980
    о заседании редколлегии журнала "Программирование". Приложен список статей, которые будут обсуждаться.
  • Тезисы А.П. Ершов 10.12.1980
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
  • Телеграмма Н.А. Криницкий -> А.П. Ершов 20.04.1981
    с поздравлениями от Криницкого, Миронова и Фролова. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
  • Письмо Н.А. Криницкий -> А.П. Ершов 10.11.1981
    Просьба прорецензировать статью Г.Ю. Гребешковой.
  • Справка 01.12.1981
    на Криницкого Н.А.
  • Тезисы Н.А. Криницкий -> А.П. Ершов 09.07.1986
    выступления на заседании редколлегии журнала "Программирование".
  • Письмо Н.А. Криницкий -> А.П. Ершов 13.01.1987
    Автор обращается с просьбой к Андрею Петровичу как основоположнику теории смешанных вычислений посмотреть его статью и сделать замечания. /Текст рукописный./
  • Письмо Н.А. Криницкий -> А.П. Ершов 09.04.1987
    Автор благодарит адресата за немалый труд, затраченный на прочтение статьи "Алгоритмический анализ смешанных вычислений", и за сделанные замечания. Выражает свое несогласие с оценкой в отношении одной из целей своей статьи. Свою позицию аргументирует. Будет признателен, если адресат будет держать его в курсе новых результатов по смешанным вычислениям.
Назад