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

Ожидайте...

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

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

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

ГЛАВА 17

ИСЧИСЛЕНИЕ ИКОН И ПОПЫТКА

ПРЕДСКАЗАТЬ БУДУЩЕЕ

Зрительные образы — плоть и кровь самого

мышления.

Рудольф Арнхейм

ВИЗУАЛЬНОЕ ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

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

- Какие же это аксиомы? — вправе удивиться читатель. — Ведь это просто картинки-слепыши! А дракон-схемы вовсе не похожи на теоремы! Кто и зачем их должен доказывать? Наверно, это шутка или метафора.

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

ОБЩЕИЗВЕСТНЫЕ

СВЕДЕНИЯ О МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

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

! явной формулировкой исходных положений (аксиом) развиваемой

теории (формальной системы);

! явной формулировкой правил логического вывода, с помощью которых из аксиом выводятся теоремы теории;

! использованием формальных языков для изложения теорем рассматриваемой теории [1].

Основным объектом изучения в математической логике являются логические исчисления. В понятие исчисления входят такие основные компоненты, как:

267

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