V programu implementujeme model reality proměnnými vhodných datových typů, které poskytuje konkrétní programovací jazyk. Ve fázi návrhu programu je velice užitečné abstrahovat od jejich imlementace a specifikovat proměnné vyjadřující model reality podobně jako datové typy v programovacích jazycích, množinou hodnot a operací na abstraktní úrovni.
Cíle
Porozumět pojmu abstraktní datový typ, naučit se implementovat a používat abstraktní datové typy zásobník, fronta a seznam.