Документы, связанные с Ленинградское отделение математического института АН СССР

Письмо, А.П. Ершов->В. Н. Кублановская, 30.03.1978
Просьба передать авторам заметки о выполнении доказательных вычислений на ЭВМ рекомендацию автора письма - переработать её в статью для журнала IPL.
Отзыв, 30.03.1987
ведущей организации о диссертации В.В. Рыбакова "Допустимость правил вывода в модальных и суперинтуиционистских логиках", представленной на соискание ученой степени доктора физико-математических наук.
Объявление, 24.02.1983
24 февраля 1983 г. состоится заседание философского (методологического) семинара ЛОМИ и семинара № 2 лабораторий ЛОМИ на тему "Современное состояние парка ЭВМ и его социально-производственное использование (в свете решений XXVI съезда КПСС)". Докладчик - чл.-корр. АН СССР А.П. Ершов (Новосибирск).
Акт экспертизы, 12.01.1988
на статью Э.А. Мусаева "Поддержка интервальных вычислений в языках высокого уровня".
Письмо, А.П. Ершов->Г.И. Петрашень, 26.08.1976
о подготовке встречи профессоров Э. Дейкстры и Э. Хоара в МИ АН СССР.
Письмо, А.П. Ершов->Г.И. Петрашень, 26.08.1976
В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Ленинградского отделения Математического института АН СССР, организации, принимающей гостей в Ленинграде. Сообщается дата прибытия.
Тезисы, 20.11.1979
доклада "Об абстрактном определении вычислимой функции", прочитанном в Ленинградском отделении математического института АН СССР.
Статья, 20.06.1985
Н.Н.Ляшенко, М.С.Никулина, И.Ф.Соколовского "Микрокалькулятор и элементарная алгебра".
Письмо, Н. Ф. Фадеева->А.П. Ершов, 18.04.1968
с просьбой пригласить на симпозиум "Новые алгоритмические языки" перечисленных специалистов.
Письмо, В. А. Васильев->А.П. Ершов, 29.04.1968
Автор просит прислать официальное приглашение на имя директора ЛОМИ для оформления командировки в ВЦ СО АН на симпозиум "Новые алгоритмические языки".
Телеграмма, А.П. Ершов->С.Ю. Маслов, 07.02.1980
Просьба прислать представителя секции в Новосибирск для принятия окончательного решения по программе конференции. /Рукописный текст./
Телеграмма, А.П. Ершов->Н. А. Шанин, 09.07.1979
Уведомляет адресата, что приглашение на Ургенчский симпозиум послано на его домашний адрес.
Письмо, Н. Г. Болдырев->Оргкомитет, 05.01.1965
с сообщением об участии в семинаре по автоматизации программирования.
Телеграмма, А.П. Ершов->Ю. В. Матиясевич, 25.05.1981
Для оформления бумаг по Ургенчскому симпозиуму просьба сообщить домашний адрес. /Черновой рукописный и машинописный тексты./
Сопроводительное письмо к материалам, С. С. Лавров->И.В. Поттосин, 28.05.2000
к материалам к докладу на семинаре по логике в ПОМИ (бывш. ЛОМИ): С.С. Лавров. "Темные места в теории вычислимости"
Анкета, 01.01.1970
Письмо, 19.12.1964
с просьбой о дополнительных двух приглашениях на семинар.
Письмо, В. Н. Фаддеева->А.П. Ершов, 04.06.1968
Автора интересует мнение А.П. Ершова по кандидатурам, выдвигаемым на должность старшего научного сотрудника. Прилагается копия письма-обоснования на выделение ЛОМИ дополнительных штатных единиц.
Письмо, 09.12.1964
с перечислением состава участников семинара по автоматизации программирования.
Отзыв, 17.01.1975
на докторскую диссертацию Ю.Е. Боровского "О системе инвариантов, разделяющих неконгруентные алгебраические многообразия в алгебраическом пространстве Клейна".

1 2
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016