Predmet: Logika u računarstvu (17.D0M06L )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Letnji) |
| Doktorske studije | Matematika u tehnici (Godina: 1, Semestar: Letnji) |
Sticanje osnovnih znanja iz matematičke logike i njene primene u računarstvu i uključivanje u naučno-istraživački rad.
Poznavanje osnovnih pojmova i rezultata iz matematičke logike. Uključivanje u istraživanje u užoj oblasti iz određenih oblasti iz logike, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Iskazni račun: aksiomatski sistem, prirodna dedukcija, sekventni račun. Predikatski račun. Teorija dokaza. Gedelove teoreme nepotpunosti. Modalna logika. Temporalne logike. Teorija skupova.
Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i diskutuje je sa nastavnikom na konsultacijama. Kroz studijski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1996 | Engleski | |||
| 2004 | Engleski | |||
| Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Engleski |
| K.Došen, Z.Marković, Ž.Mijajlović | Hilbertovi problemi i logika | 1986 | Zavod za udžbenike i nastavna sredstva, Beograd | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Usmeni deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
prof. dr Gilezan Silvia
Redovni profesor
