Что это – формализация? Метод формализации. Понятие, суть, этапы, результат, примеры, виды формализации

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

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

Виды и варианты документов, формализующих идеи проектов, могут быть самые разные – это пояснительная записка автора «священной коровы», инициатива на запуск проекта от сотрудника компании, концептуальная записка о начале проекта, заявка на проект, служебное письмо об инициировании, краткое описание идеи проекта и т. д. Название документа и его состав определяется корпоративным регламентом по управлению проектами. Сам документ носит официальный характер и входит в документооборот компании. В документе в качестве обязательных позиций должны иметь место, как минимум, следующие:

первоначальное рабочее название проекта, полное и краткое;

декларируемая первоначальная цель проекта;

комментарии по связи с бизнесом компании, ее долгосрочной стратегией и миссией (ваш проект вряд ли поддержат, если он будет противоречить интересам развития компании);

описание изменений: что будет изменяться в результате проекта (проект может увеличивать возможности компании или решать проблемы конкретного подразделения);

предполагаемый результат/продукт проекта (описание);

предварительные требуемые ресурсы (трудовые, финансовые, материальные);

предполагаемые участники – заказчик, основной исполнитель, предполагаемый руководитель проекта и команда;

предварительные сроки (дата начала или конца) и бюджет проекта;

возможные риски, ограничения и предположения проекта.

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

«Мозговой штурм» – это процесс, направленный на снятие барьера стереотипного мышления, использование творческого потенциала группы участников обсуждения путем обмена идеями. Такой обмен работает двояко: когда один человек высказывает свою идею, это стимулирует возникновение идей у других, а это, в свою очередь, приводит к увеличению числа идей у того, кто первоначально высказал идею. Проводя «Мозговой штурм» необходимо придерживаться следующих основных процедур:

соберите всех возможных участников нового проекта (чем больше, тем лучше, хотя иногда достаточно и 2-3 наиболее активных представителей);

по кругу высказывайте все приходящие в голову идеи по новому проекту (обязательно надо озвучивать все идеи, какими бы глупыми или нереальными они не казались, даже «сумасшедшие»);

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

не оценивайте и не обсуждайте идеи на этом этапе, просто фиксируйте;

старайтесь лишь добиться четкой формулировки и понимания идеи;

старайтесь не дублировать идеи, не допускайте повторений;

не концентрируйтесь слишком долго на одной идее;

поощряйте количество озвученных идей (чем больше у вас будет идей, тем больше шанс найти среди них полезные);

не старайтесь быстро завершить процесс; когда силы иссякли, отдохните и затем начните снова.

Один из очень полезных вариантов инициирования проекта предложен в книге О’Коннела (см. список литературы). Это могло бы эффективно работать в России, где дистанция во власти между участниками проекта может быть очень велика, и чтобы получить какие-либо согласования или мнения или утверждения, необходимы усилия и очень много времени. При инициализации, чтобы обсудить идею проекта, нужно пройти много кабинетов, найти необходимых сотрудников, многое проговорить по телефону, а отведенное время крайне мало. Гораздо эффективнее собраться ключевым участникам проекта вместе и обсудить материалы по инициируемому проекту в изолированной обстановке вне служебных дел, телефонов и иных помех. Такое мероприятие называется «ускоренным погружением» в процесс определения проекта. Для его использования существуют следующие причины и предпосылки:

идея проекта сопровождается большим количеством документов, согласований и времени;

нет уверенности в непрерывности подготовки бумаг, присутствуют задержки, искажения;

  • *возможно снижение энтузиазма команды;
  • *есть объективные и необъективные трудности в получении людей дляобсуждения вопросов проекта в нужное время;

возможны прерывания работ;

другие обязанности становятся более приоритетными;

есть трудности проведения совещаний, необходимы переделки и уточнения.

Процедура проведения «ускоренного погружения» в процесс определения проекта выглядит следующим образом. Первоначально проводится короткий семинар или просто встреча, где потенциальные участники информируются о будущей основной встрече по проекту в форме мозгового штурма, о ее формате и содержании. Основная встреча проводится спустя некоторое время и обязательно в изолированном месте (недопустимы помехи, связанные с домашними делами, звонками мобильных телефонов и неожиданными посетителями). Встреча проводится по правилам процедуры мозгового штурма, где также характерно: наличие ведущего; необходимое, но не излишнее число участников; отсутствие временных ограничений: до 2-3 дней в случае необходимости. При проведении мероприятия возможны определенные проблемы, но результат такой встречи может быть очень значительным. Буквально в течение нескольких дней снимается огромное количество вопросов, согласовываются нюансы выполнения и достигаются внутренние соглашения. В условиях рассредоточения сотрудников компании по географическим точкам для реализации таких погружений возможно использование видеоконференций через Интернет или телевидение. В крайнем случае это может быть селекторное совещание. Понимая занятость многих сотрудников, специфику организации бизнеса и российскую ментальность, нельзя настаивать на обязательном применении этой процедуры, но при возможности это нужно проводить.

Из практики

Во время учебы по основам управления проектами, проводимой автором в одном из домов отдыха около Санкт-Петербурга, разыгрывались несколько конкретных идей возможных проектов. Один из проектов касался развития собственной типографии и требовал участия в обсуждении генерального директора компании, его заместителя по финансам, ведущих проектировщиков, руководителя типографии, заместителя директора по кадрам и ряда других сотрудников. Указанные сотрудники были собраны для специальной встречи несколько дней спустя, также в этом доме отдыха. Дискуссии и дебаты, проведенные по время учебы, позволили довести проект практически до полной ясности, снять ряд внутренних вопросов, что было бы очень сложно сделать в рабочих условиях. Как результат – проект успешно развивается дальше.

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

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

Работа в архиве завершенных проектов компании, анализ текущих аналогичных проектов в других компаниях позволяет снять много предварительных вопросов и рисков проекта. Хорошо, когда служба управления проектами ведет такой архив в электронном виде: в этом случае поиск аналога и работа с ним не представляет особого труда. Общаясь с представителями компаний разных отраслей, автору довольно редко приходилось слышать о существовании таких архивов. Наиболее часто это происходит среди проектных институтов, где существуют даже особые помещения с множеством материалов.

image

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

Естественные информационные элементы

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

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

image

  • для продавца – это стоимость, количество и учет продаж;
  • для покупателя – это качество бумаги, изготовитель и возможности: для математики или для письма.

Математики оперируют формулами. Особого значения функции и типы переменных не имеют, но подразумеваются. Комплексное число никогда не бывает целым или дробным – оно бывает только комплексным. Его две части – это совсем другое. Бесконечно малая величина или величина, стремящаяся к бесконечности, – тоже абстракции естественного типа.

Любая бухгалтерская или управленческая задача в естественном мире ставится предельно четко и понимается как постановщиком, так и исполнителем. Вопрос, что уровень понимания может различаться – деталь. Задача есть, и как ее поставить – вопрос не сложный. Но вот как запрограммировать задачу? Тут действительно есть над чем подумать.

Формализация данных: «Паскаль»

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

Когда программирование только формировалось как область обработки информации, считалось правильным обратное: каждая переменная должна быть описана заранее, и менять ее тип было никак нельзя.

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

Например, «Паскаль» предлагал:

  • byte – целое (0..255);
  • boolean – логическое (по сути, фикция, но размером в 1 байт);
  • word – целое (0..65535);
  • integer – целое число (-32768..32767);
  • real, single, double – вещественное число;
  • char – символ и др.

Кроме того, программист мог использовать перечислимые, интервальные и структурные типы переменных.

Собственно понятно, что byte и boolean – это абстракции формального мира, в естественном применении их нет: логические выражения можно обозначить сотней способов, и это делали задолго до появления компьютеров, а отличать byte от integer – излишество.

Формализация данных: С/С++

Разработчики С/С++ пошли значительно дальше. Здесь не только вариантов описания одного типа integer ровно столько, сколько в «Паскале» всего описаний, но и операции с указателями (адресами на переменные) гораздо сложнее.

Синтаксис конструкций описаний и обработки, выделение кода и описаний в разные файлы – все это говорит о том, что начальный этап в программировании был поглощен решением задачи: максимально точно формализовать предметную область.

По описаниям: тип, значения, переменная. По каждой конструкции обработки, например, циклов было ровно столько, сколько есть вариантов проверки условия выхода. Операторы условий (if) и ветвления (switch/case) были жестко определены.

В конечном счете все это привело к кардинально разным противоположностям:

  • C# – одна идея: точно описано, правильно исполнено;
  • JavaScript & PHP (и им подобные) – вторая идея: «полная» свобода описаний.

Обе идеи прекрасно уживаются в современном динамичном мире и имеют достаточное количество благодарных разработчиков.

Байты, слова и указатели

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

Описатели byte & boolean – близнецы братья. Очень выгодно при кодировании работать с байтами. Причем есть шикарные операции сдвига влево и вправо, а байт состоит из восьми бит. Это очень практичные описания типов данных. Переменные могли свободно управлять ветвлениями, циклами, счетчиками.

Перемещение единички по позициям в байте – очень востребованный метод управления исполнением кода.

Указатели – это первая реальная возможность сделать код динамичным. Это призрачная динамика: посредством указателя можно было перемещаться по переменным, не обращая внимания на их описанный тип.

Можно сказать, что период жесткой формализации позволил понять, что и как хотят сделать разработчики С#, чего и зачем добиваются сторонники JavaScript & PHP.

Базы данных: запрос – это строка символов

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

В любой базе данных есть:

  • целое число;
  • вещественное число;
  • логический тип;
  • строка фиксированная;
  • строка переменная.

К этому джентльменскому набору добавляется, как правило, все, что было сделано в конкретной СУБД с момента ее создания.

Самый востребованный тип – строка, но самое неприемлемое в этом типе переменной – длина. На современном этапе программирования объем строки не имеет значения, то есть требование соблюдать фиксированную длину ограничивает программиста и создает прецеденты для ошибок.

Базы данных: запрос – это смысл и совокупность типов

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

В некоторых реализациях запрос выдает логическое значение. В большинстве случаев результаты запроса получаются совершенно иными механизмами.

  1. $cQuery = “delete from `ex_owners`”
  2. $cMySQL = mysqli_query($this->iConnectId, $cQuery)

Первая строка – это текст запроса, вторая исполнение запроса. Какое значение получит переменная $cMySQL, или какой будет у нее тип – мало интересно.

  • $cQuery = “create table if not exists sc_bees_1990 (“;
  • $cQuery .= ” oj_owner char (20), “; // код владельца
  • $cQuery .= ” oj_code char (20), “; // код экземпляра
  • $cQuery .= ” oj_name char (244), “; // имя объекта
  • $cQuery .= ” oj_line int (3), “; // номер строки объекта или 0
  • $cQuery .= ” oj_store varchar (18000),”; // тело объекта
  • $cQuery .= ” oj_status char (200)) “; // статус,
  • $cMySQL = mysqli_query($this->iConnectId, $cQuery);

Это более практичный запрос – создание таблицы. Но здесь также не интересно ни значение, ни тип $cMySQL.

В строке запроса указан важный смысл: создание таблицы определенной структуры и указаны типы переменных, то есть типы полей. Любая ошибка в этом описании приведет к созданию неправильной таблицы.

В данном случае (на PHP), совершенно не важно, как и когда была описана переменная $cQuery, но крайне важно описание типов внутри нее. PHP очень тесно связан с базой данных MySQL, и посредством запросов могут создаваться таблицы просто как списки переменных, потом удаляться или читаться.

Так что где, что и как описал программист – это вопрос алгоритма и решаемой задачи.

Кодировка строк

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

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

Например, идет заполнение товаром интернет-магазина. Бухгалтер может ошибиться, или программист может предусмотреть переход из одного режима ввода в другой по изменению типа переменной. Закончился ввод цен, и пришла команда на ввод изображений товара, но ввод осуществлялся в одном поле на стороне клиента.

Обработчик JavaScript в браузере работает в одной кодировке, механизм AJAX имеет свои ограничения, декодирование на стороне сервера может привести к интерпретации числа строкой, а строки числом. В любом случае, прежде чем сдавать код в промышленную эксплуатацию, важно очень внимательно отнестись к кодировке. Это не тип переменной, но это крайне важно.

Идеальная переменная

Современный мир программирования многообразен, но удивительно стабильно развивается. Интересен путь С# и идея JavaScript & PHP. Со всей определенностью нельзя сказать, что самая удобная и эффективная переменная – это последовательность информации, но строки импонируют многим, а используют их все.

Такой же, как и речь (человек говорит и его понимают), должна быть и строка – она пришла и ее прочитали.

Что делать, есть проблемы кодировки и пока строка – это только символы и коды. Но быть может завтра будет строка – звук или видео. От современных технологий можно ждать неожиданностей.

Похожие статьи

Формализация структуры NormalfalsefalsefalseMicrosoftInternetExplorer4<![endif]–><![endif]–><! /* Style Definitions */ table.MsoNormalTable {mso-style-name:”Обычная таблица”; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-parent:””; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:”Times New Roman”; mso-ansi-language:#0400; mso-fareast-language:#0400; mso-bidi-language:#0400;} –>

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

Степень формализации может очень широко варьироваться как между организациями, так и внутри каждой. Например, некоторые работы слабоформализованы. Агенты по продаже обладают большой свободой действия. Объем правил и процедур, управляющих их поведением, определяется тем, что должно быть представлено руководству в еженедельном отчете. Но в этой же организации существуют должности, которые требуют присутствия работников точно с 8 до 17 часов. В противном случае они могут быть подвергнуты взысканиям и даже оштрафованы. Их работа определяется директивами сверху.

Back to the topHome

Формализация

— совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной…

— совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и формальной логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, к-рые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются нек-рыми символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с к-рымн можно обращаться как с конкретными физическими объектами, а развертывание теории свести к манипулированию с этими объектами в соответствии с нек-рои совокупностью правил, принимающих во внимание только и исключительно вид и порядок символов, н тем самым абстрагироваться от того познавательного содержания, к-рое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной науки, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием, она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое-развитие. Сама же потребность в Ф. возникает перед той или иной наукой на достаточно высоком уровне ее развития, когда задача логической систематизации и организации наличного знания приобретает первостепенное значение, а возможность реализации этой потребности предполагает огромную предварительную работу мышления, совершаемую на предшествующих Ф. этапах становления научной теории. Ф.— мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств, лежащих в основе Ф., ориентирована на то, чтобы обеспечить необходимое соответствие между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф.: класс выводимых в формализованной теории формул должен совпадать с классом содержательно-истинных положений подвергшейся Ф. теории (но обратное утверждение, как правило, неверно). Поскольку для построения формальной системы необходимо использовать (хотя и в весьма ограниченном объеме) естественный, разговорный язык и в терминах этого языка проанализировать ее структуру, описать логические особенности формализма (непротиворечивость, разрешимость, полнота и т. д.), это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных дедуктивных и выразительных возможностей. Ф. играет важную роль в систематизации той суммы знаний, к-рая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, сократить число положений теории, принимаемых за исходные, и т. д. Вместе с тем Ф. дает не только точный язык, но и является ценным орудием мышления, позволяющим получать новые результаты. История математики, логики, лингвистики и ряда др. наук свидетельствует, что Ф. стимулирует движение познания к новым результатам, открывает возможность формулировки и постановки новых проблем, поиска их решения и т. д. В расширении возможностей Ф. существенную роль играет бурный прогресс вычислительной техники. Полученные с помощью методов Ф. результаты имеют важное философское значение для понимания природы и познавательных возможностей точных методов исследования, диалектики формального и содержательного в научном познании, критики формалистского истолкования природы математики и логики. Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществлявшихся на основе методов Ф.,— теоремы Гёделя о неполноте достаточно богатых формализованных теорий и теоремы Тарского о неформализуемости понятия истины для таких теорий, выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Эту ограниченность можно в известной степени преодолеть путем создания более богатых систем. В этом смысле можно утверждать, что Ф. позволяет шаг за шагом приближаться ко все более полному выражению познавательного содержания теории через ее форму. Тем не менее во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, этот процесс не может быть завершен. Ф. не может исчерпать всего богатства содержания таких теорий.

Формализация

– способ выражения содержания совокупности знаний через опреленную форму – знаки искусственного языка. Наиболее…

– способ выражения содержания совокупности знаний через опреленную форму – знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование “застывшими” понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание, так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности.

А.А. Грицанов, Ю.В. Баранчик

Формализация

– подход в науке, который заключается в использовании специальной символики и знаковой системы, позволяющей отвлечься…

– подход в науке, который заключается в использовании специальной символики и знаковой системы, позволяющей отвлечься от изучения реальных объектов и оперировать вместо этого некоторым множеством символов или знаков. Она создается для точного выражения мыслей с целью исключения неоднозначности понимания. На основе формализации создаются искусственные языки, используя которые, можно проводить исследования чисто формальным путем, оперируя только символами, без непосредственного обращения к объекту.

Формализация

– метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание,…

– метод семиотического анализа объектов любой природы, направленный на выявление формы.

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

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

А.Г. Кислое

Формализация

(от лат. forma – вид, образ) – отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым…

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

Выражение мышления в естественном языке можно считать первым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием частично искусственных и искусственных языков.

Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логического вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяемых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных формул для получения из них новых формул (теорем).

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

Ф. играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуждения. Так обстоит дело, в частности, с широко используемым понятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы.

Только с Ф. арифметики появилась возможность поставить вопрос, охватывает ли формализованная арифметика всю содержательную арифметику. Как показал К. Гёдель, достаточно богатая содержанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями последняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема).

1. Понятие модели 2. Материальные и информационные модели 3. Этапы моделирования 3.1. Постановка задачи. 3.2. Разработка модели. 3.3. Компьютерный эксперимент. 3.4. Анализ результатов моделирования 4. Понятие формализации 5. Задания для самостоятельного решения

4. Понятие формализации

Под формализацией понимается сведение некоторого содержания к выбранной форме. В процессе познания и общения мы сталкиваемся с формализацией почти на каждом шагу: формулируем мысли, оформляем отчеты, заполняем всевозможные формуляры и формы, преобразуем формулы. Возможность формализации опирается на фундаментальное положение, которое будем называть основным тезисом формализации. Суть его состоит в принципиальной возможности разделения объекта и его обозначения (имени объекта). Суть объекта не меняется от того, как мы его назовем. Это значит, что мы можем называть его как угодно, придать его имени любую форму, которая, на наш взгляд, лучше соответствует данному объекту.Пример. Устройство для автоматической обработки информации можно назвать компьютером, электронно-вычислительной машиной, персональным компьютером, а можно дать ему какое-нибудь ласковое имя. Из основного тезиса формализации следует сама идея моделирования. Поскольку объект нужно как-то обозначать, то необходимо ввести некоторый набор знаков для обозначения. Знак – это элемент конечного множества отличных друг от друга элементов. Поскольку обозначение выбирается достаточно произвольно, то возможные наборы знаков могут быть самыми разнообразными.Примеры. 1)    А, Б, В, Г – знаки для обозначения звуков русского языка; 2)    +, -, *, / – знаки для обозначения арифметических операций. 3)    знаки для обозначения операций над множествами. Понятие знака является одним из базисных понятий науки (также, как понятия «информация», «множество». «объект»), поэтому дать его точное определение не представляется возможным. Но можно указать некоторые основные черты знака: 1)    способность знака выступать заместителем обозначаемого (обозначаемое в семиотике – науке о знаках обозначаемое называют денотантом); 2)    нетождественность знака и денотанта – знак никогда не может заменить обозначаемое полностью; 3)    многозначность соответствия «знак – денотант». Первые две особенности вполне понятны, последнюю поясним на следующем примере.Пример. Зрительному образу Р может быть придан смысл: 1)    буква «эр» русского языка; 2)    буква «pi» латинского языка; 3)    химический элемент фосфор; 4)    дорожный знак «стоянка для автомобилей» Таким образом, один и тот же  знак можно использовать для обозначения разных объектов. С другой стороны, один и тот же объект может быть обозначен разными знаками. Например, день, предшествующий сегодняшнему, можно назвать «вчера», «накануне», «вторник» (если сегодня среда) и т.д. Свобода выбора обозначений и многозначность соответствия «знак – денотант» создают проблему понимания, какой объект обозначается данным знаком в конкретной ситуации. При чем это понимание должно быть однозначным для разных людей, в противном случае общение не возможно. Следовательно, чтобы обеспечить нормальное общение, нужно договориться о правилах использования знаков, т.е. разработать язык. Язык – знаковая система, используемая для целей коммуникации и познания. Все языки можно разделить на естественные и искусственные. Естественными называются «обычные», «разговорные»  языки, которые складываются в течение длительного времени. Искусственные языки создаются для специальных целей или для определенных групп людей. Примеры искусственных языков: язык математики, морской семафор, азбука Морзе, язык программирования. Характерной особенностью искусственных языков является однозначная определенность  их словаря, правил образования выражений и правил придания им значений. Итак, язык характеризуется: •    набором используемых знаков; •    правилами образования из этих знаков таких языковых конструкций, как слова, фразы и тексты (в широком толковании этих понятий); •    набором синтаксических, семантических и прагматических правил использования этих языковых конструкций.Упорядоченный набор знаков, используемых в языке, называетсяалфавитом. Язык выступает инструментом, с помощью которого можно создавать различные конструкции для описания объектов, их свойств, структуры, поведения и т.д. Такие конструкции являются информационными моделями. Любое общение невозможно без того или иного уровня формализации информации. Любой язык, как естественный, так и искусственный) является одним из способов формализации информации. Разница в том, что специальные языки – это строго формализованные системы, а естественные языки – частично формализованные системы.

Начало тут.Пример тут. Категория:  Уроки

Оцените статью
Рейтинг автора
5
Материал подготовил
Илья Коршунов
Наш эксперт
Написано статей
134
А как считаете Вы?
Напишите в комментариях, что вы думаете – согласны
ли со статьей или есть что добавить?
Добавить комментарий