Документы, связанные с Валерий Александрович Непомнящий

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