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

"Проблемы разрешения для граф-схем с перестановочными операторами"
Акт экспертизы, 16.10.1969
на доклад "Проблемы разрешения для граф-схем с перестановочными операторами".
Анкета, 01.01.1970
Заседание К
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
Отзыв, 14.10.1968(?)
научного семинара ВЦ СО АН СССР о кандидатской диссертации В.А. Тузова "Преобразование операторных граф-схем".
Отзыв, 25.09.1969
о кандидатской диссертации В.А. Тузова "Преобразвание операторных граф-схем".
Письмо, И. В. Клокачев->А.П. Ершов, 07.02.1972
Обсуждение списка участников и даты проведения симпозиума.
Письмо, А.П. Ершов->В. А.Тузов, 10.03.1970
Мнение о статье адресата.
Письмо, Е. Л. Ющенко->А.П. Ершов, 09.09.1968
Автор не менее адресата огорчен переносом конференции. Объясняет причины случившегося. Касается организационных вопросов, связанных с публикацией Трудов. Считает, что вопрос о дополнительном заседании 15 ноября требует уточнения, так как это связано с гостиницей.
Письмо, С. С. Лавров->Фаддеев Л.Д., 19.01.1978
Просьба представить статью В.А. Тузова "Об одном способе описания языков программирования" для публикации в "Докладах Академии наук"
Письмо, В. А.Тузов->А.П. Ершов, 24.03.1970
Обсуждение проблем, связанных со статьей.
Письмо, А.П. Ершов->Е.К. Блум, 13.05.1970
Предлагает напечатать перевод на английский язык статьи В.А. Тузова.
Письмо, А.П. Ершов->В. А.Тузов, 05.05.1969
о сроках написания отзыва на его диссертацию.
Письмо, В. А.Тузов->А.П. Ершов, 18.03.1969
Автор пишет о последних научных результатах и просит откровенно высказать свое мнение по этому поводу. Кроме того, он просит адресата написать отзыв на свою диссертацию.
Письмо, А.П. Ершов->В. А.Тузов, 13.05.1970
Подтверждает с благодарностью получение статьи; возможно будет опубликован ее английский вариант.
Письмо, А.П. Ершов->В. А.Тузов, 25.06.1970
с копией письма от редактора журнала, в котором выйдет статья адресата.
Письмо, В. А.Тузов->А.П. Ершов, 30.03.1978
Выражает готовность приехать в любое время и выступить на семинаре с докладом "Об одном способе описания языков программирования".
Письмо, А.П. Ершов->В. А.Тузов, 09.09.1971
Дает согласие на научное руководство симпозиумом по теоретическому программированию; просит приехать в Новосибирск для обсуждения организационных вопросов.
Письмо, А.П. Ершов->И. В. Клокачев, 27.08.1968
с подробным изложением причин отклонения программным комитетом их докладов, заявленных на ВКП-1.
Письмо, Е.К. Блум->А.П. Ершов, 26.05.1970
В ответ на письмо от 13 мая сообщает, что в качестве редактора будет рад опубликовать статью Б.А. Тузова по абстрактному программированию. Просит подготовить перевод статьи на английский язык и связаться с ним.

1 2 3
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016