Архив
Научное творчество
Работы 1982 г.
Предисловие
"Два облика программирования"
Статья "Вычислимость в произвольных областях и базисах"
Обзор "Интегральный подход к программированию"

Предисловие, 12.02.1982
к сборнику "Математическая теория и практика систем программного обеспечения"; труды советско-болгарского совещания. /Текст рукописный./
Предисловие, 15.02.1982
к сборнику "Математическая теория и практика систем программного обеспечения"; труды советско-болгарского совещания.
Предисловие, 27.03.1982
редактора к сборнику НГУ "Проблемы системного и теоретического программирования". /Текст рукописный./
Предисловие, 27.03.1982
редактора к сборнику НГУ "Проблемы системного и теоретического программирования".
Статья, 23.03.1982
"От редактора" к монографии Д.Я. Левина "Язык сверхвысокого уровня СЕТЛ и его реализация для ЭВМ БЭСМ-6". /Текст рукописный./
Статья, 29.03.1982
"От редактора" к монографии Д.Я. Левина "Язык сверхвысокого уровня СЕТЛ и его реализация для ЭВМ БЭСМ-6".
Статья, 08.04.1982
"А.А. Ляпунов и программирование" для "Сибирского математического журнала".
Предисловие, 17.04.1982
редактора к сборнику научных трудов ВЦ СО АН "Программное обеспечение задач информатики". /Текст рукописный./
Предисловие, 19.04.1982
редактора к сборнику научных трудов ВЦ СО АН "Программное обеспечение задач информатики".
Соглашение, 14.05.1982
с издательством "Мир" на редактирование перевода книги П. Хендерсона "Функциональное программирование. Применение и реализация".
Доклад, 21.11.1982-21.02.1983
"Персональная ЭВМ - предок млекопитающих в динозавровом мире ВЦКП", сделанный на всесоюзной конференции "Диалог-82-Микро" в Пущино. /Текст рукописный./
План, 22.12.1982
доклада "ПЭВМ - личное оружие системного программиста".
Слайды, 22.12.1982
для доклада "ПЭВМ - личное оружие системного программиста".
Статья, 02.01.1982
"Трансформационная семантика операторных структурированных программ". /Черновик - наброски текста, список литературы, схема./
Рабочие записи, 18.07.1982
Выписка из статьи "A Practical Method for Testing Algebraic Specification". Авторы - J. Tardo, J. Goguen, N. Williamson.
Статья, 28.02.1982
"Систематическое построение программы решения частной задачи из некоторого класса методом смешанных вычислений на примере синтаксических анализаторов". /Текст рукописный./
Статья, 22.03.1982
"Систематическое построение программы решения частной задачи из некоторого класса методом смешанных вычислений на примере синтаксических анализаторов". /Текст машинописный./

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

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