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
