Документы, связанные с Московский государственный университет им. М.В. Ломоносова

Конспект
составленный при чтении книги С. Клини "Введение в метаматематику".
Проблемная записка
"Разработка ПО школьных КУВТ".
Информационное письмо
о проведении всесоюзного научно-технического совещания по лингвистическим проблемам ИИ 19-23.12.1983.
Программа
для сдачи кандидатского экзамена по теории множеств и теории функций действительного переменного.
Выписки
из рабочего плана на 1982-1983 уч. год по специальности "математика" МГУ.
Выписки
из рабочего плана на 1982-1983 уч. год по специальности "механика" МГУ.
Конспект
литературы, прочитанной в 1956-1957 гг.
Сообщение
об алфавите для буквенно-цифровых устройств ввода-вывода.
Конспект
составленный при чтении диссертации В.А. Успенского "Об операциях над перечислимыми множествами".
Статья
"Машинный фонд русского языка: идеи и суждения".
Конспект
составленный при изучении работ Маркова, Калужнина, Яблонского и др.
Конспекты лекций, 29.10.1952-18.04.1953
"Принципы программирования", прочитанных А.А. Ляпуновым в МГУ в 1952-1953 уч. году.
Диплом с отличием, 30.06.1954
об окончании МГУ по специальности "математика"
Удостоверение, 15.10.1954
аспиранта МГУ.
Читательский билет, 09.11.1954
научной библиотеки МГУ.
Тезисы доклада, 10.04.1956
"Автоматизация программирования", представленного на Третий математический съезд.
Пропуск, 26.09.1956
студента МГУ.
Статья, 15.07.1957(?)
"О программировании арифметических операторов". /Текст рукописный./
Статья, 15.07.1957(?)
"О программировании арифметических операторов", ДАН, 118, № 3, 1958 г. /Текст машинописный./
Конспект, 29.10.1957-10.12.1957
лекций А.А. Маркова по конструктивной математической логике.

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


Назад

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