Podstawą informatyki są algorytmy. Nauka o algorytmach, metodach ich projektowania, o metodach analizy i weryfikacji to algorytmika.  Analiza i projektowanie algorytmów jest od ponad  60 lat przedmiotem intensywnych badań. Skonstruowano wiele efektywnych rozwiązań problemów algorytmicznych. Wykryto problemy o dużym znaczeniu praktycznym, które nie posiadają efektywnych algorytmów.  Wreszcie, odkryto problemy, które nie mogą być rozwiązane za pomocą algorytmu.

Przedstawiany pierwszy wykład ASD stanowi przegląd najważniejszych problemów algorytmiki. Omówimy kolejno pojęcia specyfikacji, poprawności i kosztu algorytmu. Zwrócimy uwagę na potrzebę specyfikacji struktur danych i jej rolę w procesie weryfikacji poprawności programu. Wszystkie następne wykłady kursu będą ilustrowały wprowadzone tu pojęcia. Na konkretnych przykładach, wziętych z różnych dziedzin zastosowań, śledzić będziemy proces konstruowania rozwiązań problemów algorytmicznych. Pojęcia zawarte w tym wykładzie będziemy wykorzystywać podczas całego kursu ASD.