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

Доклад С.С. Лавров

С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.
Перечень

научных отчетов за 1959 год, как выполненных сотрудниками отдела программирования, так и полученных из других организаций.
Отчет А.П. Ершов 23.12.1957

"Усовершенствование ПП для БЭСМ" отдела теоретического программирования ВЦ АН СССР .
Письмо Я. Ци -> А.П. Ершов 31.08.1958

Благодарность за полученные книги; размышления по поводу проектирования программирующей программы для БЭСМ.
Письмо Н.С. Манджавидзе -> А.П. Ершов 26.09.1958

Просьба перевести статью с английского языка на русский.
Письмо В.А. Янков -> А.П. Ершов 30.10.1958

о возникших проблемах с учебой, о призыве в армию; просьба снова принять на работу в ИМ СО АН.
Извещение Б.М. Щедрин -> А.П. Ершов 13.11.1959

о включении доклада в повестку дня всесоюзного совещания по вычислительной математике и вычислительной технике и о регламенте выступлений.
Письмо А.П. Ершов -> Н.Е. Скибко 28.12.1959

в ответ на письмо № 101-646/28-1231 приводится список сотрудников ВЦ АН СССР, рекомендуемых на курсы по развитию устной речи. /Текст рукописный./
Материалы Н.М. Нагорный 10.11.1960

заседаний секции структуры машины Ассоциации БЭСМ-2 (ноябрь 1960, Рига-Ленинград). Материалы включают Решения двух заседаний и Рекомендации, адресованные секцией Пленуму Ассоциации.
Письмо Н.М. Нагорный -> А.П. Ершов 18.05.1961

Предложение отразить в обзорном докладе изобретенные адресатом операторные алгорифмы.
Письмо Н.М. Нагорный -> А.П. Ершов 12.06.1962

Благодарность за присланные оттиски, надежда на скорую встречу в Москве.
Письмо Н.М. Нагорный -> А.П. Ершов 21.10.1962

Просьба срочно прореферировать статью, а в случае нехватки времени, вернуть.
Выписка из протокола Н.М. Нагорный 18.10.1963

заседания секции систем обработки научной информации о создании рабочей комиссии, в состав которой входит А.П. Ершов.
Выписка из протокола Н.М. Нагорный 18.10.1963

заседания секции систем обработки научной информации и рекомендации А.П. Ершова в качестве представителя от СССР в ИФИП/РГ2.1.
Протокол Н.М. Нагорный 18.10.1963

заседания секции систем обработки научной информации с приложениями.
Письмо Н.М. Нагорный -> А.П. Ершов 05.11.1963

Сообщает время и место очередного заседания секции систем обработки научной информации.
Письмо Н.М. Нагорный -> А.П. Ершов 12.12.1963

Сообщает время и место очередного заседания секции систем обработки научной информации.
Письмо Н.М. Нагорный -> А.П. Ершов 03.01.1964

Сообщает время и место очередного заседания секции систем обработки научной информации.
Письмо Н.М. Нагорный -> А.П. Ершов 11.01.1964

Сообщает время и место очередного заседания секции систем обработки научной информации.
Письмо Н.М. Нагорный -> А.П. Ершов 11.02.1964

Сообщает время и место очередного заседания секции систем обработки научной информации.
Письмо Н.М. Нагорный -> А.П. Ершов 13.04.1964

с извещением об очередном (апрель 1964 г.) заседании Секции систем обработки научной информации МНС при ГК КНИР.
Письмо Н.М. Нагорный -> А.П. Ершов 28.04.1964

с извещением об очередном (май 1964 г.) заседании Секции систем обработки научной информации МНС при ГК КНИР.
Письма Н.М. Нагорный -> А.П. Ершов 06.10.1964

с извещением об очередном (октябрь 1964 г.) заседании Секции систем обработки научной информации МНС при ГК КНИР.
Письмо Н.М. Нагорный -> А.П. Ершов 03.11.1964

Напоминает о статье, посланной на реферирование, и просит "продвинуть это дело своей решительной рукой". /Текст рукописный./
Постановление Г.К. Скрябин -> А.П. Ершов 10.02.1972

Президиума АН СССР "О плане выезда ученых Академии наук СССР в научные учреждения академий наук союзных республик на 1972 год и выполнении плана выезда за 1971 год" и Приложение к нему.
Распоряжение 05.02.1974

по Научному совету по комплексной проблеме "Кибернетика" - назначить председателя Секции "Искусственный интеллект", утвердить её структуру и состав всех входящих в неё комиссий.
Письмо А.П. Ершов -> А.О. Буда 25.03.1975

Сообщает свое расписание, чтобы можно было найти время для встречи и обсуждения работы адресата. Дает рекомендации, одобряет статью для журнала "Theoretical Computer Science".
Письмо Н.М. Нагорный -> А.П. Ершов 22.05.1979

Считает для себя честью приглашение на Симпозиум. Мог бы выступить с докладом, название которого предлагает.
Письмо А.П. Ершов -> В.А. Успенский 23.07.1979

Благодарит за письмо от 01.07.1979; выражает свое мнение по поводу названия доклада адресата; сообщает о положении дел с приглашением в Ургенч А.О. Слисенко.
Письмо Н.М. Нагорный -> А.П. Ершов 03.08.1979

Сообщает, что снимает свою заявку на выступление.
Письмо Н.М. Нагорный -> А.П. Ершов 03.08.1979

Просит снять свою заявку на доклад по состоянию здоровья.
Телеграмма А.П. Ершов -> В.М. Курочкин 28.08.1979

Приглашение на симпозиум адресату отправлено. Информация есть у Н.М. Нагорного. /Рукописный и машинописный тексты./
Фотография 16.09.1979

Ургенч. Экскурсия в школу. О.С. Рыжов, Земанеки, Дж. Кнут, Ю.В. Матиясевич, Г.М. Адельсон-Вельский, Н.М. Нагорный.
Тезисы Н.М. Нагорный 22.09.1979

выступлений, запланированных на 22 сентября 1979 г.
Письмо Н.М. Нагорный -> А.П. Ершов 22.10.1979

Выражается благодарность за телеграмму, присланную адресатом из Ургенча, которую А.А. Марков в последние дни своей жизни выслушал с большой радостью. Вскоре ему стало хуже и услышать впечатления об Ургенчском симпозиуме от своих сотрудников ему было уже не суждено. /Текст рукописный./
Телеграмма Н.М. Нагорный -> А.П. Ершов 18.05.1982

с сообщением о невозможности приехать на совещание по семейным обстоятельствам.
Открытка Н.М. Нагорный -> А.П. Ершов 02.02.1985

Автор с большой радостью узнал об избрании адресата действительным членом Академии. От души поздравляет с заслуженным успехом, желает доброго здоровья.
Письмо Н.М. Нагорный -> А.П. Ершов 05.04.1985

Автор пишет, как непросто было "реализовать" в книге то, что было задумано А.А. Марковым, но в целом он доволен результатом. Слова поддержки по поводу некоторых начинаний адресата. /Текст рукописный./
Письмо Н.М. Нагорный -> А.П. Ершов 21.09.1985

с просьбой переговорить с Ю.И. Маниным по поводу его участия в MFCS-86.
Письмо с приложением Н.М. Нагорный -> А.П. Ершов 12.10.1985

Автор извиняется за задержку с отзывом. Говорит, что рукопись произвела на него впечатление графомании. Приложен официальный отзыв.
Письмо Д.Г. Скордев -> А.П. Ершов 15.11.1985

Речь идет о международных конференции и летней школе "Математическая логика и ее приложения". Уточняются место и время проведения. Автор повторно приглашает адреса войти в программный комитет. Просит как можно скорее дать ответ.
Письмо Б.В. Бирюков -> А.П. Ершов 09.03.1986

Автор просит написать рецензию на "Теорию алгоритмов " А.А. Маркова и Н.М. Нагорного с точки зрения математика и информатика.
Письмо с приложением Б.А. Кушнер -> А.П. Ершов 14.10.1986

Автор высылает проект рецензии на монографию "Теория алгоритмов" А.А. Маркова и Н.М. Нагорного.
Письмо (электр.) С.С. Лавров -> Р.И. Подловченко 11.08.1999

ответ на письмо от 11.08.1999
Письмо (рукописн. черновик) Р.И. Подловченко -> С.С. Лавров 18.08.1999

о теореме Райса, издании "Лекций..."
Письмо (электр.) С.С. Лавров -> Р.И. Подловченко 08.09.1999

Ответ на письмо от 06.09.1999