Документы, связанные с Алексей Львович Семенов

Договор, 01.07.1987(?)
о совместной работе ВНТК "Школа-1" и Московского областного института усовершенствования учителей по исследованию и практической апробации вопросов опережающего обучения на основе новейшей информационной технологии в школах Московской области.
Доклад, 31.01.1987
"Прогноз по важнейшему направлению науки - "Школьная информатика"(6.12)". /Текст рукописный./
Доклад, 20.05.1987
"From mathematics to informatics and backward: Goedel & Markov".
Доклад, 15.11.1983
"Математические вопросы создания ЭВМ нового поколения и задачи математической подготовки кадров", заявленный на Всесоюзное совещание по системам программирования ЭВМ.
Записи, 26.02.1986-21.10.1986
переговоров с различными партийными и комсомольскими функционерами по поводу формирования делегации советских школьников и студентов для поездки в США. Записи для памяти при решения различных организационных вопросов.
Записи, 25.01.1988-03.02.1988
сделанные А.П. Ершовым во время командировки, и записки, адресованные ему.
Записка, А.П. Ершов->Л. В. Городняя
Перечислены дела, которые должна выполнить сотрудница А.П. Ершова.
Запись
беседы С. Пейперта с А.Л. Семеновым по вопросам образования.
Издательский договор № 4444, 20.10.1987
в том, что авторы обязуются создать и передать Издательству для издания и переиздания книгу "Основы информатики.., 9-10".
Карточка с приложением, 20.01.1988
Регистрационно-контрольная карточка к копии телеграммы С.Пейперта о возможной дате его приезда и сама эта копия. На обороте копии - рукописные пометки Ершова.
Обращение, 13.12.1985
А.П. Ершов обращается с рекомендацией о включении в программу Конгресса по логике, философии и методологии науки, который должен состояться в Москве в 1987 году, доклада А.Л. Семенова.
Отзыв, 29.09.1987
официального оппонента о диссертации В.В. Рыбакова "Допустимость правил вывода в модальных и суперинтуиционистских логиках", представленной на соискание ученой степени доктора физико-математических наук.
Отзыв, 10.06.1987
о работе И.П. Пономаренко "Проблема изоморфизма для классов графов".
Отчет, 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.
Письмо, А.П. Ершов->Е. П. Велихов, 17.12.1985
Информирует адресата о своих делах после болезни. Сообщает, что работа над "Информатикой-10" идет в нужном направлении. Снято 6 телеуроков по информатике. /Рукописный и машинописный тексты./
Письмо, С. А. Пейперт->Е. П. Велихов, 21.05.1987
Автор предлагает создать интернациональную группу ученых, занимающуюся теоретическими основами информатики в образовании, предлагает конкретные кандидатуры, просит организовать финансовую поддержку.
Письмо, В. А. Успенский->А.П. Ершов, 25.09.1985
Автор делится своими впечатлениями от методических указаний "Основы информатики и ВТ", а также от статьи Бургина в журнале "Программирование".
Письмо, В. А. Успенский->А.П. Ершов, 01.07.1979
об организационных вопросах; обсуждение кандидатур участников симпозиума.
Письмо, В. А. Успенский->А.П. Ершов, 12.08.1979
Просит, если это возможно, включить А.Л. Семенова в соавторы заказанного ему заглавного доклада на симпозиуме в Ургенче. /Текст рукописный./
Письмо и приложение, А.П. Ершов->адресат не установлен..., 10.10.1986
с материалами по подготовке объединенного учебника "Основы информатики и вычислительной техники 9-10".

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


Назад

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