|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Святослав Сергеевич Лавров Телеграмма, С. С. Лавров->А.П. Ершов, 07.06.1967 Приглашение на заседание рабочей группы по промежуточным языкам.
Письмо, Г. И. Марчук->А.П. Ершов, 26.09.1973Официальное письмо Рабочей группы по проблеме "Математические и физические основы развития электронно-вычислительных машин и проблемы общения человека с ними". Предлагается изучить проблемный доклад и высказать свои замечания, кроме того, нужно заполнить проект программы исследований, высказав мнение о дополнительных темах и возможных исполнителях.
Письмо, Л. И. Гончарова->С. С. Лавров, 10.07.1969Благодарность за письмо в ответ на бандероли с материалами автора.Обсуждение разрабатываемых автором алгоритмов синтаксического анализа приоритетных контекстных грамматик
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 22.01.2001Переделанный раздел о самоприменимости алгоритмов
Письмо с приложением (рассылка), С. С. Лавров->Р. И. Подловченко, 27.01.2001Сопроводительное письмо к тезисам об использовании диагонального метода при анализе разрешимости массовых проблем и самоприменимости алгоритмов; в приложении - текст С.С. Лаврова "Об алгоритмической неразрешимости"
Письмо, С. С. Лавров->А. Т. Цветков, 29.08.1969Просьба включить сотрудника ВЦ АН СССР В.И. Филиппова в число титульных редакторов перевода книги Ж.Бертэна и др. "Работа ЭВМ с разделением времени"
Письмо с приложением, Копыстянский->С. С. Лавров, 24.09.1969Автор просит согласия С.С. Лаврова опубликовать сокращенный текст лекции, прочитанной Лавровым в Алуште, в сборнике "Пути совершенствования вычислительных центров на железнодорожном транспорте". Прилагается машинописный текст выступления С.С. Лаврова "Состояние и перспективы развития математического обеспечения"
Письмо, А.П. Ершов->С. С. Лавров, 24.09.1980Просьба посмотреть диссертацию И.Н. Скопина и сделать замечания по тексту.
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 16.02.2001Статья (распечатка), 15.04.1985(?) Программирование как вид деятельности и предмет обучения
Тезисы, 18.04.1985выступления на научно-практической конференции
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 18.01.2001Ответ на письмо от 16.02.2001. О публикации "теории програмирования", о предстоящей ершовской конференции в Новосибирске
Письмо, С. С. Лавров->А.П. Ершов, 07.06.1967Автор благодарит за экземпляр проекта по Алголу 67; передал свои замечания Пеку; просит прислать информацию о заседании РГ2.1 в Зандворте; подробности о заседании ТК2 в отчете. /Текст рукописный./
Договор, А. Т. Цветков->С. С. Лавров, 17.10.1969на титульное редактирование перевода с французского языка книги Ж. Бертэна и др. "Работа ЭВМ в режиме с разделением времени", выходящей в серии "Библиотека программиста"
Письмо, С. С. Лавров->В. А. Андрунакиевич, 19.11.1969Уточнение дат поездки в Кишинев по приглашению адресата
Приглашение, С. С. Лавров->А.П. Ершов, 07.06.1967на заседание Рабочей группы по промежуточным языкам.
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 06.03.2001ответ на письмо от 18.02.2001
Статья (машинописн.)Problem solving based on knowledge representation and program synthesis (Acta Cybernetica)
Статья (оттиск), 01.06.1985(?)Problem solving based on knowledge representation and program synthesis (Acta Cybernetica, Tom 7, Fasc. 4, Szeged, 1986)
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 16.03.2001Просьба заново переслать затерявшееся письмо
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
