ISPITNA PITANJA 2015/16.

1. Sintaksa iskazne logike (iskazi, iskazna slova, iskazni veznici, formule), interpretacija
iskaznih formula (iskazna algebra, valuacija, vrednost iskazne formule)
2. Tautologije (definicija, osobine, spisak vanijih tautologija)
3. Metod rezolucije
4. Normalne forme
5. Kanonske forme
6. Baze iskazne algebre
7. Logike posledice, logiki ekvivalentne formule u iskaznoj logici
8. Formalne teorije
9. Iskazni raun L (teorema, sintaksna posledica, stav dedukcije, potpunost,
neprotivrecnost, odluivost)
10. Stav potpunosti za iskazni raun (sa dokazom)
11. Sintaksa predikatskog rauna (jezik, termi, formule, reenice)
12. Interpretacija jezika i predikatskih formula (valuacija, vrednost terma, vrednost
formule, modeli)
13. Valjane formule (definicija i osobine, spisak vanijih valjanih formula)
14. Logike posledice, logiki ekvivalentne formule u predikatskoj logici
15. Zamena slobodne promenljive termom
16. Predikatski raun kao formalna teorija
17. Definicije
18. Aksiome ZF teorije skupova
19. Aksioma podskupa (operator okupljanja, Raselov paradoks)
20. Partitivni skup (aksioma, definicija, kardinalnost)
21. Aksioma unije
22. Ureeni par, Dekartov proizvod skupova
23. Relacije (definicija, osobine, kompozicija relacija, inverzna relacija)
24. Relacije ekvivalencije i relacije poretka
25. Funkcije
26. Kardinalni brojevi (defiicija i primeri ekvipotentnih skupova, konani i beskonani
skupovi)
27. Prebrojivi skupovi (definicija, primeri i osobine prebrojivih skupova, definicija i
primeri neprebrojivih skupova)
28. Aritmetika kardinalnih brojeva (zbir, proizvod i stepen kardinalnih brojeva,
uporedjivanje kardinalnih brojeva)