DRAKON.SU

Язык ДРАКОН и Операторные схемы Янова

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

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

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

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

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

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

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

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

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

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

Передо мною лежит книга большого формата в красной суперобложке. Она написана почти пятьдесят лет назад — в 1968 году.

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

Книга называется так:


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

Она находится на страницах 181-200 и называется так:

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

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

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

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

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

В книге Ершова А.П. Введение в теоретическое программирование. (беседы о методе) 1977г.
есть
Часть II. ПРЕОБРАЗОВАНИЕ СХЕМ ЯНОВА

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

Спасибо, это очень кстати.

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

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

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



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

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

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

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

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

В этот список надо добавить КАСЬЯНОВА (чрезвычайно ценная книга):

Есть и более поздняя книга Касьянова и Евстигнеева:

Если ещё интересно, то есть здесь 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

Спасибо, albobin.

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

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

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

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