Celem przedmiotu jest zapoznanie z klasycznymi algorytmami i strukturami danych
używanych do efektywnego rozwiązania zadań programistycznych, sposobami implementacji
poznanych algorytmów, analizą złożoności czasowej tych algorytmów i uzasadnieniem
ich poprawności.
Celem przedmiotu jest przegląd zaawansowanych technik algorytmicznych, struktur danych
oraz algorytmów na przykładzie zastosowań w geometrii obliczeniowej oraz teorii grafów.
Celem przedmiotu jest zapoznanie z rolą i zastosowaniami rachunków logicznych
w informatyce oraz metodami modelowania i weryfikacji własności systemów informatycznych.
Celem przedmiotu jest zapoznanie z podstawowymi koncepcjami związanymi z
programowaniem obiektowym oraz konstruowania programów obiektowych w języku
Java.
Celem przedmiotu jest zapoznanie z zaawansowanymi mechanizmami występującymi
we współczesnych językach programowania oraz ich
poprawnym i efektywnym wykorzystaniem.