Słownik (ang. dictionary) jest strukturą danych przeznaczoną do przechowywania grupy obiektów w postaci par: klucz: obiekt. Klucze w słowniku posiadają unikalne wartości i nie mogą się powtarzać. Klucze są prostymi typami danych takimi jak liczby całkowite lub łańcuchy znakowe. Obiekty są danymi dowolnych typów. Dostęp do obiektów odbywa się poprzez ich klucze. Klucze nie muszą być uporządkowane. Słowniki nazywa się często tablicami asocjacyjnymi lub tablicami skojarzeniowymi (ang. associative array, map). Niektóre języki programowania są wewnętrznie wyposażone w typ danych słownika (np. Python). W innych musimy korzystać z dodatkowych bibliotek. Słowniki są szeroko wykorzystywane w bazach danych. W tym rozdziale omówimy podstawowe sposoby implementacji słowników oraz związane z nimi procedury i funkcje.