документы   об архиве   о проекте   Андрей Ершов   Switch to English
Архив
Архив С.С. Лаврова
Переписка с Р.И. Подловченко (1993-2004)
Письмо, Р. И. Подловченко->С. С. Лавров, 28.11.2000
о текущих делах
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 01.12.2000
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 19.12.2000
Ответ на "бумажное" письмо от 28.11.2000
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 23.12.2000
отправлено 27.12.2000 по ошибке другому адресату
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 27.12.2000
в т.ч. об отправленном по другому адресу письме
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 27.12.2000
план переделок раздела из готовящейся книги "Теория вычислимости" в статью для журнала "Программирование"
Письмо, С. С. Лавров->Р. И. Подловченко, 16.01.2001
Параграф к разделу о теории вычислимости
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 19.01.2001
о замечаниях Н. Косовского и комментарии к прилагаемому тексту статьи
Письмо (рукописн. черновик), 21.01.2001
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 22.01.2001
о переделках в статье
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 22.01.2001
Переделанный раздел о самоприменимости алгоритмов
Письмо с приложением (рассылка), С. С. Лавров->Р. И. Подловченко, 27.01.2001
Сопроводительное письмо к тезисам об использовании диагонального метода при анализе разрешимости массовых проблем и самоприменимости алгоритмов; в приложении - текст С.С. Лаврова "Об алгоритмической неразрешимости"
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 16.02.2001
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 18.01.2001
Ответ на письмо от 16.02.2001. О публикации "теории програмирования", о предстоящей ершовской конференции в Новосибирске
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 06.03.2001
ответ на письмо от 18.02.2001
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 16.03.2001
Просьба заново переслать затерявшееся письмо
Письмо, С. С. Лавров->Р. И. Подловченко, 16.03.2001
Ответ на просьбу переслать повторно письмо
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 20.03.2001
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 20.03.2001
Текст "Семантика рекурсивных функций"
Письмо (электр.), С. С. Лавров->Р. И. Подловченко..., 11.03.2001-20.03.2001
Поздравление с 70-летием

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

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