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

Приглашенные доклады, 1-й выпуск
Глушков В.М. "Автоматизированные системы управления"; Адельсон-Вельский Г.М., Бонгард М.М., Лавров С.С. "Эвристическое программирование"; Гладкий А.В., Диковский А.Я. "Теория формальных грамматик и языков"
Программа пребывания
в Новосибирске сотрудника Словацкой академии наук Э. Костоланского. Предполагаемый срок пребывания - 3 недели, желательно с 15.09.64 по 30.10.64.
Письмо, Н. А. Зарицкий->Г. И. Марчук, 20.03.1977
Автор говорит о "торможении" математической лингвистики в СССР.
Рукописные наброски, 20.03.1977(?)
под заголовком "Недостаток общей и специальной математической культуры".
План работы, 01.11.1963
Й.Груски в СО АН СССР.
Заметки, 19.03.1980-22.03.1980
сделанные по ходу работы семинара, проводимого лабораторией А.С. Нариньяни, посвященного итогам и перспективам проекта "Диалог" (взаимодействие с ЭВМ на естественном языке).
Комментарий, 20.10.1977
к письму Н.А. Зарицкого.
Статья, 22.11.1973
"Математичская лингвистика". /Копия наборного оригинала./
Протокол, 13.12.1962
заседания счетной комиссии по выборам А.П. Ершова на должность заведующего лабораторией теории алгоритмов и программирования Института математики с вычислительным центром СО АН СССР.
Приказ, 13.10.1959
об утверждении временного состава Ученого совета при директоре ИМ СО АН СССР.
Доклад, 15.11.1983
"Математические вопросы создания ЭВМ нового поколения и задачи математической подготовки кадров", заявленный на Всесоюзное совещание по системам программирования ЭВМ.
Протокол, 07.09.1963
счетной комиссии по представлению к утверждению А.П. Ершова в звании "старшего научного сотрудника" по специальности "Математическая логика и программирование".
"Теория формальных грамматик и языков"
Статья, 27.09.1973
"Синтаксические структуры". /Копия наборного оригинала./
Статья, 22.11.1973
"Язык формальный". /Копия наборного оригинала./
Письмо, С. С. Лавров->Б. В. Шабат, 31.03.1980
в поддержку предложения А.В. Гладкого об издании перевода сборника статей Р. Монтегю по проблемам мат. лингвистики изд-вом "Мир"
Письмо, А.П. Ершов->Д. Хейс, 20.03.1967
Рассказывает о деталях возможного приезда адресата в Новосибирск, излагает примерную программу. Надеется на встречу.
Программа, 06.05.1980
всесоюзной конференции "Методы мат. логики..."
Письмо, Е. Пронко->А.П. Ершов, 09.04.1962
Подтверждает получение матерала, подготовленого для публикации Устиновым и Гладким. Посылает Андрею Петровичу английский перевод и просит сообщить о поправках, если они возникнут. Надеется на дальнейшее сотрудничество.
Объявление, 16.03.1962
о конкурсе на замещение штатных и вакантных должностей ИМ СО АН СССР.

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


Назад

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