|
|||||||||||
Документы, связанные с Алексей Всеволодович Гладкий Приглашенные доклады, 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 | Поиск | Расширенный поиск | Папки | Темы |
|