Duomenų struktūra: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Eilutė 8:
# Duomenų tipas apibrėžia klasę reikšmių, kurias gali įgyti kintamasis ar reiškinys
# Kiekviena reikšmė priklauso vienam ir tik vienam duomenų tipui
# Konstantos, kintamojo ar reiškinio
# 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]])
Barbara Liskov 1975 metais suformulavo tokius reikalavimus, kuriuos turi tenkinti abstraktus duomenų tipas:
# Duomenų tipo apraše turi būti apibrėžtos visos tipo
# ADT naudotojas gali operuoti tipo reikšmėmis tik to tipo operacijomis, o ne tiesiogiai reikšmių atvaizdais atmintyje.
| |||