Elementi matematičke logike
Fakultet: Prirodno-matematički fakultet
Odsjek: Matematika
Smjer: svi smjerovi
U silabusu predmeta Elementi matematičke logike možete naći sve informacije o predmetu (fond sati, krediti, program, literatura) i o načinu polaganja i ocjenjivanja ispita.
Predavač: Dr Nermin Okičić, vanredni profesor
Termin predavanja: Srijeda 08:00-10:00 (učionica 205)
Termin konsultacija: Ponedjeljak 13.oo-14.oo
Fond sati: 3
Linije: 1
LITERATURA:
N. Okičić, V. Pašić : Elementi matematičke logike sa primjenom u kompjuterskoj nauci, OFF-SET Tuzla, 2015.
Asistenti: Selmir Karić, asistent
Termini vježbi: Srijeda
Fond sati: 2
Broj grupa: 1
Termini testova se određuju prema planu izvođenja vježbi, a u skladu sa obrađenim cjelinama kroz predavanja i vježbe. Testovi se sastoje od 5-10 zadataka . Pored testova, u toku semestra se izvode i kvizovi. Bodovi sa kvizova se računaju kao aktivnost studenta.
Termini završnog i popravnog ispita se zakazuju prema planu koga određuje menadžment univerziteta.
Termini:
Zadaci I: Zadaci II:
Januarsko-februarski rok: | 31.01.2023. 9:00 | 21.02.2023. 9:00 |
Junsko-julski rok: | ||
Septembarski rok: |
Primjer eliminatornog kviza 2014.
2016.
Kviz I (PDF) REZULTATI KVIZA 1
Kviz II (Snimite file na svoj računar da bi sve funkcionisalo) REZULTATI KVIZA 2
REZULTATI KVIZA 3
PLASMAN
Rezultate svih testova moguće je pratiti kontinuirano u toku trajanja kursa. Svi podaci o bodovima sa testova, prisutnost i aktivnost , kao i podaci vezani za završni i popravni ispit (ko ima pravo izaći i koje su obaveze) dostupni su svakome i u svakom trenutku. Sve primjedbe koje koje imate na vrijeme treba prijaviti, bilo predmetnom predavaču bilo predmetnom asistentu, radi pravovremene korekcije.
Test 1 + Test 2
Završni ispit
Popravni ispit
Dodatni popravni ispit
NAPOMENA:
Ispitna pitanja (teoretski dio) navedena su po poglavljima i predstavljaju samo uzorak, odnosno model pitanja. Ovo znači da su pitanja podložna promjenama do na redosljed navođenja ili izmjene nekog od itema (u pitanjima tipa: zaokruži tačan odgovor) ili do na promjenu objekta (tautologija, valjana formula i sl.) bitnog u datom pitanju.
Ispitna pitanja (teoretski dio):
Logika iskaza
Logička kola
Logika predikata
Matematičke i formalne teorije