Formalizarea ca cea mai importantă etapă de modelare.
Formalizarea este reducerea conținutului în forma aleasă. Cel mai obișnuit tip de modelare este o descriere verbală. Cel mai adesea, o descriere verbală este numită text.
Textul este un construct de limbă care constă în semne elementare ale limbii
Gradul de formalizare a textului depinde de obiectivele:
forma textului cerințelor de formalizare
scrisori de scriere personale și reguli de sintaxă
formularul de scrisoare de circulație, respectarea stilului, selectarea liniilor roșii
formularul, formularul de informare sunt introduse în coloane special desemnate, în conformitate cu un șablon dat
Întrebarea 1. Care sunt avantajele formalizării textului?
Majoritatea documentelor găsite în domeniul înregistrării au un formular standard. Acest formular se numește șablon de document. Datele necesare, care trebuie reflectate în document, se numesc rechizite. Absența rechizițiilor din document îl privează de așa-numita "forță juridică", adică Posibilitatea de a utiliza documentul în scopul pentru care este destinat.
Întrebarea 2. Ce rechizite ar trebui să fie prezente pe antetul de întreprindere?
Formalizarea poate să se refere atât la formularea textului, cât și la conținut. De exemplu, definițiile conceptelor sunt construite conform formei: conceptul definit este dezvăluit prin cel mai apropiat concept generic și diferențe specifice. Acest formular este utilizat în majoritatea definițiilor științifice.
Formalizarea conținutului ajută să compare închiriate motive (formale) ale unui obiect real, așa cum este descris în model, iar dacă sunt de acord cu aceste caracteristici, devine posibil să se ia deciziile necesare pentru o anumită situație.
Exemple de texte formalizate în conținut: Constituție, lege, decret, tratat etc.
Există o formalizare naturală și științifică a textului. Formalizarea naturală este o cartografiere a obiectelor cu ajutorul unei limbi naturale; formalizarea științifică - cu ajutorul limbii formale corespunzătoare. În procesul de formalizare științifice, pe de o parte, a făcut proprietăți și relații specifice mai precise și de afișare compact care caracterizează un anumit domeniu de studiu, iar pe de altă parte, sunt folosite mijloace mai simbolice prin pur sintactic transformare (formal) pentru a obține noi cunoștințe despre studiu domeniu. De asemenea, termenii printre astfel de agenți includ variabile simbolice cu formula, reguli formule de transformare, precum și diferite tipuri de simboluri auxiliare (paranteze, virgule, etc).
Printre diversele tipuri de formalizare științifică, deductivă
(logică). Această formalizare este o reflectare a interdependențelor universale între cunoștințe - concepte, judecăți, inferențe, semnificative
teorii, sisteme de teorii - cu ajutorul sistemelor de simboluri ordonate deductiv.
Formalizarea deductivă include următoarele patru elemente:
1) introducerea termenilor conceptelor inițiale, precum și termenii relațiilor de bază dintre acestea
2) introducerea de variabile și reguli pentru construirea pe bază a formulelor adecvate,
3) introducerea formulelor initiale probabile (axiome),
4) introducerea unor reguli de inferență logică, care să permită axiomelor să obțină derivate din ele din formule (teoreme) probabile.
Formalizarea dăunătoare face posibilă clarificarea și sistematizarea diferitelor reprezentări ale conținutului, formularea de noi probleme și soluții posibile pentru ele.
Formalizarea este strâns legată de construirea unor limbi științifice artificiale sau formalizate. Astfel de limbi sunt create pentru exprimarea precisă a gândurilor pentru a exclude posibilitatea unei înțelegeri ambigue. Formalizarea face posibilă construirea de limbi științifice cu o structură precis definită și cu reguli date pentru transformarea unei expresii în alta.
Întrebarea 3. Ce limbi oficiale știi?
Articole similare
Trimiteți-le prietenilor: