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

Ожидайте...

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

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

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

a) формальный язык, который задается с помощью алфавита и синтаксиса,

б) аксиомы,

в) правила вывода [1].

Таким образом, исчисление позволяет, зная аксиомы и правила вывода, получить (т. е. вывести, доказать) все теоремы теории, причем теоремы, как и аксиомы, записываются только на формальном языке.

Напомним, что в рамках математической логики три термина: логическое исчисление, формальная система и теория можно рассматривать как синонимы. Следовательно, теоремы исчисления, теоремы формальной системы и теоремы теории — это одно и то же.

ОБ ОДНОМ РАСПРОСТРАНЕННОМ

ЗАБЛУЖДЕНИИ

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

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

В этих дисциплинах с давних пор (иногда явно, чаще неявно) предполагалось, что результаты математической и логической формализации знаний в подавляющем большинстве случаев должны иметь форму текста (a не изображения). Например, Стефен Клини пишет: «Будучи формализованной, теория по своей структуре является уже не системой осмысленных предложений, а системой фраз, рассматриваемых как последовательность слов, которые, в свою очередь, являются последовательностями букв... В символическом языке символы будут обычно соответствовать целым словам, а не буквам, а последовательности символов, соответствующие фразам, будут называться "формулами"... Теория доказательств... предполагает... построение произвольно длинных последовательностей символов» [2].

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

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

268

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