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

Ожидайте...

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

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

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

Таблица 7

Определение понятия

"видеоисчисление"

(визуальное логическое исчисление)

Определение понятия

"логическое исчисление" 161

Логическое исчисление может быть

представлено как формальная система

в виде четверки

Видеоисчисление может быть

представлено как формальная система

в виде четверки

V=

V=<И,SO,А,F>

F — правила вывода, которые из множества А позволяют

получать новые

правильно построенные

формулы — теоремы

Развивая этот подход и опираясь на "текстовое" определение логического исчисления, можно по аналогии ввести понятие "видеоисчисление" (табл. 7).

ИС4ИСЛЕНИЕ ИКОН

Итак, мы определили нужные понятия визуальной математической логики. С их помощью можно построить исчисление икон.

! Множество икон И (букв визуального алфавита) задано тезисом 1 (см. гл. 15) и показано на рис. 1.

1 Множество S, правил визуального синтаксиса описано в гл. 15 в тезисах 2 — 37.

! Множество А визуальных аксиом включает всего два элемента: заготовку-примитив и заготовку-силуэт (рис. 115). Далее будем называть их аксиома-примитив и аксиома-силуэпг.

1 Множество Т, охватывающее все видеотеоремы исчисления V, есть не что иное как множество абстрактных дракон-схем. Заметим, что множество Т не включает аксиомы, так как последние содержат незаполненные критические точки и, следовательно, эквивалентны пустым операторам. Множество Т распадается на две части: множество примитивов Т, и множество силуэтов Т .

271

где И — множество базовых

элементов (букв алфавита);

эо — множество синтаксических

правил, на основе которых

из букв строятся правильно

построенные формулы;

А — множество правильно

построенных формул,

элементы которого

называются аксиомами;

где И — множество икон

(букв визуального алфавита);

So — множество правил

визуального синтаксиса,

на основе которых из икон

строятся правильно

построенные видеоформулы;

А — множество правильно

построенных видеоформул,

элементы которого

называются

видеоаксиомами;

F — правила видеовывода,

которые из множества А

позволяют получать новые

правильно построенные

видеоформулы-

видеотеоремы. (Множество

теорем обозначим через Т.)

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