Ce înseamnă un limbaj formal - sensul cuvintelor

valori căutare / cuvinte de interpretare

Secțiunea este foarte ușor de utilizat. Caseta de sugestie este suficient pentru a introduce cuvântul dorit, și vă vom emite o listă a valorilor sale. Vreau să rețineți că site-ul nostru oferă date din diferite surse - enciclopedic, sensibilă, cuvânt dicționare de formare. Aici puteți obține, de asemenea, familiarizat cu exemple de utilizare a cuvintelor introduse.

enciclopedie

în linii mari, √ orice colecție într-un fel de resurse lingvistice specializate, cu (mai mult sau mai puțin), fixat cu exactitate regulile de formare a „expresii“ (sintaxa F. I.) și atribuirea acestor expresii ale unui anumit sens (semantica). Această utilizare a termenului „F. Eu sunt. „Nu implică, în general, o anumită limită pentru sintaxa sau semantica, sau numirea unui astfel de limbaj. De exemplu, expresia "H2O", „apa», «apa», «apa», «Wasser», «vesi» etc. poate, în principiu, considerate la fel de „elemente F. i. chimie. "

F. I. pentru a înțelege logica calculului interpretat. t. e. un sistem formal, împreună cu interpretarea sa. Folosind F. I. √ trăsătură caracteristică a logicii matematice. care este adesea definită ca „obiectul logicii formale, studiate prin construirea de limbi oficiale“. Cu toate acestea, trebuie remarcat faptul că aceste „definiții“ nu sunt nicidecum un atribut esențial de prezentare a logicii matematice: conceptul F. I. nu numai că nu este inclus (de regulă) supuse limbaj logic-matematic, dar nu este, strict vorbind, nici un element specific al meta-limbaj. Este termenul de lucru mai confortabil pentru explicații euristică preliminare a subiectului acestei științe.

Lit. A. Biserica Introducere în logica matematică, trans. din limba engleză. vol. 1, M. 1960. Introducere (╖╖ 00√09).

Transliterație: yazyik formalizovannyiy
Ndoaselea citește: kyzya yynnavozilamrof
Un limbaj formal este format din 19 litere