Matematika

Sudovi i operacije među njima

Uvod u matematičku logiku. Uvođenje pojma sud. Operacije sa sudovima: negacija, konjunkcija, disjunkcija, implikacija, ekvivalencija. Svojstva osnovnih operacija algebre sudova. Tablice istinitosti za pojedine operacije. Veza implikacije sa: obratom teorema, suprotnim teoremom i obratom suprotnog teorema. 

Formule algebre sudova

Formula algebre sudova. Posebne formule algebre sudova: tautologija i kontradikcija. Poznate tautologije deduktivnog zaključivanja: modus ponens, modus tolens, hipotetički silogizam, disjunktivni silogizam, dodavanje, pojednostavljivanje,. Izrada semantičkih tablica za formule algebre sudova. Definiranje funkcije algebre sudova u skladu s općim pojmom funkcije.

Normalne forme i minimizacija

Određivanje bazičnih konjunkcija i bazičnih disjunkcija. Određivanje formule za funkciju zadanu semantičkom tablicom pomoću disjunktivne i konjunktivne normalne forme. Minimizacija funkcije: algebarski (primjenom svojstava algebre sudova) i grafički (Vejčovom metodom, Karnoughov graf). Uvođenje operacija NOR i NAND. Primjena normalnih formi i minimizacije na kreiranje logičkog sklopa za danu funkciju.

Predikati i kvantifikatori

Uvođenje pojma predikat kao poopćenje pojma sud. Univerzum razmatranja za zadani predikat. Zapisivanje predikata pomoću tablice (matrice predikata). Uvođenje univerzalnog i egzistencijalnog kvantifikatora. Određivanje veze između kvantifikatora i logičkih operacija. Negacija kvantifikatora. Sudovi s više kvantifikatora. Važnost redosljeda kvantifikatora.