Predmet priprema učenike za obrazovanje u STEM području.
Teme
- Prevođenje u predikatnoj logici: identitet, Russellov konačan opis, relacije modalne logike
- Prirodna dedukcija: osnovni sustav, prošireni sustav, dokazivanje relacijskim predikatima
- Teorija skupova: pojam skupa, podskup, nadskup, jednakost skupova, operacije nad skupovima, aksiomi naivne teorije skupova (ekstenzionalnost i komprehenzija), Russellov paradoks
- Relacije: pojam relacije, relacije u modalnoj logici (refleksivnost, simetričnost, tranzitivnost)
- Funkcije: pojam funkcije, domena, kodomena i slika funkcije, surjekcija, injekcija, bijekcija
- Ekvipotentni skupovi: pojam ekvipotentnih skupova, kardinalni broj skupa, konačni i beskonačni skupovi, prebrojivo i neprebrojivo beskonačni skupovi, Cantorov teorem, Hilbertov paradoks (Hilbertov hotel)
- Modalna logika: pokoličavanje po mogućim svjetovima (nužno, moguće)
Vrednovanje
Vrednovanje se provodi na temelju učenikovog sudjelovanja na nastavi, na rješavanju kraćih vježbi tijekom svakog polugodišta iz kojih sakuplja bodove te na izlaganjima na zadanu temu.