Документы, связанные с Владислав Марек Турский
-
Препринт В.М. Турский
10.08.1982
со статьей В.Турского "Design of Large Programs".
-
Записка А.П. Ершов -> Ф. Бауэр
23.08.1982
Сообщает свой членский номер в "Эй-Си-Эм", о своем разговоре с В. Турским, о семейных делах.
-
Письмо А.П. Ершов -> Г.И. Попова
23.08.1982
В ответ на письмо от 16.06.1982 сообщает информацию о публикации В. Турского. /Текст рукописный./
-
Отчет о командировке А.П. Ершов -> А.П. Ершов
01.10.1982
-
Меморандум В.М. Турский -> А. Перлис
01.11.1982
Предложение по содержанию журнала "Acta Informatica", правам и обязанностям главного редактора, процедуре прохождения рукописей.
-
Письмо В.М. Турский -> М. Брой
23.11.1982
Обсуждение реорганизации работы редколлегии журнала "Acta Informatica".
-
Письмо А.П. Ершов -> М. Брой
01.12.1982
Ответ на меморандум В. Турского от 01.11.1982.
-
Письмо Э. Дейкстра -> М. Брой
01.12.1982
Обсуждение предложений, изложенных в меморандуме В. Турского от 01.11.1982.
-
Письмо А.П. Ершов -> Ф. Бауэр
03.12.1982
о заметке В. Турского и поднятых в ней проблемах; о правилах прохождения статей для публикации в журнале "Acta Informatica". /Текст рукописный./
-
Отчет В.М. Турский -> А.П. Ершов
08.03.1983
М.М.Лемана, В.Стенинга и В.М.Турского "Another Look at Software Design Methotodology (Preliminary Version)". Предпослано сопроводительное письмо В.Турского, в котором он просит прокомментировать его содержание и проследить за распространением.
-
Препринт А.П. Ершов
10.07.1983
"Комплексное развитие системного программного обеспечения - постановка проблемы". /Текст машинописный./
-
Рукопись А.П. Ершов
25.08.1983
"Комплексное развитие системного программного обеспечения - постановка проблемы".
-
Письмо В.М. Турский -> А.П. Ершов
12.04.1984
Автор прочитал препринт № 469, который ему понравился. Вызывает сомнение раздел о речевом общении с ЭВМ. Он спрашивает о дальнейшей судьбе текста адресата, предлагает свои варианты по его переводу и публикации. Тепло поздравляет с получением премии им. Крылова.
-
Письмо Э. Фредриксон -> А.П. Ершов
21.08.1984
Автор рассказывает, что во время визита к В. Турскому увидел работу А.П. Ершова "Integrated Developments of Software - Problem Formulation" на русском языке. Предлагает напечатать ее в журнале FGSC в укороченном виде, в рамках формата журнала на английском языке. В. Турский предлагает свою помощь.
-
Письмо Р. Курки-Суонио -> А.П. Ершов
12.09.1985
Автор пишет, что получил письмо, которое является звеном в цепочке, начатой в Японии. Цель - дать возможность ученым выразить свою поддержку прекращению гонки вооружений и началу ядерного разоружения. Просьба написать аналогичное письмо десяти другим ученым, а копию письма отправить японскому ученому Т. Ито. /На обороте рукой Андрея Петровича написано десять фамилий людей, которым он намеревался написать такое письмо./
-
Письмо В.М. Турский -> А.П. Ершов
11.10.1985
Автор посылает для просмотра адресатом текст своего доклада, сделанного на Съезде Польского математического общества. Он еще раз благодарит за школьную программу.
-
Бюллетень
01.11.1985
Польского вычислительного общества, № 11, 1985 г.
-
Бюллетень
01.12.1985
Польского вычислительного общества, № 12, 1985 г.
-
Письмо В.М. Турский -> А.П. Ершов
15.01.1986
Автор сообщает, что посылает адресату два последних выпуска своего "Бюллетеня". Кратко характеризует содержание каждого. /Текст рукописный./
-
Письмо В.М. Турский -> А.П. Ершов
08.02.1986
очень личное. Автор искренне надеется, что адресат успешно прошел январский осмотр, что кошмар кончился и он может вернуться к нормальной работе. Сообщает о смерти своего отца. С сожалением признает, что инициатива введения информатики в школу терпит неудачу, объясняет причины. /Текст рукописный./
-
Письмо В.М. Турский -> А.П. Ершов
31.01.1987
Автор радуется улучшению здоровья Андрея Петровича, рассказывает о событиях и делах.
-
Двухмесячные списки В.М. Турский
30.06.1987
редакторов IPL за март-апрель 1987 г.
-
Сопроводительное письмо -> А.П. Ершов
15.10.1987
к копии книги Турского & Мэйбаум "Спецификация компьютерных программ" (в отдельном письме).
-
Письмо с приложением Х. Гербранди -> А.П. Ершов
11.11.1987
Посылает двухмесячные списки редакторов и письма-ответы на письмо профессора В. Турского от 9 сентября. Эти письма приложены.
-
Двухмесячные списки В.М. Турский
11.11.1987
редакторов IPL за июль-август и сентябрь-октябрь 1987 г.
-
Статья В.М. Турский
26.11.1987
В Турского "Specification as a Theory with Models in the Computer World and in the Real World".
-
Накладные -> А.П. Ершов
10.12.1987
на получение литературы.
-
Сопроводительное письмо Х. Гербранди -> А.П. Ершов
22.12.1987
к служебным спискам, рассылаемым редакцией. Автор также сообщает о расписании выходов следующих номеров журнала и поздравляет всех с Рождеством и Новым годом.
-
Двухмесячные списки В.М. Турский
22.12.1987
редакторов IPL за сентябрь-октябрь и ноябрь-декабрь 1987 г.
-
Список В.М. Турский
11.01.1988
Двухмесячный список редактора В. Турского.
Страницы
- « первая
- ‹ предыдущая
- 1
- 2
- 3
- 4