Документы, связанные с Алексей Львович Семенов
-
Статья А.Л. Семенов
"Международная встреча ученых в Хорезме" - статья А.Л. Семенова и В.А. Успенского в журнале "Международный форум по информации и документации", 1980, Т. 5, № 1.
-
Запись А.Л. Семенов
беседы С. Пейперта с А.Л. Семеновым по вопросам образования.
-
Статья А.Л. Семенов
"International Meeting of Scientists at Khoresm"- статья А.Л. Семенова и В.А. Успенского в журнале "International Forum on Information and Documentation", 1980, Vol. 5, No. 1.
-
Статья А.Л. Семенов
"Математические вопросы создания ЭВМ нового поколения и задачи математической подготовки кадров"
-
Записка А.П. Ершов -> Л.В. Городняя
Перечислены дела, которые должна выполнить сотрудница А.П. Ершова.
-
Письмо В.А. Успенский -> А.П. Ершов
01.07.1979
об организационных вопросах; обсуждение кандидатур участников симпозиума.
-
Письмо В.А. Успенский -> А.П. Ершов
12.08.1979
Просит, если это возможно, включить А.Л. Семенова в соавторы заказанного ему заглавного доклада на симпозиуме в Ургенче. /Текст рукописный./
-
Тезисы А.Л. Семенов
17.09.1979
докладов Барздиня, Кнута, Семенова, Сираджинова и Успенского.
-
Отчет А.Л. Семенов
10.01.1980
"International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.
-
Статья А.Л. Семенов
14.10.1982
"Теория алгоритмов: ее основные открытия и приложения". В приложении: оглавление; сопроводительное письмо и инструкция по подготовке к печати.
-
Сопроводительное письмо А.Л. Семенов -> А.П. Ершов
30.06.1983
к проекту содержания выпусков "Современные проблемы математики".
-
Доклад А.Л. Семенов
15.11.1983
"Математические вопросы создания ЭВМ нового поколения и задачи математической подготовки кадров", заявленный на Всесоюзное совещание по системам программирования ЭВМ.
-
Сопроводительное письмо А.Л. Семенов -> А.П. Ершов
03.01.1985
к списку журналов по компьютерной тематике, составленному Е.Е. Яковлевой. /Текст рукописный./
-
Письмо В.А. Успенский -> А.П. Ершов
25.09.1985
Автор делится своими впечатлениями от методических указаний "Основы информатики и ВТ", а также от статьи Бургина в журнале "Программирование".
-
Обращение А.П. Ершов
13.12.1985
А.П. Ершов обращается с рекомендацией о включении в программу Конгресса по логике, философии и методологии науки, который должен состояться в Москве в 1987 году, доклада А.Л. Семенова.
-
Письмо А.П. Ершов -> Е.П. Велихов
17.12.1985
Информирует адресата о своих делах после болезни. Сообщает, что работа над "Информатикой-10" идет в нужном направлении. Снято 6 телеуроков по информатике. /Рукописный и машинописный тексты./
-
Записи А.П. Ершов
26.02.1986
переговоров с различными партийными и комсомольскими функционерами по поводу формирования делегации советских школьников и студентов для поездки в США. Записи для памяти при решения различных организационных вопросов.
-
Постановление (проект) -> А.П. Ершов
28.02.1986
"Об организации временного коллектива по созданию педагогических программных продуктов для общеобразовательной школы и разработке системы опережающего образования на базе новой информационной технологии".
-
Положение (проект) -> А.П. Ершов
28.02.1986
о временном коллективе по созданию педагогических программных продуктов для общеобразовательной школы и разработке системы опережающего образования на базе новой информационной технологии.
-
Телеграмма А.П. Ершов -> В.Д. Шадриков
25.03.1986
Коллектив "Информатики 9-10" выражает готовность подготовить новый вариант первой части учебника.
-
Рукопись учебника (вариант) А.Л. Семенов
10.07.1986
"Основы информатики и вычислительной техники", представленная на конкурс. Замечания А.П. Ершова в тексте.
-
Телеграмма А.П. Ершов -> В.Д. Шадриков
17.07.1986
о возобновлении предложения подготовки объединенного учебника.
-
Телеграмма А.П. Ершов -> В.Д. Шадриков
20.07.1986
По поручению авторского коллектива предлагает возобновить работу над учебником по информатике для 9-х и 10-х классов средней школы.
-
Письмо и приложение А.Л. Семенов -> адресат не установлен
10.10.1986
с материалами по подготовке объединенного учебника "Основы информатики и вычислительной техники 9-10".
-
Доклад А.Л. Семенов
31.01.1987
"Прогноз по важнейшему направлению науки - "Школьная информатика"(6.12)". /Текст рукописный./
-
Доклад А.Л. Семенов
20.05.1987
"From mathematics to informatics and backward: Goedel & Markov".
-
Распоряжение Е.П. Велихов
01.06.1987
О составе руководства ВНТК "Школа-1". (Рукописный и машинописный варианты).
-
Отзыв А.Л. Семенов
10.06.1987
о работе И.П. Пономаренко "Проблема изоморфизма для классов графов".
-
Договор А.Л. Семенов
01.07.1987
о совместной работе ВНТК "Школа-1" и Московского областного института усовершенствования учителей по исследованию и практической апробации вопросов опережающего обучения на основе новейшей информационной технологии в школах Московской области.
-
Отзыв А.Л. Семенов
29.09.1987
официального оппонента о диссертации В.В. Рыбакова "Допустимость правил вывода в модальных и суперинтуиционистских логиках", представленной на соискание ученой степени доктора физико-математических наук.
-
Издательский договор № 4444 А.Л. Семенов
20.10.1987
в том, что авторы обязуются создать и передать Издательству для издания и переиздания книгу "Основы информатики.., 9-10".
-
Письмо с приложением А.Л. Семенов
19.12.1987
в Международный фонд выживания и развития человечества с предложением использования ЭВМ в обучении в XXI веке. Приложен проект "Школы Омега".
-
Карточка с приложением
20.01.1988
Регистрационно-контрольная карточка к копии телеграммы С.Пейперта о возможной дате его приезда и сама эта копия. На обороте копии - рукописные пометки Ершова.
-
Записи
25.01.1988
сделанные А.П. Ершовым во время командировки, и записки, адресованные ему.
-
Рукописные наброски А.П. Ершов
08.07.1988
к предстоящему обсуждению в рамках сотрудничества с Национальной академией наук США по тематике "Научные методы в образовании".



