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

Ожидайте...

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

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

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

ВИЗУАЛИЗАЦИЯ

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

Нам понадобится определение двух понятий: визуальный логический вывод (видеовывод) и визуальное логическое исчисление (видеоисчисление). Чтобы облегчить изучение материала, используем уже знакомый читателю метод очной ставки, помещая в левой графе табл. 6 хорошо известное "текстовое" понятие, а в правой — определение нового, "визуального" понятия.

Таблииа б

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

"видеовывод"

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

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

"логический вывод" [5)

Формула С„называется теоремой

исчисления V, если существует вывод

в V, в котором последней формулой

является C„

Нетрудно заметить, что новое определение (справа) почти дословно

совпадает с классическим (слева); разница состоит лишь в добавлении

приставки "видео".

270

Вывод в исчислении V есть

последовательность C~, ..., С„формул,

такая, что для любого i формула С,

есть либо аксиома исчисления V,

либо непосредственное следствие

предыду~пих формул по одному

из правил вывода.

Видеовывод в видеоисчислении V

есть последовательность C~, ... С„

видеоформул, такая, что для любого i

видеоформула С, есть либо

видеоакснома видеоисчисления V, либо

непосредственное следствие

предыдущих видеоформул по одному из

правил видеовывода.

Видеоформула С„называется

видеотеоремой видеоисчисления V, если

существует видеовывод в V,

в котором последней видеоформулой

является C

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