Комментарии к моей статье на ХабреGryphon88 писал(а):
возможности ДРАКОНа размыты и магичны. Хочется не слов, не примеров, а математики, грубой и однозначной.
Владимир Паронджанов писал(а):
Я уже указал и привел ссылки на мою книгу про два важных математических раздела, которые являются теоретической основой языка ДРАКОН.
1. Глава 32. Исчисление икон — новый метод предотвращения ошибок
2. Часть 3. Алгоритмическая логика. Математическая логика в алгоритмах. Визуальная алгебра логики
Глава 12. Логические операции И, ИЛИ, НЕ
Глава 13. Логическая функция И
Глава 14. Логическая функция ИЛИ
Глава 15. Как удалить логические связки из логических выражений
Глава 16. Канонические логические схемы
Глава 17. Логическая функция «исключающее ИЛИ»
Глава 18. Сложные логические функции
3. Кроме того, нужно упомянуть еще один (третий) пункт, связанный с математическим обоснованием макроконструкции силуэт.
Это модифицированный мною метод Ашкрофта-Манны, который в литературе называется по-разному.
Эдвард Йодан описывет его в разделе Метод введения переменной состояния на стр. 192 и далее (в книге Структурное проектирование и конструирование программ) и называет его методом Ашкрофта-Манны.
Ричард Лингер, Харлан Миллс и Бернард Уитт в книге Теория и практика структурного программирования описывают то же самое в разделе 4.4.4. Рекурсивные структурированные программы на стр. 129 и далее и не упоминают про метод Ашкрофта-Манны.
Это важный метод, позволяющий понять математическую предысторию макроконструкции силуэт. Я расскажу об этой математике чуть позже.