formalne sposoby reprezent wiedzy człowieka
modelowanie struktur
danych w różnych dziedzinach.
metody
opracowania efektywnego kodu w różnych środowiskach.