Тема: А. А. Ляпунов (вклад в теорию и практику программирования) Кучинская С
| Вид материала | Документы |
- А. А. Ляпунов и становление теоретического программирования в россии, 112.95kb.
- Рабочей программы дисциплины математическая логика по направлению подготовки 220400, 21.67kb.
- Нынешний учебный год уникален тем, что 9-го сентября 2008г исполнилось 180 лет со дня, 101.03kb.
- Вклад е. Г. Дудникова в теорию и практику автоматического управления, 90.64kb.
- Конспект урока. Урок сообщение новых данных тема (класс, тема, время), 893.12kb.
- К. Е. Карасёв Введение в теорию конечных автоматов, 593.28kb.
- Тема цифровые фильтры обработки одномерных сигналов, 343.14kb.
- Константинов М. С. Вклад М. К. Петрова в новую институциональную теорию // Айвазова, 190.59kb.
- Аннотация программы учебной дисциплины «Теория и практика pr», 18.76kb.
- Лекция 3 Инструментальное по. Классификация языков программирования, 90.16kb.
Тема: А. А. Ляпунов (вклад в теорию и практику программирования)
Выполнила: Кучинская С
А. А. Ляпунов вошёл в историю естествознания ХХ века как исследователь с богатым творческим наследием и как гражданин, чьё нравственное наследие заслуживает пристального внимания и самостоятельного изучения.
К настоящему времени мы располагаем доступными публикациями основных трудов Алексея Андреевича. Они относятся к различным областям знания. В числе их необходимо, в первую очередь, отметить труды по
- теории множеств,
- общим вопросам кибернетики,
- программированию и его теории,
- машинному переводу и математической лингвистике,
- кибернетическим вопросам биологии,
- философским и методологическим проблемам науки.
Научная деятельность Алексея Андреевича в кибернетике началась с создания операторного метода программирования. Он вырастал на глазах студентов молодой кафедры вычислительной математики, незадолго до того организованной на механико-математическом факультете МГУ, в курсе прочитанных Алексеем Андреевичем восьми лекций под названием "Принципы программирования" (1952/53 учебный год). Операторный метод излагался неоднократно в широких аудиториях, собиравших слушателей со всей страны, и был принят как руководство к действию задолго до его публикации, которая была частичной и состоялась лишь в 1957–58 гг.
Впервые программирование было определено как самостоятельное научное направление, задача которого — разработка рациональных способов составления программ для решения различных задач на автоматических быстродействующих вычислительных машинах.
Было отмечено, что основным отличием этого направления от внешне близкой классической теории алгоритмов является новый подход к описанию алгоритмов. Традиционные языки теории алгоритмов (машины Тьюринга, продукции Поста, нормальные алгоритмы Маркова и др.) хороши для исследования природы вычислимости, но непригодны для описания алгоритмов в форме, удобной для решения практических задач. Идея "крупноблочного" описания алгоритма, реализованная в операторном методе, открыла путь к новым формализациям понятия "алгоритм", и в этом выразился значительный вклад в теорию алгоритмов, сделанный Алексеем Андреевичем.
Операторный метод содержал:
1) неформальное определение алгоритмического языка высокого уровня — языка логических схем;
2) проблематику программирования, где в первом ряду стояла проблема трансляции с языка высокого уровня на машинный язык — проблема построения программирующей программы;
3) основы теории схем программ, моделирующих программы, положившей начало теории программирования.
В языке логических схем были выделены элементарные акты — операторы и логические условия, и определены основные средства композиции операторов. Это был язык, позволивший описывать самые различные алгоритмы в форме, близкой к содержательному их представлению в конкретных предметных областях и вместе с тем — удобной для программирования.
Язык логических схем позволил говорить об общих приемах программирования. Операторный метод лег в основу многих отечественных учебных пособий по программированию, на нем выросло первое поколение программистов в нашей стране. Многие будущие создатели трансляторов с появившихся значительно позднее алгоритмических языков программирования выросли из разработчиков программирующих программ. Теория схем программ, в которой первые фундаментальные результаты были получены учеником Алексея Андреевича — Ю. И. Яновым, плодотворным образом развивается и в наше время. Создание операторного метода было первым крупным научным открытием в теории и практике программирования.
Список литературы
- Р.И. Подловченко О вкладе А.А. Ляпунова в кибернетику (Статья из сборника Очерки по истории информатики в России Новосибирск, 1998.)
- Алексей Андреевич Ляпунов u