Cilj kursa - Znanje i vještine koje treba postići student
Program
Elementi teorije skupova. Boolova algebra i mreže. Elementi formalne lingvistike. Logika iskaza. predikatska logika. teorija izračunjivosti. Specijalne logike. Teorija modeliranja. Optimalne strukture. Zadaci i metode za nalaženje optimalnih rješenja. Elementi teorije grafova ii optimalne zadaće na grafovima. Konfliktne situacije. Elementi teorije odlučivanja.
