|
|||||||||||
Документы, связанные с Московский государственный университет им. М.В. Ломоносова Конспект составленный при чтении книги С. Клини "Введение в метаматематику".
Проблемная записка"Разработка ПО школьных КУВТ".
Информационное письмоо проведении всесоюзного научно-технического совещания по лингвистическим проблемам ИИ 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 | Поиск | Расширенный поиск | Папки | Темы |
|