Duomenų struktūra: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Nėra keitimo santraukos
Eilutė 6:
==Savybės==
Bendrosios duomenų tipų savybės 1972 metais suformuotos Horo (''Hoare''):
#Duomenų tipas apibrėžia klasę reikšmių, kurias gali įgyti intamasiskintamasis ar reiškinys
#Kiekviena reikšmė priklauso vienam ir tik vienam duomenų tipui
#Konstantos, kintamojo ar reiškinio tipą galima nustatyti iš teksto arba iš operando pavidalo, nepriklausomai nuo reikšmių.
#Kiekvienos operacijos operandų ir rezultato tipai yra fiksuoti. Tais pačiais simboliais žymimos skirtingų tipų operacijos laikomos adugiareikšmėmisdaugiareikšmėmis ir žymi skirtingas operacijas (pavyzdžiui, sudėtis "+").
#Duomenų tipo reikšmių savybės ir su reikšmėmis atliekamų operacijų savybės apibrėžiamos aksiomomis
#duomenų tipai turi atitikmenis matematikoje ([[Dekarto sandauga]], [[aibė]], [[seka]], [[funkcija (programavimas)|funkcija]], [[rekursija]])