Документы, связанные с Михаил Никанорович Маричук
-
"Параметрически управляемый синтаксический контроль и анализ языков программирования" М.Н. Маричук
-
Заседание К М.Н. Маричук
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
-
Заявка
30.10.1969
3 участника
-
Анкета
01.01.1970
-
Приказ Н.С. Егоров -> А.П. Ершов
25.01.1974
о проведении всесоюзного научного симпозиума на тему "Системное и теоретическое программирование" в сентябре 1974 года в Кишиневе. В Приложении - состав оргкомитета в количестве двадцати человек.
-
Отзыв А.П. Ершов
20.09.1974
на цикл работ "Разработка методов создания и реализации на ЭВМ многоязыковых транслирующих систем" коллектива авторов Института математики с ВЦ АН Молдавской ССР (Маричук М.Н., Бостан Г.А., Магариу Г.А.), представленный на соискание премии комсомола Молдавии.
-
Письмо Г.А. Донец -> Г.И. Марчук
08.01.1975
Сообщает о смене официального оппонента по защите диссертации М.Н. Марийчука.
-
Информационное письмо
13.01.1975
о защите диссертаций.
-
Письмо М.Н. Маричук -> А.П. Ершов
19.05.1982
Просьба к автору приехать в июне 1982 г. в Кишинев для оказания научной и методической помощи ученым и специалистам Молдавской республики, а также выступить на научном семинаре Института математики с вычислительным центром. Если июнь месяц не подходит, просьба сообщить другое, удобное время.
-
Обоснование
01.06.1982
проведения Четвертого симпозиума по системному и теоретическому программированию 1-3 июня 1982 года в Кишиневе. Перечислены члены программного и организационного комитетов; количество секций; планируемые мероприятия; организация проведения симпозиума и проч.
-
Письмо с приложением Д.Н. Тодорой -> А.П. Ершов
20.12.1982
Автор сообщает, что подготовка к симпозиуму по системному и теоретическому программированию идет по графику. /Текст рукописный./ В приложении - информационное письмо и информационное сообщение о симпозиуме.



