|
|||||||||||
Документы, связанные с Валерий Александрович Непомнящий Протокол №18, 05.03.1991 заседания Ученого совета ИСИ СО РАН.
Протокол №1, 05.01.1995заседания счетной комиссии, избранной Ученым советом ИСИ СР РАН для проведения и подсчета голосов тайного голосования по выдвижению Дорожевца М.Н. на должность зав. лабораторией.
Предложения, 12.01.1979для подготовки плана научного сотрудничества между Единым центром науки и подготовки кадров по математики и механике БАН и ВЦ СО АН СССР на 1981-1985 гг.
Отчет, 26.06.1975о работе на факультете повышения квалификации НГУ.
Препринт№ 341 ВЦ СО АН "Математическая теория программирования" (Обзор зарубежных работ).
Предисловие, 05.08.1985к советско-болгарскому сборнику научных трудов "Математическая теория программирования".
Протокол №5, 02.10.1990заседания Ученого совета ИСИ СО АН СССР.
Списокчленов научно-технического совета отделения информатики ВЦ СО АН СССР.
Письмо, А.П. Ершов->Н. П. Бусленко, 31.12.1976Рекомендует к публикации статью В.А. Непомнящего "О проблеме пустоты ...".
Записка, 20.05.1970(?)с объявлением времени, места и приглашенных на предзащиту дипломных работ.
Списоктем курсовых и дипломных работ, выполняемых студентами у сотрудников отдела программирования ВЦ СО АН.
Заседание КМаккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами";
Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
Телеграмма, А.П. Ершов->А. А. Летичевский, 18.02.1969о своих планах; приглашает приехать обсудить ряд проблем.
Переченьобщих статей по программированию, планируемых в номера, начиная с № 9, 1982 г.
Программа пребывания, 21.11.1977пребывания научного сотрудника Математического института Болгарской АН к.ф.-м.н. Буды А.О. в ВЦ СО АН СССР за период 10 октября 1977 г. по 10 апреля 1978 г.
Протокол, 17.11.1980по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
Выписка, 07.12.1993из протокола №23 заседания Ученого совета ИСИ СО РАН. Представление В.А. Непомнящего на государственную научную стипендию Российской Федерации.
Служебная записка (черновик), А.П. Ершов->Ю. Л. Ершов, 28.08.1975Реакция кафедры на рекомендации "конкурсной комиссии математического факультета НГУ" от 26.05.1975. Обсуждаются кадровые вопросы.
Служебная записка, В.И. Константинов->Г. В. Сапрыкина, 01.04.1992по поводу установления надбавок за руководство аспирантами.
Выписка из протокола, 07.12.1993№23 заседания Ученого совета ИСИ. Ученый совет постановил ходатайствовать о присвоении ИСИ имени акад. А.П.Ершова. К протоколу приложена Справка о научно-организационной деятельности А.П.Ершова.
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|