Înțeles Formalizarea Efraim:
Formalizare - acțiuni în cadrul procesului VALUE. Nesov. vb. formaliza (1 *). Procesul de pași la VALUE. Nesov. vb. formaliza (2 *).
Formalizare în Dicționarul Enciclopedic:
Formalizarea - prezentarea și studiul oricărei oblastiznaniya semnificative (teorii științifice, argumente, procedurile de căutare, etc ...) În sistemul videformalnoy sau calcul; legate de întărirea rolului formalnoylogiki și metodelor matematice în cercetarea științifică.
Înțeles formalizarea vocabular logic:
Formalizare - (de la forma latină -. Aspect, imagine) - Afișarea rezultatelor în termeni de gândire și declarații precise. F. Când obiectul a fi studiate, proprietățile și relațiile lor sunt puse în funingine-sponds la unele de design stabil, bine identificabile și previzibil materiale, oferind posibilitatea de a identifica și a remedia aspectele esențiale ale obiectului. F. rafinează conține zhanie-prin identificarea formei sale și poate fi efectuată o dată sau de gradul clorhidric suplimentar. Expresia gândirii în limbaj natural poate fi considerată trans-vym Etapa F. sa adâncirii este realizată prin introducerea de limbaj simplu tot felul de caractere speciale, precum și crearea unei ore limbi parțial sintetice și artificiale. Logic F. își propune să identifice și să stabilească forma logică a concluziilor și a probelor. Teoria completa F. deține tog-da, atunci când complet distras de sensul de fond a conceptelor sale de bază și termeni și lista toate display reguli jurnalele agenții utilizate în dovezile. F. Aceasta cuprinde trei elemente: 1) identificarea sursă, termeni nedetectabile-Mykh; 2) Transferul acceptat fără dovada formulelor (axiome); 3) administrarea regulilor formulelor de conversie a datelor pentru obținerea acestuia formule noi (teoremele). Teoria formală a probei nu necesită referire la conținutul conceptelor și semnificația lor. Dovada este o secvență de formulele prezentate aici, fiecare dintre care este fie o axiomă sau se obține din producția regulilor de axiome. Pro-Werke o astfel de dovadă (dar nu o constatare) devine o procedură pur mecanică, care poate fi transferat la tine, mașină de calcul. FA joacă un rol esențial în rafinarea conceptelor științifice. Problemele set-Gia nu pot fi rezolvate, nu numai, dar chiar formulată, nu a fost încă să fie oficializat raționamentul asociat Denia. Acesta este cazul, în special, este utilizat pe scară largă în algoritmul nyatiem și întrebarea dacă există probleme de nerezolvat algoritmiches-ki. Numai cu AF aritmetica are o oportunitate de a pune GP-creștere, fie că aritmetica formalizate acoperă toate aritmetică-ing proprietar. Gödel a arătat conține suficient de bogat teorie-zhaniem (care acoperă aritmetica numerelor naturale) nu poate fi pe deplin afișate în versiunea sa formalizat; indiferent de cât îmbogățită prin declarații suplimentare după-dnyaya, în teorie, va întotdeauna rămân nedetectate, reziduuri non-formalizate (teorema vezi. Gödel lui).