DRAKON.SU
https://forum.drakon.su/

Собираюсь написать книгу "Неклассическая теория алгоритмов"
https://forum.drakon.su/viewtopic.php?f=168&t=5963		 Страница 2 из 2
Автор:  Владимир Паронджанов [ Среда, 17 Май, 2017 19:00 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Подготовил к докладу в ИСП РАН презентацию 104 слайда
Автор:  Владимир Паронджанов [ Пятница, 19 Май, 2017 09:07 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Цитата:
19 мая 2017 года в 15.00 Владимир Паронджанов будет делать доклад на тему:
"Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН"

Альгирдас Каралюс приветствует участников семинара в Институте системного программирования РАН 19 мая 2017 года

https://www.youtube.com/watch?v=HHL9-JxL08s
Автор:  Владимир Паронджанов [ Суббота, 20 Май, 2017 10:39 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Мой доклад на семинаре в Институте системного программирования Российской академии наук состоялся вчера
Цитата:
19 мая 2017 года в 15.00 Владимир Паронджанов сделал доклад на тему:
"Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН"
К докладу я подготовил 104 слайда pptx.

После доклада, как обычно, были вопросы и обсуждение. Семинар длился 3 часа.

Ведущий семинара Заместитель директора Института системного программирования РАН,
Зам. главного редактора журнала "Программирование" Российской академии наук
доктор физико-математических наук, профессор
Александр Константинович Петренко.

Семинар был снят на видео и вскоре будет выложен на YouTube.

Ниже я выкладываю Приветствие Альгирдаса Каралюса (Литва), обращенное к участникам семинара в Институте системного программирования РАН 19 мая 2017 года.

Альгирдас рассказывает

(1) об успехах литовских медиков, применяющих язык ДРАКОН для обучения врачей, лечения и спасения жизней, а также

(2) об использовании языка ДРАКОН для обучения и оптимизации бизнес-процессов.

Альгирдас Каралюс — основатель Центра "DRAKON Language School"

https://www.youtube.com/watch?v=HHL9-JxL08s
Автор:  Владимир Паронджанов [ Воскресенье, 21 Май, 2017 18:06 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
LKom писал(а):
Перед пользователем языка Дракон стоят задачи: писать, читать и понимать Дракон-схемы.
Согласен.

LKom писал(а):
Уважаемый Владимир Даниелович, как видите, для пользователя нет переменной состояния, которая "предложена Ашкрофтом и Манной".
Согласен. Для практиков не нужно использовать метод Ашкрофта-Манны. Это теоретический метод.
Переменная состояния i, (которая нужна в методе Ашкрофта-Манны и которая пробегает значения i = 1, 2, 3, 4, 5 и т.д.) в Силуэте язык ДРАКОН ПРЕВРАЩАЕТСЯ в набор икон "имя ветки". Это доказывает, что Силуэт убирает переменную состояния и вместо нее использует набор веток. Переменная состояния, пробегая через значения 1, 2, 3, при переходе к Силуэту означает пробежку от одной ветки к следующей и т.д.

LKom писал(а):
Владимир Даниелович, у пользователя нет задачи "ПРЕОБРАЗОВАНИЕ ЧЕРНОВОЙ СХЕМЫ В ОКОНЧАТЕЛЬНУЮ СХЕМУ СИЛУЭТ".
Конечно, нет. Я это делал как один из промежуточных этапов в процессе теоретического доказательства. Теоретического, а не практического.

LKom писал(а):
Владимир Даниелович, пользователю достаточно иметь понимание о "линии групповой связи", пользователь знает о ней из стандартов на графические схемы, имеет практику работы с графическими схемами.
Согласен.

LKom писал(а):
Нужен ли пользователю "Метод Ашкрофта-Манны"? Нет, не нужен.
Не практике не нужен. Метод Ашкрофта-Манны нужен для теоретического обоснования.

LKom писал(а):
Могут существовать схемы Силуэт без "линии групповой связи"? Нет, не могут.
Могут существовать схемы Силуэт без "Метода Ашкрофта-Манны"? Да, могут.
Согласен.

LKom писал(а):
Можно ли предложить пользователю язык Дракон без "Метода Ашкрофта-Манны"? Да можно, язык Дракон предложен без "Метода Ашкрофта-Манны" в книге "Почему врачи убивают и калечат пациентов".
Согласен. Для практиков метод Ашкрофта-Манны не нужен.

Но. Язык ДРАКОН (как и любое новое дело) нуждается в ТЕОРЕТИЧЕСКОМ ОБОСНОВАНИИ. Метод Ашкрофта-Манны является одним из методом ТЕОРЕТИЧЕСКОГО обоснования языка ДРАКОН.
Автор:  LKom [ Четверг, 08 Июнь, 2017 15:17 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Владимир Даниелович, так и нет ожидаемой презентации к докладу,
нет видео доклада и обсуждения на семинаре в ИСП РАН.

Как отнеслись к докладу и были ли у А.К. Петренко воспоминания о совместной с Вами работе?
Был ли на семинаре проявлен интерес к Дракону и его современным реализациям?
Автор:  Владимир Паронджанов [ Четверг, 08 Июнь, 2017 16:38 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
LKom писал(а):
Владимир Даниелович, так и нет ожидаемой презентации к докладу,
нет видео доклада и обсуждения на семинаре в ИСП РАН.
Давайте еще немного подождем. Видео должно появиться.

Задержка, наверно, вызвана тем, что монтаж видеоролика требует времени.
Там были два оператора: Сергей Каменев и оператор от ИСП.
Сергей в конце сказал мне, что у оператора ИСП звук был записан на профессиональном оборудовании; поэтому Сергей переписал его себе.

Думаю, что все будет в порядке. И мы все вскоре увидим.

Помню яркий момент: после окончания доклада слушатели наградили меня аплодисментами.
Автор:  LKom [ Понедельник, 12 Июнь, 2017 16:58 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
https://twitter.com/isp_ras

Изображение

В подвале?
Автор:  Владимир Паронджанов [ Среда, 21 Июнь, 2017 17:31 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
viewtopic.php?f=62&t=6036
Автор:  Владимир Паронджанов [ Воскресенье, 21 Январь, 2018 09:05 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Владимир Паронджанов писал(а):
Собираюсь написать книгу "Неклассическая теория алгоритмов"

Классическая теория алгоритмов — это теория вычислимости.
В отличие от нее неклассическая теория алгоритмов рассматривает визуальную форму представления алгоритмов и ставит перед собой следующие задачи (дает ответ на следующие вопросы):

1. Математическое описание визуальных алгоритмов.

2. Как следует проектировать визуальные алгоритмы?

3. Как преобразовать алгоритм из текстовой формы в визуальную?

4. Теория визуальных конечных автоматов

5. Неклассическая структурная алгоритмизация (распространение идей структурного программирования на визуальные алгоритмы).

6. Доказательный подход к проектированию визуальных алгоритмов
(использование визуального логического вывода).

7. Теория эргономичных алгоритмов

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


Уточняю. Название будет такое:
Цитата:
Неклассическая теория алгоритмов
и визуальная математическая логика
Автор:  Rifat [ Понедельник, 22 Январь, 2018 09:41 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Опасаюсь за пункты 5 и 6.
Автор:  Владимир Паронджанов [ Понедельник, 22 Январь, 2018 10:20 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Rifat писал(а):
Опасаюсь за пункты 5 и 6.


Рифат, спасибо за критическое замечание.

На самом деле до книги еще далеко. Это всего лишь план.
Времени у меня, к сожалению, совершенно нет.

Когда руки дойдут до дела, покажет время.
Автор:  Rifat [ Понедельник, 22 Январь, 2018 10:37 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
По поводу пункта 6. Термин "доказательное программирование" имеет уже устоявшийся смысл, который говорит о том, что доказано, что алгоритм соответствует формальной спецификации этого алгоритма. У вас же похожий термин используется для обозначения синтаксической корректности, что нет ошибок в синтаксисе, при этом про логику или соответствие формальной спецификации не говорится. Считаю, что лучше использовать какой-нибудь другой термин, связанный с синтаксической корректностью, чтобы не вводить людей в заблуждение.

По поводу пунта 5. Структурное программирование основывается на нескольких идеях:
1) ограничение на количество возможных конструкций;
2) пошаговое уточнение;
3) доказательство корректности алгоритма.
По поводу применимости связи Дракона и структурного программирования. Как уже писал выше по третьему подпункту они совпадают только терминологически, но не по смыслу, фактически там нет совпадения. Второго подпункта нет. Первый можно сказать, что есть. То есть, у Дракона только одно совпадение из трех со структурным программированием. Считаю, что это очень небольшая схожесть между ними.
Автор:  Владимир Паронджанов [ Вторник, 23 Январь, 2018 15:53 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Rifat писал(а):
По поводу пункта 6. Термин "доказательное программирование" имеет уже устоявшийся смысл, который говорит о том, что доказано, что алгоритм соответствует формальной спецификации этого алгоритма. У вас же похожий термин используется для обозначения синтаксической корректности, что нет ошибок в синтаксисе, при этом про логику или соответствие формальной спецификации не говорится. Считаю, что лучше использовать какой-нибудь другой термин, связанный с синтаксической корректностью, чтобы не вводить людей в заблуждение.

Рифат, спасибо. Вы правы. У меня нет доказательства, что "алгоритм соответствует формальной спецификации этого алгоритма".
И конечно, об этом нужно четко говорить.

Но. Я не согласен с Вами про "синтаксическую корректность".

Термин "синтаксическая корректность" подразумевает, что корректность проверяется компилятором, который выдает сообщения об ошибках, когда синтаксическая корректность нарушается.

Но у меня ведь совсем не так. У меня тоже, можно сказать, идет разговор про "синтаксическую корректность", но смысл этого термина существенно меняется.

По-видимому, лучше говорить не про "синтаксическую корректность", а изобрести какой-то иной термин, чтобы подчеркивать различия, а не скрывать их.

В моем случае компилятор не имеет отношения к контролю используемой мной "синтаксической корректности".
Автор:  Rifat [ Вторник, 23 Январь, 2018 16:20 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Некоторые аналогии, которые пришли на ум.
В обычный компилятор проверяет, что текст соответствует грамматике языка и находит синтаксические ошибки, если они есть. Есть структурные редакторы, которые позволяют вставлять только разрешенные конструкции в определенные места. И здесь уже не бывает синтаксических ошибок. Как мне кажется, можно говорить, что программа получается структурно корректной. И та же самая терминология может применяться к Дракон-редакторам. По сути они аналогичны структурным редакторам, то есть в большинстве своём не позволяют произвольно редактировать схему, а только вставлять разрешенные конструкции в разрешенные места и в итоге получается структурно корректная схема.
Автор:  LKom [ Вторник, 23 Январь, 2018 21:19 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Rifat,
Дракон давно развивается и в редакторах, в частности в ИС Дракон, все, о чем Вы пишите, есть.
Автор:  Rifat [ Вторник, 23 Январь, 2018 23:40 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
LKom писал(а):
Rifat,
Дракон давно развивается и в редакторах, в частности в ИС Дракон, все, о чем Вы пишите, есть.

Если данное высказывание относится к предыдущему моему сообщению в этой теме, то там говорится про терминологию, а не про то, что чего-то нет :)
Автор:  Alexey_Donskoy [ Среда, 24 Январь, 2018 00:24 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Владимир Паронджанов писал(а):
В моем случае компилятор не имеет отношения к контролю используемой мной "синтаксической корректности".
Имеет, имеет.
Между компилятором и структурным редактором нет принципиальной разницы - оба они есть инструменты механизации программирования - разница в степени качества, и эта разница нечёткая - от чистого компилятора через IDE с шаблонами текста до структурного редактора, жёстко выдерживающего синтаксис постоянно.

Но если говорить об обсуждаемом предмете, то речь принципиально идёт о синтаксисе.
И поддержка синтаксиса (с любой степенью механизации) не представляет проблемы - ни теоретической, ни практической.

Проблему представляет семантика, то есть что делает программа и насколько то, что она делает, соответствует спецификации.
Автор:  Rifat [ Среда, 24 Январь, 2018 10:37 ]
Заголовок сообщения:  Re: Собираюсь написать книгу "Неклассическая теория алгоритм
Согласен с Алексеем, что проблема семантики гораздо более существенная проблема, чем проблема синтаксиса.
И пока Дракон не решает теоретически проблему семантики, а помогает решить только проблему синтаксиса (или структурной корректности, как мне кажется, можно использовать и этот термин).
Страница 2 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/