DRAKON.SU

Текущее время: Воскресенье, 18 Ноябрь, 2018 03:09

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




Начать новую тему Ответить на тему  [ Сообщений: 10 ] 
Автор Сообщение
СообщениеДобавлено: Пятница, 08 Июнь, 2018 21:03 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
Паронджанов В.Д.
Алгоритмическая логика


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

Выкладываю труд под названием "Алгоритмическая логика".
63 страницы (8 глав, 50 рисунков).
Это часть моей новой книги по языку ДРАКОН.

http://drakon.su/_media/biblioteka/algo ... ogika1.pdf

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

Я старался учесть критические замечания, высказанные на нашем форуме, и дать исчерпывающий ответ.

В самом начале имеется работающее оглавление.

Прошу критиковать. Буду благодарен за указания на ошибки и опечатки.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 08 Июнь, 2018 21:24 

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

Цитата:
Часть 4. Алгоритмическая логика.
Математическая логика в алгоритмах.
Визуальная алгебра логики


Глава 14. Логические операции И, ИЛИ, НЕ

        Логическая операция «И» 5
        Алгоритмы, использующие операцию «и» 6
        Два способа записи операции «и» 6
        Какой способ лучше: текстовый или визуальный? 6
        Сравнение математической формулы и дракон-схемы
        Логическая операция «Или» 8
        Алгоритмы, использующие операцию «или» 9
        Два способа записи операции «или» 9
        Какой способ лучше: текстовый или визуальный?
        Сравнение математической формулы и дракон-схемы
        Логическая операция «не» 11
        Двойное отрицание 11
        Как избавиться от знака отрицания 12
        Выводы 13

Глава 15. Логическая функция «И»

        Логическая схема «И» с двумя условиями 14
        Таблица истинности 14
        Желательно избегать сложных выражений 14
        Как представить схему «И» на языке дракон 15
        Текстовая и графическая запись функции «И» 15
        Логическая схема «И» с тремя условиями 16
        Логическая функция «И» 16
        Как читать абстрактные дракон-схемы 17
        Абстрактная схема с тремя условиями 18
        Знак вопроса можно убрать 18
        Логическая связка «И» 18
        Инверсный выход из схемы «и» 19
        Логический фрагмент дракон-схемы 19
        Стандартная и нестандартная логическая схема «И»
        Чем различаются стандартная и нестандартная схемы «И»
        Теорема фрагмента 21
        Вывод формулы для инверсного выхода 21
        Расстановка «Да» и «нет» на выходах иконы Вопрос
        Выводы 23

Глава 16. Логическая функция «ИЛИ»

        Логическая схема «Или» с двумя условиями 24
        Таблица истинности 24
        Как представить схему «ИЛИ» на языке дракон 25
        Текстовая и графическая запись функции «Или» 25
        Логическая схема «Или» с тремя условиями 26
        Логическая функция «ИЛИ» 26
        Логическая связка «ИЛИ» 27
        Стандартная и нестандартная логическая схема «ИЛИ»
        Чем различаются стандартная и нестандартная схемы «ИЛИ»
        Как преобразовать формулу маршрута в конъюнктивную форму
        Формулы маршрутов В стандартной схеме «или» 29
        Формулы главного и инверсного выходов схемы «или» в дизъюнктивной Нормальной форме 30
        Выводы 30

Глава 17. Как удалить логические связки из логических выражений

        логические связки желательно устранить из дракон-схем 31
        рекомендации эргономики 31
        Как убрать логическую связку «не» из иконы вопрос
        как убрать логическую связку «и» из иконы вопрос
        как убрать логическую связку «или» из иконы вопрос
        Теорема удаления логических связок 32
        примеры 34
        выводы 34

Глава 18. Канонические логические схемы

        Каноническая дракон-схема 35
        Задача 35
        Пример 1 35
        Зачем нужна икона с 36
        Главный маршрут и рокировка для абстрактных схем
        пример 2 38
        Пример 3 38
        Пример 4 41
        Куда смотрит нижний выход иконы вопрос 41
        Две зоны 41
        Пример 5. Импликация 44
        Приведение импликации к каноническому виду 44
        выводы 45

Глава 19. Логическая функция «исключающее ИЛИ»
        введение
        Логическая схема «исключающее Или». Объяснение на пальцах
        Таблица истинности 47
        Как представить функцию «исключающее ИЛИ» на языке дракон
        Неполная и полная схема «Исключающее или» 48
        Формула для инверсного выхода 49
        Переключатель маршрутов в иконе вопрос 49
        Переключатель маршрутов в логическом фрагменте
        Что такое хорошо и что такое плохо 50
        Что лучше: один переключатель или два 50
        Четыре комбинации логических переменных 51
        Классическая и неклассическая алгебра логики
        запрещенные маршруты 51
        Приведение логической функции «Исключающее ИЛИ» к каноническому виду 52
        Простая схема для строгой дизъюнкции 54
        выводы 55

Глава 20. Сложные логические функции

        Визуализация сложной логической функции 56
        Логический фрагмент и его функция 57
        Упражнения. Найдите функцию логического фрагмента 57
        Когда лучше использовать стандартную схему, а когда — нестандартную 59
        Правильная схема 60
        Выводы 63

http://drakon.su/_media/biblioteka/algo ... ogika1.pdf


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 15 Июнь, 2018 09:04 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
Паронджанов В.Д.
Алгоритмическая логика


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

http://drakon.su/_media/biblioteka/algo ... ogika1.pdf

Прошу критиковать. Буду благодарен за указания на ошибки и опечатки.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 27 Июнь, 2018 08:59 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
Цитата:
Часть 4. Алгоритмическая логика.
Математическая логика в алгоритмах.
Визуальная алгебра логики

http://drakon.su/_media/biblioteka/algo ... ogika1.pdf

Это составная часть языка ДРАКОН. 63 страницы

Прошу критиковать


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 17 Октябрь, 2018 18:21 

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

Применительно к медицине я буду использовать термин
Цитата:
Логика клинических алгоритмов


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 17 Октябрь, 2018 19:57 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 787
Что то непонятно?

Термины "математическая логика" и "логика алгоритмов" это различные термины, т.к. относятся к различным областям знаний.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 18 Октябрь, 2018 08:00 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
LKom писал(а):
Что то непонятно?

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

Логика клинических алгоритмов — частный термин, относящийся к клинической медицине, более узко — к клиническим алгоритмам.

Логика клинических алгоритмов — раздел математической логики


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 19 Октябрь, 2018 12:30 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 787
Ну вот, в https://forum.drakon.su/viewtopic.php?p=102138#p102138 исчез термин "математическая логика", как корова языком слизала. Даже времени изменения нет.

Так мог сделать только наделенный полномочиями В.Д. Паронджанов.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 20 Октябрь, 2018 17:22 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 787
https://forum.oberoncore.ru/viewtopic.php?p=105117#p105117
В теме В.Д. Паронджанова: Понятие алгоритма. Прошу покритиковать формулировку

Суббота, 20 Октябрь, 2018 16:23
Kemet писал(а):
алгоритм к математике вообще никак не относится
Вполне ясный ответ.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 25 Октябрь, 2018 17:20 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
Получил письмо с критическим замечанием. Выкладываю
Цитата:
Владимир Даниелович, добрый день!

В рамках Вашего призыва критиковать "Алгоритмическая логика" на форуме
viewtopic.php?f=160&t=6262
я отправил запрос на регистрацию на форуме. А пока, чтобы не терять время, решил написать Вам письмо со своими критическими мыслями.

Я пролистал ваш труд https://drakon.su/_media/biblioteka/alg ... ogika1.pdf
и сосредоточил внимание на визуальном (эргономическом) представлении операции "Исключающее ИЛИ".

Визуальная схема "Исключающее ИЛИ" (стандартная и нестандартная, рис.104 и 105) на странице 52 меня расстроила, ожидал там увидеть какое-то оригинальное новшество, к сожалению мои ожидания не оправдались.

Возможно вы об этом думали и знаете проблемные стороны этой схемы, главный недостаток её в том, что иконы вопрос повторяются дважды.
"Том пошёл за кладом?", а потом "Том пошёл за кладом?" - думаю, что это не эргономично.
Мы ведь в жизни, постучав в дверь не спрашиваем дважды "Разрешите войти?":
- Разрешите войти?
- Входите
- Разрешите войти?
В жизни это покажется странным.

Избавиться от повторения вопросов без пересечений линий или каких-то нововведений не получается. Но язык ДРАКОН имеет право (должен) развиваться, чтобы быть конкурентным. Моё видение, что решить проблему повторения вопросов можно путём внедрения в дракон-схему таблицы истинности, почти прямиком, как мы к ней привыкли. Кроме упрощения схемы "Исключающее ИЛИ" сразу решается вопрос со сложными логическими выражениями.
Например (грубо, не так красиво, как у Вас):
"Исключающее ИЛИ"

Таблица истинности (опущена)

Со сложными функциями по такой схеме тоже становится намного проще. Читать схемы с большим количеством икон вопрос, для сложных логических функций — также грустно, как и читать сложную логическую формулу в одну строку.

Это основная моя мысль, надеюсь на Ваше понимание.

Негрей Аким Алексеевич


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

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


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

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


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

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