Logika za informatičare

Na kolegiju se obrađuju teme iz formalne i matematičke logike te formule logičkih sklopova, istinitosne tablice, provjere valjanosti iskaza i zaključaka, tautologije, kontradikcije i teoremi