ПравообладателямКак улучшить работу ума, Паронджанов Владимир
Книжная полка
перейти на полку → Хочу прочитатьЧитаюПрочитана
ИзбранноеВладею
Чтобы воспользоваться книжной полкой выполните вход либо зарегистрируйтесь
← Назад
Скачать: , Паронджанов Владимир Даниелович pdf   Читать
Купить →
Купить →

Ожидайте...

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

Дается общедоступный практический курс, помогающий увеличить силу ума, ускорить разработку алгоритмов и программ, упростить формализацию профессиональных знаний, облегчить проектирование сложной деятельности и бизнес-процессов. Курс основан на `дружелюбных` графических языках, обладающих удивительной наглядностью, `заставляющих` мозг мыслить отчетливо, глубоко и продуктивно.

PDF. Как улучшить работу ума. Паронджанов В. Д.
Страница 275. Читать онлайн

выполнить, чтобы доказать правильность программы на все 100',4. Правда, есть небольшое утешение: частичное доказательство правильности программы с помощью ДРАКОН-редактора осуществляется без какого-либо участия человека и достигается совершенно бесплатно, так как дополнительные затраты труда, времени и ресурсов не требуются. А дареному коню в зубы не смотрят.

ВОЗМОЖНА ЛИ ТЕОРИЯ ВИЗУАЛЬНОГО

ПРОГРАММИРОВАНИЯ?

Хотя видеопрограммирование — сравнительно молодое направление, в этой области уже имеется значительное число интересных прикладных разработок. Однако теоретическое визуальное программирование только зарождается. В доступной литературе автору удалось обнаружить всего несколько строк, которые можно в какой-то степени трактовать как программу будущих исследований в области теории видеопрограммировання: "Для визуального программирования необходимо провести строгие научные обоснования, математические определения и модели- большинство разработок в этой области носит пока эмпирический характер. Перспективным может быть применение при графическом интерфейсе техники искусственного интеллекта, которая обычно используется для описания прикладной области. Система представления знаний может включать набор визуальных примитивов, их символические описания н правила вывода заключений" [12].

Как, вероятно, заметил читатель, в настоящей работе, решая сходную проблему (проблему вывода заключений путем выполнения формальных операций над визуальными примитивами, в качестве которых использовались иконы шампур-схем), мы пошли несколько иным путем. Отличие заключается в следующем. Авторы цитированной работы говорят о "символических описаниях" визуальных примитивов, подразумевая текстовые правила вывода заключений, принятые в традиционной текстовой математической логике. Однако еще А. Ершов при построении исчисления равносильных преобразований схем Янова предпринял первую попытку отойти от "чисто текстовой" математической логики, используя в формулах правил вывода не только символические описания, но и графические изображения [9, 13]. Вместе с тем метод Ершова из-за дефектов визуального синтаксиса нельзя считать полностью формальным.

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

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

275

Обложка.
PDF. Как улучшить работу ума. Паронджанов В. Д. Страница 275. Читать онлайн