Формалізація як найважливіший етап моделювання.
Формалізація - зведення деякого змісту до обраної формі. Найбільш звичний вид моделювання - словесний опис. Найчастіше словесний опис називають текстом.
Текст - це деяка мовна конструкція, яка складається з елементарних знаків мови
Ступінь формалізації тексту залежить від поставлених цілей:
вид тексту вимоги формалізації
особистий лист правила орфографії і синтаксису
діловий лист форма звернення, дотримання стилю, виділення червоним рядків
бланк, формуляр відомості заносяться в спеціально відведені графи за заданим шаблоном
Питання 1. Які переваги дає формалізація оформлення тексту?
Більшість документів, що зустрічаються в сфері діловодства, мають стандартну форму. Ця форма називається шаблоном документа. Обов'язкові дані, які необхідно відобразити в документі, називаються реквізитами. Відсутність в документі встановлених законодавством реквізитів позбавляє його так званої «юридичної сили», тобто можливості використовувати документ для тієї мети, для якої він призначений.
Питання 2. Які реквізити повинні бути присутніми на бланку підприємства?
Формалізація може стосуватися як оформлення тексту, так і змісту. Наприклад, визначення понять будуються за формою: визначається поняття розкривається через найближче родове поняття і видові відмінності. Така форма використовується в більшості наукових визначень.
Формалізація змісту допомагає порівняти з виділеним (формальним) ознаками реальний об'єкт з описаним в моделі, і якщо вони збігаються за цими ознаками, то з'являється можливість для прийняття необхідного рішення для конкретної ситуації.
Приклади формалізованих за змістом текстів: Конституція, закон, указ, договір і т.п.
Розрізняють природну і наукову формалізацію тексту. Природна формалізація являє собою відображення об'єктів за допомогою того чи іншого природної мови; наукова формалізація - за допомогою відповідного формального мови. У процесі наукової формалізації, з одного боку, здійснюється більш точне і компактне відображення конкретних властивостей і відносин, що характеризують ту чи іншу область дослідження, а з іншого боку, використовуються додаткові символічні кошти, що дозволяють шляхом чисто синтаксичних (формальних) перетворень отримувати нове знання про досліджуваної предметної області. Крім термінів, до числа таких символічних засобів відносяться змінні, формули, правила перетворення формул, а також різного роду допоміжні символи (дужки, коми і т.п.).
Серед різних видів наукової формалізації особливо важливе значення має дедуктивна
(Логічна) формалізація. Така формалізація являє собою відображення загальних взаємозв'язків між знаннями - поняттями, судженнями, думками, змістовними
теоріями, системами теорій - за допомогою дедуктивно - впорядкованих систем символів.
Дедуктивна формалізація включає в себе чотири наступних елемента:
1) введення термінів вихідних понять, а також термінів основних відносин між цими
2) введення змінних і правил побудови на їх основі відповідних формул,
3) введення вихідних доказових формул (аксіом),
4) запровадження правил логічного висновку, що дозволяють з аксіом отримувати похідні від них доказові формули (теореми).
Дедуктивна формалізація дозволяє уточнити і систематизувати різні змістовні уявлення, сформулювати нові проблеми і можливі шляхи їх вирішення.
Формалізація нерозривно пов'язана з побудовою штучних, або формалізованих, наукових мов. Такі мови створюються для точного вираження думок з метою виключити можливість неоднозначного розуміння. Формалізація дає можливість будувати наукові мови з точно встановленої структурою і заданими правилами перетворення одних виразів в інші.
Питання 3. Які формальні мови вам відомі?