Архив академика А.П.Ершова

Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах"

Сообщает, что к письму приложен предварительный вариант статьи; замечания Д. Кнута приняты к сведению.

с предложением, где остановиться на ночь с воскресенья на понедельник.

Автор сообщает о полученных им интересных результатах в теории трансформационного программирования. Предлагает выступить с сообщением в Мюнхене, объединив этот визит с заседанием ИФИП/ТК2, но при условии, что будет оказана финансовая поддержка. (Рукописный и машинописный варианты).

Посылает свой перевод "ALGOL-Report 60"; рассказывает о проделанной работе; добавлении спец. словаря выражений метаязыка на четырех языках (английский, французский, немецкий, русский), надеется, что он окажется нужными для работы адресата. /Прилагается перевод этого письма, выполненный Б.А. Загацким и Н.В. Шкутом, с немецкого языка на русский./

Рассказывает о своей беседе с академиком А.А. Дородницыным по поводу работы адресата в редакции журнала "Acta Informatica".

Объясняет причины долгого ответа на письмо адресата. Охотно поддерживает предложение об установлении более тесного и регулярного взаимодействия между исследователскими группами в области информатики. /Дан перевод письма на немецкий язык, выполненный В.К.Сабельфельдом./

Автор соглашается с анализом А.П. Ершова ситуации, касающейся перевода книги Бауэра и Вёсснера и поддерживает идею перевода третьей редакции "Информатики". Рассказывает о предложении Мюнхенского информатик-клуба оплачивать взносы А.П. Ершова как члена АСМ в течение пяти лет, что подчеркнет, по мнению автора, тесную связь между Мюнхеном и Новосибирском.

Официальное приглашение от директоров Института информатики посетить Институт в 1975 году. Просят приурочить поездку к дате проведения международной летней школы по языковым структурам и иерархиям и выступить там с лекциями. Сообщают о финансовом обеспечении поездки и надеются на усиление научных контактов. /Приложен перевод письма на русский язык./

Автор предлагает продолжить научное сотрудничество путем увеличения количества взаимных визитов. /Дан перевод письма на русский язык./

Запись беседы с Ф. Бауэром.

авторов книги Ф. Бауэра и Г. Гооcа "Информатика" в переводе А.П. Ершова.

Ф.Л.Бауэра "A Trend for the Next 10 Years of Software Engineering".

с приглашением войти в состав Программного комитета Четвертой международной конференции по технологии программирования и с изложением обязанностей его членов.

Приглашает Ершова в июне 1982, письмо следует.

Соообщает, что все приготовления к празднованию 25-летия ИФИП закончены, представляет детальную информацию о симпозиуме, заостряет внимание на ряде скучных технических деталей, приглашает вместе с супругой на все общественные мероприятия, связанные с симпозиумом, и на обед в день симпозиума, где будет небольшая группа почетных гостей. Приложена форма для заказа гостиницы.

	Документы, связанные с Фридрих Л. Бауэр Доклады иностранных участников, международная дискуссия Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах" Письмо, Ф. Л. Бауэр->А.П. Ершов, 23.11.1979 Сообщает, что к письму приложен предварительный вариант статьи; замечания Д. Кнута приняты к сведению. Телеграмма, Ф. Л. Бауэр->А.П. Ершов, 11.04.1986 с предложением, где остановиться на ночь с воскресенья на понедельник. Письмо, А.П. Ершов->Ф. Л. Бауэр, 19.01.1982 Автор сообщает о полученных им интересных результатах в теории трансформационного программирования. Предлагает выступить с сообщением в Мюнхене, объединив этот визит с заседанием ИФИП/ТК2, но при условии, что будет оказана финансовая поддержка. (Рукописный и машинописный варианты). Письмо, В. Кеммерер->А.П. Ершов, 22.03.1961 Посылает свой перевод "ALGOL-Report 60"; рассказывает о проделанной работе; добавлении спец. словаря выражений метаязыка на четырех языках (английский, французский, немецкий, русский), надеется, что он окажется нужными для работы адресата. /Прилагается перевод этого письма, выполненный Б.А. Загацким и Н.В. Шкутом, с немецкого языка на русский./ Письмо, Ф. Л. Бауэр->А.П. Ершов, 28.10.1970 Рассказывает о своей беседе с академиком А.А. Дородницыным по поводу работы адресата в редакции журнала "Acta Informatica". Письмо, Г. И. Марчук->Ф. Л. Бауэр, 12.01.1978 Объясняет причины долгого ответа на письмо адресата. Охотно поддерживает предложение об установлении более тесного и регулярного взаимодействия между исследователскими группами в области информатики. /Дан перевод письма на немецкий язык, выполненный В.К.Сабельфельдом./ Письмо, Ф. Л. Бауэр->А.П. Ершов, 05.09.1986 Автор соглашается с анализом А.П. Ершова ситуации, касающейся перевода книги Бауэра и Вёсснера и поддерживает идею перевода третьей редакции "Информатики". Рассказывает о предложении Мюнхенского информатик-клуба оплачивать взносы А.П. Ершова как члена АСМ в течение пяти лет, что подчеркнет, по мнению автора, тесную связь между Мюнхеном и Новосибирском. Письмо, К. Замельзон->А.П. Ершов..., 28.01.1975 Официальное приглашение от директоров Института информатики посетить Институт в 1975 году. Просят приурочить поездку к дате проведения международной летней школы по языковым структурам и иерархиям и выступить там с лекциями. Сообщают о финансовом обеспечении поездки и надеются на усиление научных контактов. /Приложен перевод письма на русский язык./ Письмо, Ф. Л. Бауэр->Г. И. Марчук, 02.07.1979 Автор предлагает продолжить научное сотрудничество путем увеличения количества взаимных визитов. /Дан перевод письма на русский язык./ Рабочие записи, 08.08.1975 Запись беседы с Ф. Бауэром. Предисловие, 08.04.1976 авторов книги Ф. Бауэра и Г. Гооcа "Информатика" в переводе А.П. Ершова. Статья, 10.06.1982 Ф.Л.Бауэра "A Trend for the Next 10 Years of Software Engineering". Письмо, М. М. Леман->А.П. Ершов, 28.06.1978 с приглашением войти в состав Программного комитета Четвертой международной конференции по технологии программирования и с изложением обязанностей его членов. Телеграмма, Ф. Л. Бауэр->А.П. Ершов, 15.02.1982 Приглашает Ершова в июне 1982, письмо следует. Письмо с приложением, Ф. Л. Бауэр->А.П. Ершов, 27.12.1984 Соообщает, что все приготовления к празднованию 25-летия ИФИП закончены, представляет детальную информацию о симпозиуме, заостряет внимание на ряде скучных технических деталей, приглашает вместе с супругой на все общественные мероприятия, связанные с симпозиумом, и на обед в день симпозиума, где будет небольшая группа почетных гостей. Приложена форма для заказа гостиницы. Письмо, А.П. Ершов->Ф. Л. Бауэр, 31.03.1986 о предстоящей поездке в Мюнхен. "Сообщение об Алголе 60", 01.03.1960(?) в переводе на русский язык Г.И. Кожухина. /Текст машинописный./ Телеграмма, А.П. Ершов->Ф. Л. Бауэр, 10.03.1970 Просьба подтвердить приглашение А.Ф. Рара. Телеграмма, А.П. Ершов->Ф. Л. Бауэр, 07.02.1984 Просьба подтвердить членство А.П. Ершова в ACM. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 По порядку \| По алфавиту \| По дате Назад
	Switch to English \| Поиск \| Расширенный поиск \| Папки \| Темы