Limba formalizate - l

1), în sensul cel mai larg - 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. "

2) Sub F. I. pentru a înțelege logica calculului interpretat, t. e. un sistem formal, împreună cu interpretarea acesteia (a se vedea. Interpretare). Folosind F. I. - (. A se vedea Logic) o 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ă include (de obicei), un limbaj logic-matematic de fond, dar nu este, strict vorbind, nici un element specific metalimbajul ca fiind termenul de lucru mai confortabil pentru preliminare explicația obiectului euristică a acestei științe.

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

Marii Enciclopedii Sovietice. - M. sovietic Enciclopedia. 1969-1978.

Vezi ce „limbaj formal“ în alte dicționare:

Limba formalizate - limbaj formal limbaj artificial a logicii pentru reproducere forma logică a contextelor limbajului natural, precum și expresii ale legilor logice și moduri de raționament corect în teorii logice, construit în ... ... Enciclopedia de epistemologie și filosofia științei

Limba formalizate - 1) În sensul cel mai larg - orice set un anumit limbaj de specialitate fel de ochi înseamnă o (mai mult sau mai puțin) este fixat cu precizie. reguli de formare ale expresiilor (cu n și m a la c și F. I.) și atribuirea acestor expresii este determinată. sens (cu e m o n t ... Encyclopedia of Philosophy

Limba formalizate - în cel mai larg sens, orice colecție într-un fel de resurse lingvistice specializate, cu reguli (mai mult sau mai puțin), fixate cu precizie de formare a „expresii“ (sintaxa formală) și atribuirea acestor expresii ale unui anumit ... ... Wikipedia

Limba formalizate - un limbaj artificial, pentru o cerned are o definiție precisă formală a clasei de expresii lingvistice și explicații suficient de riguroasă a sensului sau înțelesul acestor expresii. De obicei, expresia F. I. reprezintă combinația formală de caractere inițiale, ... ... matematică Enciclopedia

LIMBA DOCUMENTELOR ÎNSOȚITOARE - (YazED) limbaj formal simbolic conceput pentru a descrie activitatea operatorilor și a circuitelor funcționale de întreținere de construcție. Design-Yu. G. Fokinym 70 e. inițial ca o limbă pentru a descrie acțiunile operaționale, iar mai târziu ... Dicționar enciclopedic Psihologie și Pedagogie

limbă - și. Punct de vedere istoric stabilit în societate și dezvoltarea unei apoi grafice (litere) sistem de sunet semn (cuvânt rostit), și care pot exprima totalitatea conceptelor și gândurile unei persoane și destinate în principal pentru scopuri de comunicare ... ... Formare Dicționar stilistice

Limba de cultură - un set de obiecte culturale are o structură internă (stabilitatea relațiilor complexe care sunt invariante în toate transformările), norme explicite (formalizate) sau implicite de educație, de reflecție și de a folosi ... ... Enciclopedia de Studii Culturale

Limba țintă - LIMBĂ conceptul obiect al logicii moderne, matematică, filozofia și metodologia științei, semiotică și lingvistică teoretică, indicând orice limbă (naturale, artificiale, non-formalizate, formalizate), elementele și structura care ... Filozofic Encyclopedia

Limba algoritmică - limbaj formal pentru o înregistrare lipsită de ambiguitate a algoritmilor. Se compune din setul de caractere (alfabet), sintaxa și definițiile semantice. Acesta este fundamentul de limbaje de programare. * * * Limba algoritmică limba algoritmică ... ... Collegiate dicționar