Документы, связанные с Ян Мартынович Барздинь

Акт экспертизы, 10.04.1977
тезисов доклада М.И. Аугустона "ЛЕМ - система языковых средств для программирования обработки последовательных файлов".
Анкета
Я. М. Барздиня.
Аннотации статей, 01.06.1973(?)
с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
Брошюра, 29.12.1987
Стродс Ю.Ф. "Методы распознавания синтаксической некорректности контекстно свободных языков". Автореферат на соискание ученой степени кандидата физико-математических наук.
Записка, 01.09.1987
со списком дел для памяти.
Информация, 15.07.1981(?)
которую надо обсудить в телефонном разговоре с Д.Н. Тодороем по поводу симпозиума по системному и теоретическому программированию в Кишиневе в 1982 г. /Текст рукописный./
Карточка, 14.04.1969
с напоминанием о статье, присланной на рецензию.
Оповещение
о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
Ответ, 02.06.1982
Я.М. Барздиня.
Отзыв, 09.10.1985
официального оппонента о диссертации Л.Л. Максимовой "Разрешимые свойства суперинтуиционистских и модальных логик".
Отзыв, 26.10.1987
на доклад Х. Фуджиты и К. Фурукавы "A self-applicable partial evaluation and its use in incremental compilation".
Письмо, А.П. Ершов->Х. Земанек, 12.01.1982
В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
Письмо, А.П. Ершов->Г.Я. Барздинь, 05.05.1986
Предлагает включить работу адресата в свой обзорный доклад по применению смешанных вычислений в трансляции на ноябрьской конференции. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Я. М. Барздинь, 01.02.1984
Договаривается о возможности приехать на апрельские чтения, совместив их с совещанием в Минске. /Текст рукописный./
Письмо, Я. М. Барздинь->А.П. Ершов, 25.02.1980(?)
Посылает заметку своего сотрудника Е.Б. Кинбера "On inclusion problem for deterministic multitape automata" и просит рекомендовать ее для публикации в IPL.
Письмо, Я. М. Барздинь->А.П. Ершов, 30.05.1986
Автор сообщает подробную информацию о заседании программного комитета конференции.
Письмо, Я. М. Барздинь->А.П. Ершов, 10.07.1981
Автор надеется, что Андрей Петрович сможет приехать на конференцию "Синтез, тестирование, верификация и отладка программ". Посылает ему материалы по этой конференции.
Письмо, В. А. Матулис->А.П. Ершов, 24.10.1979
В письме приводится список организационного комитета конференции и обозначаются функции А.П. Ершова в оргкомитете - ответственный за составление программы конференции.
Письмо, А.П. Ершов->Я. М. Барздинь, 01.02.1984
с ответом на приглашение выступить с лекцией; более конкретную информацию обещает сообщить в конце февраля.
Письмо, Я. М. Барздинь->А.П. Ершов, 13.02.1984
Автор выражает удовлетворение в связи с согласием адресата принять участие в цикле лекций; готов скорректировать программу.

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


Назад

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