DRAKON.SU

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
СообщениеДобавлено: Воскресенье, 15 Октябрь, 2017 10:00 

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

О неклассической логике высказываний я впервые доложил на Научном семинаре в Институте системного программирования Российской академии наук 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

Основные положения неклассической логики высказываний

Запрещено использовать:

▪ Пропозициональные переменные
▪ Пропозициональные связки & ∨ ¬ (И, ИЛИ, НЕ)
▪ Слова «Истина» и «Ложь». Вместо них «Да» и «Нет»

Какова цель этих запретов?

Цель — превратить сложное в простое,
превратить ТРУДНОЕ для понимания в ЛЕГКОЕ для понимания.

Иными словами, облегчить логическое мышление людей и сократить число человеческих ошибок


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 15 Октябрь, 2017 10:18 

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


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

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 3806
Откуда: Москва
Подробнее см.
viewtopic.php?f=160&t=6262


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

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


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

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


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

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