DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 15:45

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 11 ] 
Автор Сообщение
СообщениеДобавлено: Вторник, 05 Февраль, 2013 17:19 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Язык ДРАКОН и Операторные схемы Янова

Это математическая тема.

К участию в обсуждении приглашаются профессиональные математики и математики-программисты.

Термин "Операторные схемы Янова" ввел академик Андрей Петрович Ершов.

Цель обсуждения: Выявить связь между языком ДРАКОН и операторными схемами Янова.

Этой темой я перевожу обсуждение на более высокий теоретический уровень. Чтобы выявить еще одну грань языка ДРАКОН, которая до сих пор оставалась незатронутой.

В одной из книг я уже упоминал о связи языка ДРАКОН и теории схем программ. Пришла пора более глубоко рассмотреть эту тему.

Я не собираюсь быть лидером этого обсуждения.
Я хочу лишь наметить первый шаг.
Чтобы желающие самостоятельно развивали эту тему дальше.

Такое развитие будет означать исследование. Глубокое научное исследование. Исследование, которое приведет серьезных участников обсуждения к написанию и защите диссертации.

Я обращаюсь к участникам и гостям форума: попробуйте свои силы. Предупреждаю: это трудная тема. Те, кто не боится трудностей и имеют склонность к самостоятельному исследованию, будут, как я надеюсь, вознаграждены за творческий поиск успешной защитой диссертации.

Продолжение следует


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 06 Февраль, 2013 11:35 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Передо мною лежит книга большого формата в красной суперобложке. Она написана почти пятьдесят лет назад — в 1968 году.

Но она отнюдь не устарела. Потому что математические идеи не стареют.

Книга называется так:
Цитата:
Проблемы кибернетики. Выпуск 20. Сборник статей под редакцией А.А. Ляпунова. — М.: Наука, Главная редакция физико-математической литературы, 1968. — 320с.


Нас будет интересовать не вся книга, а только одна статья — статья академика Андрея Петровича Ершова.

Она находится на страницах 181-200 и называется так:
Цитата:
Ершов А. П. Операторные алгоритмы. III (об операторных схемах Янова.


Это классическая работа по теоретическому программированию.

Внимательно изучая эту прекрасную работу, можно ощутить живое дыхание истории. Истории, которая продолжается и сегодня и которая долго будет служить образцом для подражания.

Тем, кто интересуется темой, я рекомендую раздобыть эту почтенную книгу в красной суперобложке. Не знаю где. Может быть, в какой-нибудь библиотеке.

И начать ее тщательное изучение.

Продолжение следует


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 06 Февраль, 2013 11:56 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 105
Откуда: Псков
В книге Ершова А.П. Введение в теоретическое программирование. (беседы о методе) 1977г.
есть
Часть II. ПРЕОБРАЗОВАНИЕ СХЕМ ЯНОВА

Можно найти в и-нете , например http://bookos.org/md5/dd99ae9c4055808038b8d2b79678c1e0
PS.
«Проблемы кибернетики». Выпуск 20. http://publ.lib.ru/ARCHIVES/P/''Problemy_kibernetiki''/_''Problemy_kibernetiki''.html#020


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 06 Февраль, 2013 12:27 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Спасибо, это очень кстати.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 06 Февраль, 2013 13:18 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 77
Откуда: Астрахань
Вот еще: http://ershov.iis.nsk.su/russian/articles_pdf/05.pdf
Кроме того, есть книжка:
Котов В.Е., Сабельфельд В.К. Теория схем программ - можно найти в сети и скачать.
Кроме того, есть еще схемы Мартынюка, схемы Лаврова...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 08 Февраль, 2013 07:05 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Да, Лавров, между прочим, на базе операторных схем анализирует свойства программ в Гл.3 этой книги (в выдержки, включая позднейшие, не вошла). В частности, привлекая методы, применяемые в теории материальных цепей (электрических, например). Некоторым образом сказанное здесь: viewtopic.php?p=56043#p56043 также в этом русле?..


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 08 Февраль, 2013 19:23 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
albobin писал(а):
PS.
«Проблемы кибернетики». Выпуск 20. http://publ.lib.ru/ARCHIVES/P/''Problemy_kibernetiki''/_''Problemy_kibernetiki''.html#020

А нет ли в Ваших "секретных" архивах ссылки на такой первоисточник:

Цитата:
Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Выпуск 1. — М.: Физматгиз, 1958. — С. 75-127.


Это та самая статья Янова, с которой все началось.

Историческая и мало кому известная статья, от которой ведет начало вся эпопея с "Операторными схемами Янова". И с теорией схем программ (которая у Котова и Сабельфельда называется схематологией).

Она напечатана в самом первом Выпуске сборника "Проблемы кибернетики", который вышел в свет ровно через пять лет после смерти Сталина — в далеком 1958 году.

Вот было бы здорово, если бы в сети отыскались следы этого ценнейшего первоисточника.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 08 Февраль, 2013 22:20 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 105
Откуда: Псков
Владимир Паронджанов писал(а):
А нет ли в Ваших "секретных" архивах ссылки на такой первоисточник:
Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Выпуск 1. — М.: Физматгиз, 1958. — С. 75-127.

"Секретности", даже в кавычках нет никакой :) Ищу как и все только через поисковики.
Пока безрезультатно :( (Везде требуется вводить номер мобильника, а не хочется)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 09 Февраль, 2013 12:23 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Валерий Лаптев писал(а):
Вот еще: http://ershov.iis.nsk.su/russian/articles_pdf/05.pdf
Кроме того, есть книжка:
Котов В.Е., Сабельфельд В.К. Теория схем программ - можно найти в сети и скачать.
Кроме того, есть еще схемы Мартынюка, схемы Лаврова...


В этот список надо добавить КАСЬЯНОВА (чрезвычайно ценная книга):
Цитата:
Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, Главная редакция физико-математической литературы, 1988. — 336с.


Есть и более поздняя книга Касьянова и Евстигнеева:
Цитата:
Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003. — 1104с. — ISBN 5-94157-184-4


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 04 Февраль, 2014 12:00 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 105
Откуда: Псков
albobin писал(а):
Владимир Паронджанов писал(а):
А нет ли в Ваших "секретных" архивах ссылки на такой первоисточник:
Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Выпуск 1. — М.: Физматгиз, 1958. — С. 75-127.

"Секретности", даже в кавычках нет никакой :) Ищу как и все только через поисковики.
Пока безрезультатно :( (Везде требуется вводить номер мобильника, а не хочется)

Если ещё интересно, то есть здесь http://gen.lib.rus.ec/search.php?open=0&req=%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8&view=simple&column=def&sort=def&page=6


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 04 Февраль, 2014 12:34 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Спасибо, albobin.

Уважаемые коллеги!

Рекомендую всем, кому интересны выпуски "Проблемы кибернетики"
воспользоваться ссылкой, которую любезно предоставил albobin.

Я скачал на пробу один выпуск и проверил. Все прекрасно и бесплатно качается (за три минуты).
Это настоящая сокровищница мысли!

Еще раз спасибо, albobin.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 11 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 5


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB