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 deprogramare prin îmbogățirea semanticii sale (e. semantică) sau prin introducerea unor instrucțiuni de prelucrare sau/și control (e. sintactică).