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

  • Оповещение
    о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
  • Список
    участников симпозиума по теоретическому программированию (46 фамилий с краткой справочной информацией).
  • Анкета Я.М. Барздинь
    Я. М. Барздиня.
  • Рукописные страницы С.С. Лавров
    Автоматический синтез программ (черновики)
  • Список -> А.П. Ершов
    членов советской делегации (тема VII, Франция, 5 дней, 1985).
  • Статья Я.М. Барздинь
    Я.М. Барздиня, Я.Я. Бичевского, А.А. Калниньша "Automatic construction of complete sample system for program testing".
  • Реферат А.П. Ершов 28.12.1967
    на статью Я.М. Барздиня.
  • Карточка -> А.П. Ершов 14.04.1969
    с напоминанием о статье, присланной на рецензию.
  • Повестка С.Л. Соболев -> А.П. Ершов 22.02.1972
    заседаний Ученого совета ИМ СО АН СССР.
  • Повестка -> А.П. Ершов 26.04.1972
    заседания Президиума СО АН СССР на 26 апреля 1972 г.
  • Повестка С.Л. Соболев -> А.П. Ершов 08.02.1973
    заседаний Ученого совета ИМ СО АН СССР.
  • Аннотации статей 01.06.1973
    с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
  • Повестка Д.М. Смирнов -> А.П. Ершов 05.06.1975
    заседания Учёного совета ИМ СО АН СССР. /Приписка Андрея Петровича: "Очень выдающийся парень, 1952 года рождения". Это о В.В. Иванове, который защищался на этом заседании Учёного совета./
  • Письмо Я.М. Барздинь -> А.П. Ершов 26.03.1977
    На базе "Подмножества PL/I ОС ЕС" ВЦ Латвийского государственного университета разрабатывает диалоговую систему отладки программ с дисплеев ЕС-7906. Просьба присылать замечания по поводу выбранного подмножества.
  • Акт экспертизы 10.04.1977
    тезисов доклада М.И. Аугустона "ЛЕМ - система языковых средств для программирования обработки последовательных файлов".
  • Письмо Я.М. Барздинь -> А.П. Ершов 25.05.1977
    Сообщает, что получил приглашение на конференцию молодых ученых по системному программированию, но вряд ли сможет приехать. /Текст рукописный./
  • Письмо с приложением -> А.П. Ершов 27.06.1977
    Авторы просят опубликовать свою статью в журнале "Transactions on Software Engineering". Рассказывают, что уже обратились в редакцию, а там посоветовали направить статью А.П. Ершову. /Приложена копия письма из радакции./
  • Письмо Я.М. Барздинь -> А.П. Ершов 27.06.1977
    Просит помочь своим сотрудникам опубликовать их статью в журнале.
  • Письмо Я.М. Барздинь -> А.П. Ершов 25.07.1977
    Обращается с просьбой прочесть на Конгрессе ИФИП вместо себя доклад "Automatic construction of complete sample system for program testing", так как выяснилось, что на Конгресс он не поедет. /Текст рукописный./
  • Рукопись выступления Я.М. Барздинь 08.08.1977
    с изложением доклада Барздиня.
  • Письмо Я.М. Барздинь -> А.П. Ершов 07.09.1978
    Благодарит за книгу "Введение в теоретическое программирование", сообщает о желании подарить свои книги по ПЛ/I и ОС ЕС. /Текст рукописный./
  • Письмо Я.М. Барздинь -> А.П. Ершов 27.11.1978
    Благодарит за приглашение на симпозиум; согласен принять в нем участие; предлагает тему своего выступления. /Текст рукописный./
  • Письмо М. Миякава -> А.П. Ершов 23.03.1979
    В дополнение к письму от 15 марта автор уточняет свои планы.
  • Тезисы Я.М. Барздинь 05.06.1979
    выступления Я.М. Барздиня.
  • Тезисы Я.М. Барздинь 17.09.1979
    докладов Барздиня, Кнута, Семенова, Сираджинова и Успенского.
  • Сопроводительное письмо В.А. Матулис -> А.П. Ершов 19.10.1979
    к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
  • Письмо В.А. Матулис -> А.П. Ершов 24.10.1979
    В письме приводится список организационного комитета конференции и обозначаются функции А.П. Ершова в оргкомитете - ответственный за составление программы конференции.
  • Сопроводительное письмо Я.М. Барздинь -> А.П. Ершов 11.12.1979
    к научным статьям. /Текст рукописный./
  • Список В.А. Матулис 18.01.1980
    членов Программного комитета конференции.
  • Письмо Ю. Хартманис -> А.П. Ершов 22.02.1980
    Подтверждает заинтересованность издательства "Springer-Verlag" в публикации трудов Ургенчского симпозиума.
  • Письмо Я.М. Барздинь -> А.П. Ершов 25.02.1980
    Посылает заметку своего сотрудника Е.Б. Кинбера "On inclusion problem for deterministic multitape automata" и просит рекомендовать ее для публикации в IPL.
  • Распоряжение -> А.П. Ершов 28.02.1980
    по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
  • Статья Я.М. Барздинь 22.04.1980
    "Об индуктивном синтезе программ".
  • Список -> А.П. Ершов 29.05.1980
    членов программного комитета конференции.
  • План В.А. Матулис 03.09.1980
    размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
  • Фототелеграмма Я.М. Барздинь -> А.П. Ершов 24.04.1981
    с поздравлениями от Яна Барздиня. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
  • Приказ В.П. Елютин 09.07.1981
    "О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
  • Письмо Я.М. Барздинь -> А.П. Ершов 10.07.1981
    Автор надеется, что Андрей Петрович сможет приехать на конференцию "Синтез, тестирование, верификация и отладка программ". Посылает ему материалы по этой конференции.
  • Статья Я.М. Барздинь 10.07.1981
    "Всесоюзное совещание" из газеты "Удмурдская правда" за 10 июля 1981 г.
  • Информация А.П. Ершов 15.07.1981
    которую надо обсудить в телефонном разговоре с Д.Н. Тодороем по поводу симпозиума по системному и теоретическому программированию в Кишиневе в 1982 г. /Текст рукописный./
  • Письмо А.П. Ершов -> Х. Земанек 12.01.1982
    В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
  • Ответ Я.М. Барздинь 02.06.1982
    Я.М. Барздиня.
  • Письмо В.А. Мясников 07.12.1982
    "О проведении всесоюзной конференции "Р-технологии программирования" (июль 1983 года; Киев).
  • Письмо Я.М. Барздинь -> А.П. Ершов 13.02.1984
    Автор выражает удовлетворение в связи с согласием адресата принять участие в цикле лекций; готов скорректировать программу.
  • Телеграмма Я.М. Барздинь -> А.П. Ершов 03.01.1985
    Сердечные поздравления адресату по случаю его избрания в действительные члены АН СССР от математиков и программистов ВЦ Латвийского ГУ.

Страницы

Назад