|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Николай Андреевич Криницкий Тезисы возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.
ДокладВНТК для разработки предложений по дальнейшему развитию работ в области машинного перевода иностранных текстов.
Списокучастников симпозиума по теоретическому программированию (46 фамилий с краткой справочной информацией).
Статья"Математическое обеспечение".
Извещение, Б.М. Щедрин->А.П. Ершов, 13.11.1959о включении доклада в повестку дня всесоюзного совещания по вычислительной математике и вычислительной технике и о регламенте выступлений.
Письмо, Н. А. Криницкий->А.П. Ершов, 14.03.1960Просьба просмотреть вводный параграф будущего справочника и сделать дополнения.
Письмо, А.П. Ершов->Н. А. Криницкий, 11.11.1963Благодарит за книгу и рассказывает о том, что начал читать в НГУ спецкурс "Алгебра программирования". В связи с этим будет рад получить какие-то советы и рекомендации.
Телеграмма, Е.И. Яковлев->А.П. Ершов, 06.01.1966Очередной семинар запланирован на 18 января, доклад А.П. Ершова должен быть согласован.
Сообщение, Е.И. Яковлев->А.П. Ершов, 16.01.1967об очередном заседании семинара по системам математического обеспечения ЭВМ.
Оповещение, Е.И. Яковлев->А.П. Ершов, 05.02.1967об очередном семинаре по системам математического обеспечения ЭВМ.
Письмо, Н. А. Криницкий->А.П. Ершов, 05.05.1968Автор благодарит за приглашение участвовать в симпозиуме "Новые алгоритмические языки" и предлагает включить в список участников сотрудника ГВЦ Госплана В.И. Собельмана.
Телеграмма, А.П. Ершов->Н. А. Криницкий, 14.05.1968Дата отправки приглашения В.И. Собельману.
Анкета, 01.01.1970Письмо, И. В. Клокачев->А.П. Ершов, 07.02.1972 Обсуждение списка участников и даты проведения симпозиума.
Постановление, 22.03.1972-29.03.1972об организации Временной научно-технической комиссии для разработки предложений по унификации используемых в Советском Союзе языков программирования.
Решение, 26.06.1972-01.07.1972Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.
Телеграмма, А.П. Ершов->В. М. Курочкин, 01.08.1972по адресам: В.М. Курочкина, Г.С. Поспелова, Р.И. Подловченко, Я.М. Барздиня, Н.А. Криницкого, А.А. Летичевского, В.Н. Редько, В.А. Тузова, А.Л. Фуксмана, Г.С. Цейтина и Ю.Г. Шукуряна - просьба телеграфировать дату прибытия в Новосибирск и номер рейса.
Статья, 07.08.1972-11.08.1972"Теория ЭВМ и программирования как интерпретация теории алгоритмов", заявленная на симпозиум.
Отзыв, 01.11.1974научного руководителя о работе В.Э. Иткина "Логико-термальная эквивалентность схем программ", представленной на соискание ученой степени кандидата физико-математических наук.
Письмо, А.П. Ершов->Н. А. Криницкий, 11.12.1974Поздравления по случаю 60-летия от имени участников Третьего всесоюзного симпозиума по системному и теоретическому программированию из Кишинева.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
