formalizare (din latină formă - formă, imagine)
Expresia gândirii în limbaj natural poate fi considerat un prim pas F. sa este realizată aprofundarea în continuare prin introducerea de limbaj simplu tot felul de caractere speciale și crearea unei limbi parțial sintetice și artificiale.
Logic F. își propune să identifice și să stabilească forma logică a concluziilor și a dovezilor. O teorie completă a FA are loc atunci când este complet distrasă de semnificația semnificativă a conceptelor și propozițiilor originale și enumeră toate regulile inferenței logice folosite în dovezi. Un astfel de F. include trei puncte: 1) desemnarea tuturor termenilor originali, nedeterminate; 2) enumerarea formulelor acceptate fără dovadă (axiome); 3) introducerea regulilor de transformare a acestor formule pentru a obține noi formule (teoreme) de la acestea.
Într-o teorie formalizată, dovada nu necesită o referire la conținutul conceptelor folosite, la semnificația lor. Dovada este aici o secvență de formule, fiecare dintre acestea fiind fie o axiomă, fie este obținută din axiome în conformitate cu regulile de deducere. Verificarea acestor dovezi (dar nu și căutarea acestora) se transformă într-o procedură pur mecanică care poate fi transferată pe un computer.
F. joacă un rol esențial în rafinarea conceptelor științifice. Multe probleme nu pot fi rezolvate, ci chiar formulate
Formalitățile asociate cu acestea sunt formalizate. Acesta este cazul, în special, cu conceptul larg utilizat al algoritmului și cu întrebarea dacă există probleme care nu pot fi rezolvate din punct de vedere algoritmic.
Vezi ce înseamnă "formalizare" în alte dicționare:
FORMALIZARE - (din formularul format latin, imagine) cartografierea obiectelor unui anumit domeniu folosind simbolurile k. L. limbă. Cea mai simplă formă a F. este reprezentarea directă (desemnarea, denumirea, descrierea) a obiectelor care folosesc termeni. De exemplu. în rolul limbajului natural ... ... Enciclopedie filozofică
formalizare - oficializare Dicționar de sinonime ruse. formalizarea n. numărare în sinonime: 1 • oficializare (3) Dicționar de sinonime ASIS. În ... Dicționar de sinonime
Formalizarea este o descriere a conținutului principal al fenomenului (procesului) cercetat cu ajutorul așa-numitului. formalizat (formal) (simboluri și reguli pentru scrierea lor). În teoria și practica militară, formalizarea este folosită în modelarea matematică, ... ... Dicționarul maritim
FORMALIZARE - reprezentarea și studierea oricărui domeniu de cunoștințe substanțial (teorii științifice, raționament, procedură de căutare etc.) sub forma unui sistem formal sau a unui calcul; este asociat cu întărirea rolului logicii formale și a metodelor matematice în științifice ... ... Dicționar encyclopedic mare
FORMALIZARE - o modalitate de a exprima conținutul unui corp de cunoaștere printr-o formă distantă a semnelor unei limbi artificiale. Cea mai importantă varietate a lui F. este logica F. care înseamnă expresia conținutului mental prin forme logice. Acest ... ... Cel mai nou dicționar filosofic
formalizare - FORMALIZARE, zuyu, zuyesh; ovanny; bufnițe. și Nesses. (Cartea.). Prezintă (manifesta) partea de conținut a fenomenului sub forma unui sistem formal sau a unui calcul. Limba formalizată (un sistem de instrumente de limbă specializate sau simbolurile lor cu exact ... ... Dicționar explicativ al lui Ozhegov
FORMALIZARE - (de la preferința latină formalis de formă) formalizare; HevbFormalisierung. 1. Reprezentarea părții de conținut a fenomenului sub forma unui sistem formal sau a unui calcul. 2. În teoria științifică, construirea unei structuri logice, prin rotirea tuturor ... ... Encyclopedia of Sociology
formalizare - Formalizarea set de operații cognitive, oferind o distragere a atenției de la valorile și conceptele de sensul unei teorii științifice, în scopul de a investiga caracteristicile sale logice, posibilitățile deductive și expresive. În matematică și ... ... Enciclopedia de epistemologie și filozofie a științei
formalizare - și, f. formalizare f. Reprezentarea sub forma unui sistem formal ... Dicționarul istoric al galicismelor din limba rusă
Formalizare - [formaliza-TION] Descrierea teorii Exemple semnificative, etc. mijloace formale, în primul rând simbolurile de matematică și logică matematică (dar sunt momente, astfel încât caracterele sunt cuvinte obișnuite, dar perfect ... ... Economie și Matematică dicționar
Trimiteți-le prietenilor: