Pojęciem omawianym w tym wykładzie jest funkcja. Formalnie rzecz biorąc, funkcja jest to szczególny rodzaj relacji między elementami dwóch zbiorów. Przyporządkowania typu

student → jego numer indeksu

tytuł książki → jej autor

są przykładami funkcji. O funkcjach różnego typu będzie mowa we wszystkich wykładach tego kursu. W tym wykładzie, poza ogólnym przedstawieniem samego pojęcia i jego własności, będzie mowa o ciągach, jako o szczególnych funkcjach. Na zakończenie przedstawimy pojęcie rzędu funkcji, które pozwoli oceniać i porównywać szybkość wzrostu funkcji. Pojęcie to znajduje zastosowania przy ocenie kosztów algorytmów i programów.