Студопедия
Обратная связь


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram 500-летие Реформации

Загрузка...

Значение формализации

Из рассмотренных выше свойств формальных систем наиболее важным, безусловно, следует считать формальность. Даже в нашей повседневной жизни многое организуется по принципам формальных систем. Формализм - это порядок; поэтому там, где имеется множество однотипных объектов (на складе, в библиотеке, в компьютерной базе данных), субъектов (работник предприятия, солдат, студент) или ситуаций (правонарушения, дорожное движение, начисление налогов, обучение в вузе), с которыми имеют дело различные люди, совершенно необходимы четкие правила и их одинаковое понимание всеми, кто ими пользуется. Только формальное следование установленным законам, кодексам, положениям обеспечивает порядок в государстве как системе в целом и отдельных его подсистемах (учреждениях, сообществах, организациях и пр.). Примерами могут служить действия пилотов, машинистов, военных, судей, рабочих на конвейере и т.п. И наоборот, чем меньше формализма в какой-либо деятельности, тем сложнее и неоднозначнее оценка ее результатов, что видно по работе государственных деятелей, учителей, писателей и др.

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

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

 

Читайте также:

Пример 4.1

Пример 5.2

Пример 2.7

А.1. Понятие вероятности

Коды, обнаруживающие ошибку

Вернуться в оглавление: Теоретические основы информатики

Просмотров: 1253

 
 

54.158.195.221 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам.