Cjelina 1.1: Pojam suda. Operacije sa sudovima. Formule algebre sudova.

O cjelini 1.1

Aktivnosti

Pažljivo pogledajte video predavanje cjeline 1.1
Nakon što pregledate video preavanja cjeline 1.1, trebate riješiti mali kviz gdje ćete provjeriti koliko ste razumijeli i pažljivo pratili predavanja
Kviz se nalazi na naslovnoj stranici predmeta, odmah ispod predavanja.
Pitanja nisu teška i na sva 3 pitanja trebate točno odgovoriti kako biste imali pristup svim ostalim nastavnim materijalima. Imate 2 pokušaja za odgovaranje na pitanja.

Ishodi učenja

Po završetku ove cjeline, student bi trebao biti u stanju:

Poznavati povijesni razvoj matematičke logike (uloga Aristotela, Boole-a, De Morgana)
Razumjeti pojmove suda, operacija među sudovima, njihovih semantičkih tablica, te osnovnih operacija algebre sudova uključujući i njihovo dokazivanje pomoću semantičkih tablica
Definirati i odrediti tautologije i kontradikcije pomoću semantičkih tablica i pomoću svojstava sudova