DRAKON.SU https://forum.drakon.su/ |
|
Язык ДРАКОН и неклассическая логика высказываний https://forum.drakon.su/viewtopic.php?f=161&t=6113 |
Страница 1 из 1 |
Автор: | Владимир Паронджанов [ Воскресенье, 15 Октябрь, 2017 10:00 ] |
Заголовок сообщения: | Язык ДРАКОН и неклассическая логика высказываний |
Язык ДРАКОН и неклассическая логика высказываний О неклассической логике высказываний я впервые доложил на Научном семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года в докладе "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН". См. Раздел 4. Визуальная логика http://drakon.su/video_i_prezentacii/st ... zyk_drakon См. видеозапись Доклада В.Д. Паронджанова, начиная с момента 49:55 (49 минут 55 секунд). (Длительность видеоролика 2 часа 38 минут) https://www.youtube.com/watch?v=MFPqCqcv7kY Основные положения неклассической логики высказываний Запрещено использовать: ▪ Пропозициональные переменные ▪ Пропозициональные связки & ∨ ¬ (И, ИЛИ, НЕ) ▪ Слова «Истина» и «Ложь». Вместо них «Да» и «Нет» Какова цель этих запретов? Цель — превратить сложное в простое, превратить ТРУДНОЕ для понимания в ЛЕГКОЕ для понимания. Иными словами, облегчить логическое мышление людей и сократить число человеческих ошибок |
Автор: | LKom [ Воскресенье, 15 Октябрь, 2017 10:18 ] |
Заголовок сообщения: | Re: Язык ДРАКОН и неклассическая логика высказываний |
.. |
Автор: | Владимир Паронджанов [ Пятница, 15 Июнь, 2018 22:12 ] |
Заголовок сообщения: | Re: Язык ДРАКОН и неклассическая логика высказываний |
Подробнее см. viewtopic.php?f=160&t=6262 |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |