Документы, связанные с Виктор Карлович Сабельфельд

  • Письмо А.П. Ершов -> Ф. Бауэр 21.04.1979
    Автор с сожалением сообщает, что время проведения симпозиума в Ургенче изменить невозможно; надеется, что сможет приехать кто-нибудь из сотрудников адресата. Далее - о приглашении профессора К. Замельзона и о научных проблемах, требующих обсуждения. В конце - поздравляет адресата с рождением дочери.
  • Письмо А.П. Ершов -> И.В. Сергиенко 04.05.1979
    о защите В.К. Сабельфельда.
  • Письмо А.П. Ершов -> Ю.И. Янов 04.05.1979
    Просьба согласиться оппонировать работу В.К.Сабельфельда.
  • Письмо А.П. Ершов -> М. Миякава 18.07.1979
    В преддверии его приезда в СССР обсуждается совместная работа; просьба привезти лампы для overhead projector; поздравление по случаю рождения второй дочки.
  • Письмо М. Миякава -> А.П. Ершов 28.07.1979
    Подтверждает прибытие в Новосибирск.
  • Письмо А.П. Ершов -> Г.И. Марчук 04.09.1979
    Просьба откомандировать пять сотрудников ВЦ СО АН СССР в Ургенч на симпозиум сроком на 10 дней. Командировку оплатить из фонда дирекции.
  • Письмо А.П. Ершов -> Г.И. Марчук 04.09.1979
    Просьба дать указание о командировании перечисленных сотрудников ВЦ в Ургенч сроком на 10 дней с 14 сентября с.г. для обеспечения работы симпозиума, связанной с участием иностранных учёных.
  • Фотография 21.09.1979
    Прием в АН Узбекской ССР. Слева направо - Н.Н. Непейвода, Э. Шпекер, В.К. Сабельфельд.
  • Письмо В.К. Сабельфельд -> А.П. Ершов 02.11.1979
    Просит опубликовать в IPL свою статью "The logic-termal equivalence is polynomial-time decidable". Разрешение на отправку статьи за границу получено. /Текст рукописный./
  • Статья В.К. Сабельфельд 02.11.1979
    "The logic-termal equivalence is polynomial-time decidable".
  • Обложка А.П. Ершов 02.11.1979
    с хронологией работы над статьей.
  • Почтовая карточка Я. Мёйр -> А.П. Ершов 27.11.1979
    Подтверждение получения статьи в IPL.
  • Рецензия В.К. Сабельфельд -> А.П. Ершов 04.01.1980
    (на двух бланках) В.К. Сабельфельда на доклад Г. Фишера и Г. Швиллуса (Свиллуша?).
  • Варианты словника В.К. Сабельфельд 10.01.1980
    предложенные сотрудниками отдела А.П. Ершова.
  • Отзыв А.П. Ершов 17.01.1980
    руководителя о диссертации В.К. Сабельфельда "Эквивалентные преобразования и оптимизация программ".
  • Рецензия В.К. Сабельфельд -> А.П. Ершов 01.02.1980
    В.К. Сабельфельда на доклад Р. Штейнбрюггена.
  • Письмо А.П. Ершов -> Д. Маккарти 05.05.1980
    Ответ на письмо от 7 января - удивлен ситуацией с задержкой посылки на американской таможне. Может только догадываться о причинах. Просит адресата, если можно, повторно выслать посылку, оставив в ней только печатные работы. Рассказывает о текущих научных делах и о своих размышлениях.
  • Служебная записка А.А. Берс -> А.П. Ершов 21.05.1980
    Сообщает информацию по поводу дипломника А.М. Еремеева.
  • Представление А.П. Ершов -> В.А. Коптюг 23.05.1980
    Кафедра вычислительной математики представляет к зачислению в штат на должность ассистента В.К. Сабельфельда.
  • Программа А.П. Ершов 13.06.1980
    предварительная приема научного сотрудника Математического института БАН к.ф.-м.н. А.О. Буды. Продолжительность командировки - 7 дней.
  • Выписка В.К. Сабельфельд 29.09.1980
    из протокола заседания кафедры вычислительной математики, на котором рассматривался вопрос о ходе диссертационной работы аспирантов И.А. Ломазовой, А.Л. Семенова и Б.Н. Островского.
  • Протоколы 10.10.1980
    заседаний кафедры вычислительной математики (программисты). В один из протоколов включено выступление В.А. Вальковского о работах сотрудников кафедры вычислительной математики за 1980-й год по теме "Проблемы параллельного программирования".
  • Тезисы А.П. Ершов 10.12.1980
    возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
  • Письмо А.П. Ершов -> Ю.И. Янов 26.12.1980
    Излагает свои замечания к интересной статье адресата в журнале "Проблемы кибернетики", № 37. Просит прислать несколько оттисков.
  • Рецензия В.К. Сабельфельд 21.01.1981
    На статью С.Л. Кривого "Об одном алгоритме поиска инвариантных соотношений в программах".
  • Письмо А.О. Буда -> А.П. Ершов 23.01.1981
    Посылает книгу Стругацких, рассказывает о своей работе и интересуется, включена ли книга Бэкхауза в план издательства. /Текст рукописный./
  • Выписка из протокола В.К. Сабельфельд 13.03.1981
    о назначении научных руководителей студентам 3-го курса матфака, специализирующимся на кафедре.
  • Рабочая записка В.К. Сабельфельд 15.03.1981
    Расписан почасовой фонд и даны предложения кафедры по плану на 1981-1982 уч. год.
  • Адрес В.К. Сабельфельд -> А.П. Ершов 18.04.1981
    от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
  • Обложка А.П. Ершов 13.05.1981
    с хронологией работы над статьей.
  • Статья В.К. Сабельфельд 13.05.1981
    "The tree equivalence of linear recursive schemata is polinomial-time decidable".
  • Письмо А.П. Ершов -> Б. Розен 14.05.1981
    Просит адресата прорецензировать статью В.К. Сабельфельда "The tree equivalence of linear recursive schemata in polynomial-time decidable". Посылает свою статью, по которой планирует прочитать доклад на конференции MFCS'81. Просит дать ссылки на современные работы по этой тематике. /Рукописный и машинописный варианты./
  • Фотография 21.05.1981
    Участники 6-го заседания КОСМО в Новосибирске: слева направо второй - Сабельфельд В.К., пятая - Плотникова Г.А., шестой - Эфрос Л.Б.
  • Письмо Б. Розен -> А.П. Ершов 01.06.1981
    В ответ на письмо от 14 мая сообщает, что не сможет быть рецензентом статьи В.К. Сабельфельда, так как сфера его интересов лежит в другой области. Рекомендует обратиться к профессору Дж. Гальеру, которому он уже переслал статью. Если тот откажется, рекомендует еще двоих специалистов.
  • Письмо с приложением Д. Гальер -> А.П. Ершов 01.07.1981
    Посылает свой отчет по статье В.К. Сабельфельда. Считает, что статья не может быть опубликована без серьезной доработки. Приложены подробные замечания.
  • Расписка В.К. Сабельфельд 19.10.1981
    в получении в СО АН СССР разрешения на вывоз статьи за границу.
  • Статья В.К. Сабельфельд 20.10.1981
    Переработанный вариант статьи "The tree equivalence of linear recursive schemata is polinomial-time decidable".
  • Регистрационная карточка А.П. Ершов 22.10.1981
    на статью "The tree equivalence of linear recursive schemata is polinomial-time decidable".
  • Почтовая карточка -> А.П. Ершов 29.10.1981
    Редакция потверждает получение двух статей - Р. Фрейвалдса и В.К. Сабельфельда.
  • Отчет А.П. Ершов 16.11.1981
    по научному сотрудничеству по теме 1.1./2/. "Математическая логика" за 1981 год и о планах на 1982 год.
  • Извещение -> А.П. Ершов 20.11.1981
    о заседании Ученого совета ВЦ СО АН СССР.
  • Заключение В.К. Сабельфельд 15.02.1982
    кафедры вычислитльной математики НГУ о диссертации А.Л. Семенова "Анализ, выбор и реализация алгоритмов аналитических преобразований на ЭВМ".
  • Постановление В.А. Коптюг -> А.П. Ершов 16.02.1982
    о проведении всесоюзного семинара "Оптимизация и преобразование программ" в Новосибирске 4-6 мая 1982 г.
  • Стенограмма 06.04.1982
    заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений". /Текст черновой./
  • Стенограмма 26.04.1982
    Окончательный вариант стенограммы заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений".

Страницы

Назад