Definiția cu ID-ul 674334:

Dicționare enciclopedice

Definiții enciclopedice

EXTÉNSIE (EXTENSIÚNE) (< fr., lat.) s. f. 1. Dezvoltare, creștere, amplificare, extindere. ♦ Proces prin care un cuvânt își lărgește înțelesul. ♦ (LOG.) Sferă. 2. (MED.) Alungire sau întindere a unui membru sau a trunchiului în caz de luxații sau de fractură. 3. (MAT.) Extensia unei funcții = funcție al cărei domeniu include domeniul funcției date și care în punctele comune celor două domenii ia aceeași valoare cu funcția dată. 4. (INFORM.) Extinderea unui limbaj de programare prin îmbogățirea semanticii sale (e. semantică) sau prin introducerea unor instrucțiuni de prelucrare sau/și control (e. sintactică).