Расширенный
поиск

Открытый архив » Фонды » Фонд А.А. Ляпунова » Коллекции фонда А.А. Ляпунова » Труды А.А. Ляпунова » Работы по различным отраслям науки » Теоретическое программирование

Теоретическое программирование

Подколлеций: 2 | Документов: 12


Коллекция содержит подколлекции


Коллекция содержит документы

Дата Название документа Автор  =>  Адресат
1957 "Начальные сведения о решении задач на ЭВМ"
Статья напечатана в сборнике "Математическое просвещение", вып. 1, 1957 г.
Шестопал Г.А., Ляпунов Алексей Андреевич =>
1958 "О логических схемах программ" (оттиск)
Статья опубликована в Трудах конференции "Пути развития советского математичес
Ляпунов Алексей Андреевич =>
1959 "Математические исследования, связанные с эксплуатацией электронных вычислительных машин"
Статья опубликована в сборнике "Математика в СССР за 40 лет", т.1, стр.857-877
Ляпунов Алексей Андреевич =>
1962 "К алгебраической трактовке программирования"
Статья опубликована в сборнике "Проблемы кибернетики", вып. 8, 1962 г., с.235-
Ляпунов Алексей Андреевич, Сборник "Проблемы кибернетики" =>
1972 О специализированных системах программирования для научных исследований
Доклад на симпозиуме по теории программирования. Опубликован в сборнике трудов
Ляпунов Алексей Андреевич =>
Черновик 8-го параграфа
Примеры составления программ.
Ляпунов Алексей Андреевич =>
Примеры составления схем-программ (§ 8 какой-то монографии)
Приведены рукописный и машинописный варианты.
Ляпунов Алексей Андреевич =>
"О формализации понятия программы"
Ершов Андрей Петрович, Ляпунов Алексей Андреевич =>
"О специализированных системах программирования для научных исследований"
Доклад для международного симпозиума по теории программирования, проходившего
Ляпунов Алексей Андреевич =>
"Sur quelques systemes de programmation pour les recherches scientifiques"
Перевод на французский язык доклада "О специализированных системах программиро
Ляпунов Алексей Андреевич =>
"К алгебраической трактовке программирования"
Ляпунов Алексей Андреевич =>
Рукописные наброски
"Основная схема модели управляющей системы, обрабатывающей информацию".
Ляпунов Алексей Андреевич =>