abstraktný typ údajov

abstraktný typ údajov — inform. typ údajov opísaný ako množina objektov a množina operácií nad nimi, pričom pri opise sa nehľadí na možný spôsob zápisu (reprezentácie) údajov v počítači ani na možný spôsob implementácie operácií nad nimi. Pri formálnom definovaní sa uvažuje množina druhov (z ktorých jeden označuje opisovaný abstraktný typ údajov), množina operácií nad druhmi a množina axióm. Množina druhov a množina operácií tvoria signatúru abstraktného typu údajov. Axiómy vymedzujú sémantiku operácií.