Документы, связанные с Виталий Алексеевич Тузов

"Проблемы разрешения для граф-схем с перестановочными операторами" В.А. Тузов
Заседание К В.А. Тузов

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

Убедительно и аргументированно автор просит включить отклоненные доклады В.А. Тузова "О преобразовании операторных граф-схем" и В.В. Чернюгова "Алгоритмический метаязык АЛМЕТ" в программу ВКП-1 в Киеве. /Текст рукописный./
Письмо А.П. Ершов -> И.В. Клокачев 27.08.1968

с подробным изложением причин отклонения программным комитетом их докладов, заявленных на ВКП-1.
Письмо Е.Л. Ющенко -> А.П. Ершов 09.09.1968

Автор не менее адресата огорчен переносом конференции. Объясняет причины случившегося. Касается организационных вопросов, связанных с публикацией Трудов. Считает, что вопрос о дополнительном заседании 15 ноября требует уточнения, так как это связано с гостиницей.
Письмо И.В. Клокачев -> А.П. Ершов 10.09.1968

Ссылаясь на предварительную договоренность, автор просит согласия адресата заслушать В.А. Тузова на семинаре отдела информатики ВЦ СО АН СССР, который расскажет о своей диссертационной работе. /Текст рукописный./
Телеграмма А.П. Ершов -> И.В. Клокачев 11.09.1968

"Доклад Тузова включен в программу и будет опубликован".
Телеграмма В.А. Тузов -> А.П. Ершов 23.09.1968

Сообщение о согласии.
Отзыв А.П. Ершов 14.10.1968

научного семинара ВЦ СО АН СССР о кандидатской диссертации В.А. Тузова "Преобразование операторных граф-схем".
Письмо В.А. Тузов -> А.П. Ершов 18.03.1969

Автор пишет о последних научных результатах и просит откровенно высказать свое мнение по этому поводу. Кроме того, он просит адресата написать отзыв на свою диссертацию.
Телеграмма В.А. Тузов -> А.П. Ершов 02.07.1969

о переносе защиты на осень.
Телеграмма В.А. Тузов -> А.П. Ершов 29.08.1969

Просьба сообщить о возможности присутствовать на защите.
Письмо З.И. Боревич -> А.П. Ершов 09.09.1969

Сообщение об утверждении адресата официальным оппонентом по защите диссертации В.А. Тузова.
Отзыв А.П. Ершов 25.09.1969

о кандидатской диссертации В.А. Тузова "Преобразвание операторных граф-схем".
Письмо В.А. Тузов -> А.П. Ершов 03.10.1969

Просьба сообщить дату приезда в Ленинград, чтобы забронировать гостиницу. /Текст рукописный./
Акт экспертизы В.А. Тузов 16.10.1969

на доклад "Проблемы разрешения для граф-схем с перестановочными операторами".
Письмо В.А. Тузов -> А.П. Ершов 22.10.1969

о финансовых вопросах.
Анкета 01.01.1970
Письмо с приложением В.А. Тузов -> А.П. Ершов 02.03.1970

Просьба сообщить свое мнение о статье "Граф-схемы с перестановочными операторами". Оглавление прилагается.
Письмо В.А. Тузов -> А.П. Ершов 24.03.1970

Обсуждение проблем, связанных со статьей.
Письмо А.П. Ершов -> Е. Блум 13.05.1970

Предлагает напечатать перевод на английский язык статьи В.А. Тузова.
Письмо Е. Блум -> А.П. Ершов 26.05.1970

В ответ на письмо от 13 мая сообщает, что в качестве редактора будет рад опубликовать статью Б.А. Тузова по абстрактному программированию. Просит подготовить перевод статьи на английский язык и связаться с ним.
Телеграмма В.А. Тузов -> А.П. Ершов 25.01.1971

Поздравления в связи с избранием в члены-корреспонденты АН СССР.
Письмо В.А. Тузов -> А.П. Ершов 07.07.1971

Автор рассказывает о том, какой симпозиум предлагает провести его лаборатория и спрашивает, не согласится ли Андрей Петрович быть научным руководителем этого симпозиума.
Телеграмма В.А. Тузов -> А.П. Ершов 02.11.1971

Информация о прибытии.
Письмо И.В. Клокачев -> А.П. Ершов 11.11.1971

Автор благодарит адресата за согласие быть председателем программного комитета симпозиума. Обсуждается ряд организационных вопросов. /Текст рукописный./
Письмо И.В. Клокачев -> А.П. Ершов 09.12.1971

Обсуждение вопросов, связанных с рассылкой приглашений на симпозиум по теоретическому программированию. /Текст рукописный./
Письмо И.В. Клокачев -> А.П. Ершов 14.12.1971

Некоторые организационные вопросы, связанные с предстоящим симпозиумом по теории программирования. /Текст рукописный./
Тезисы В.А. Тузов 29.01.1972

доклада В.А. Тузова "Об оптимальных схемах алгоритмов".
Письмо И.В. Клокачев -> А.П. Ершов 07.02.1972

Обсуждение списка участников и даты проведения симпозиума.
Письмо С.С. Лавров -> Л.Д. Фаддеев 19.01.1978

Просьба представить статью В.А. Тузова "Об одном способе описания языков программирования" для публикации в "Докладах Академии наук"
Письмо В.А. Тузов -> А.П. Ершов 30.03.1978

Выражает готовность приехать в любое время и выступить на семинаре с докладом "Об одном способе описания языков программирования".