Владимир Паронджанов писал(а):
Эти сведения я почерпнул из книги:
http://is.ifmo.ru/books/2011/Odinets-Co ... part-1.pdf Цитата:
Одинец, В.П. Зарисовки по истории компьютерных наук : учебное пособие : в 3 ч. / В.П.Одинец. – Сыктывкар: Коми пединститут, 2011. – Ч. I. — 200 с. — ISBN 978-5-87661-188-8 ISBN 978-5-87661-189-5 (Ч. 1)
Привожу оглавление 2-й главы:
Цитата:
Глава II. История развития теории алгоритмов
Введение………………………………………………………………....68
§7.Вычислительная модель Поста……………………………………..70
§8.Вычислительная модель Тьюринга. Машина фон Неймана….…..80
§9. Вычислительные модели Маркова и Клини………………………89
§10.Проблемы разрешимости и перечислимости…………………...100
§11.X-я проблема Гильберта………………………………………..…111
§12. Элементы теории сложности. NP – проблема……………….…121
Что и требовалось доказать.
Эта
устаревшая традиция называть классическую (фундаментальную) теорию алгоритмов
или теорию вычислимости (это конкретное осмысленное именование)
общим термином "теория алгоритмов" - это
исторически первая половина (маленькая половинка) современной теории алгоритмов.
Сейчас это путает все карты, в частности, в организации алгоритмического образования
технических и других нематематических специальностей.
А также математиков, которые уходят в программирование
(но там и технарей уже давно полным полно).
А чем это плохо-то?
А вот чем:
"
Главное разочарование программистов относительно теории алгоритмов состоит в том,
что
классическая теория алгоритмов
не занимается «правилами построения алгоритмов».
На
законный вопрос, чем же она тогда занимается, можно достойно (???) ответить:
она занимается
более важной (???) проблемой – проблемой алгоритмической разрешимости.
То есть она занимается определением того, можно ли вообще построить алгоритм для решения задач данного типа".
Вопросы (???) вставлены в цитату - информация к размышлению.
Это цитата (с. 65) из конспекта лекции 2000-го года для студентов специальности АСУ
(тогда там были две специзализации: инженеры-системотехники и инженеры-программисты АСУ):
Вложение:
SpecMat_dlja_ASU.pdf [1.56 МБ]
Скачиваний: 357
Комментарии к ней приводятся в конце статьи (с. 19):
Вложение:
----------------------------------------
Но уже давно существует
исторически вторая половина (огромадная половинища) теории алгоритмов:
неклассическая или прикладная теория алгоритмов.
Но она пока очень разрозненная и распыленная.
Все источники рассматривают
разные частные алгоритмические теории, направления, задачи, алгоритмические языка и т.п.
и именуются соответственно этому.
И преподаются они не систематически в курсах теории алгоритмов,
а разными кусками в составе разных других учебных дисциплин:
цифровая схемотехника, вычислительная техника, формальные грамматики (и автоматы),
автоматизация технологических процессов, промышленная робототехника и т.п.
-------------------------------
До недавнего времени еще
не было книг или специальных разделов с общим наименованием типа:
прикладная теория алгоритмов.
Но уже есть очевидные подвижки:
1) Обнаружена
первая книга с таким разделом:
andr писал(а):
В поисковике нашлась более поздняя книга этого автора:
Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. - 2000.
Где-то нашел ее оглавление, привожу выборку из него:
Вложение:
Это
еще не прикладная теория алгоритмов (это минус), а достаточно случайный авторский набор частных прикладных алгоритмических задач,
но это
уже и не классическая теория алгоритмов (а это плюс).
То есть
есть очевидные подвижки (или, по крайней мере одна очевидная подвижка) в правильном направлении.
2) Обнаружена
первая книга с таким наименованием:
andr писал(а):
Эту книгу, кажется, нашел - библиографические данные:
Прикладная теория алгоритмов (Основы содержательной информатики): учебное пособие
/ Румянцев, Игорь Андреевич; Рос. гос. пед. ун-т им. А.И. Герцена.
- СПб.: РГПУ им. А.И. Герцена, 2005. - 207с.
- ISBN 5-8064-0429-3
Пока не ясно, что она представляет собой по содержанию.
Но также
есть очевидные подвижки (или, по крайней мере одна очевидная подвижка) в правильном направлении - по названию.
------------------------------
Надо будет добраться до нее.
Но уже могут быть первые выводы:
1) Математики породили
теорию алгоритмов, но умудрились загнать ее в исторический классический тупик:
с точки зрения практической пользы для массового разработчика и еще более массового пользователя алгоритмов.
2) Математики породили
(математическую) прикладную теорию (математических) алгоритмов,
но пока не соберутся с духом взять быка за рога:
начать формировать единую связную прикладную математическую теорию алгоритмов.
Сейчас - это в общем случае
теория параллельных (и, в частности, последовательных) алгоритмов.
3) А уже на подходе
техническая прикладная теория (технических) алгоритмов:
управление продвижением, манипулированием, хранением и обработкой информационных и, особливо, материальных объектов и потоков.
Здесь есть работенка и для технарей и для математиков.
Но технари должны брать дело в свои руки, а не смотреть на математиков в ожиданции,
когда они поднесут им ее на тарелочке - не дождутся.
Здесь нужны разные спецы с необходимым техническим кругозором и и опытом,
хотя не обязать только технари по базовому образованию.
Но технари здесь должны быть хозяином и во всем в ответе - перед исторической алгоритмикой.
Но быть благодарными математикам - без них и ни туды, и ни сюды.
===================================
А есть надежды-то?
Как опять же говорил Козьма Прутков: зри в корень, алгоритмики в данном случае.
А корень - он исторический.
В работе:
Владимир Паронджанов писал(а):
http://is.ifmo.ru/books/2011/Odinets-Co ... part-1.pdf Цитата:
Одинец, В.П. Зарисовки по истории компьютерных наук : учебное пособие : в 3 ч. / В.П.Одинец. – Сыктывкар: Коми пединститут, 2011. – Ч. I. — 200 с. — ISBN 978-5-87661-188-8 ISBN 978-5-87661-189-5 (Ч. 1)
Привожу оглавление 2-й главы:
Цитата:
Глава II. История развития теории алгоритмов
Введение………………………………………………………………....68
§7.Вычислительная модель Поста……………………………………..70
§8.Вычислительная модель Тьюринга. Машина фон Неймана….…..80
§9. Вычислительные модели Маркова и Клини………………………89
§10.Проблемы разрешимости и перечислимости…………………...100
§11.X-я проблема Гильберта………………………………………..…111
§12. Элементы теории сложности. NP – проблема……………….…121
http://is.ifmo.ru/books/2011/Odinets-Co ... part-1.pdf В принципе - это правильно, исторический подход.
Почитать интересно - много полезной исторической фактуры.
Но в первом томе - это узкая классическая трактовка истории теории алгоритмов:
это маленький корешок мощного исторического корневища.
Интересно, что будет в 2-м и в 3-м томе?
До технической теории алгоритмов там явно не дойдет.
Надо понимать, что термин "компьютерные науки" - это американский эквивалент классической французской "информатики".
А как там будет насчет технологий 3D-принтеров, например - это переворот в информационных технологиях,
и вообще - насчет информатики материально-информационных систем?