Matematyczny model zbioru wartości i operacji wykonywanych na tych wartościach. Pojęcie abstrakcyjnego typu danych odgrywa kluczową rolę w programowaniu obiektowym, gdzie każda klasa jest abstrakcyjnym typem danych. Klasycznym przykładem takiego typu danych jest stos z operacjami push i pop umożliwiającymi odpowiednio wstawianie elementów na wierzch i usuwanie elementów z wierzchu stosu.
