Predmet: Predstavljanje znanja i automatsko zaključivanje (17.DOM47Z )
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Doktorske studije | Matematika u tehnici (Godina: 2, Semestar: Zimski) |
Sticanje osnovnih znanja o predstavljanju znanja i automatskom zaključivanju i uključivanje u naučno-istraživački rad.
Poznavanje osnovnih pojmova i rezultata u oblasti predstavljanja znanja i automatskog zaključivanja. Uključivanje u istraživanje iz određenih oblasti predstavljanja znanja i automatskog zaključivanja, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Klasična logika. Erbranova teorema i Skolemova forma. Rezolucija i analitički tablo u predikatskoj logici. Modalne logike (logike znanja, temporalne logike, dinamičke logike). Verovatnosne logike. Logike za nemononotono rezonovanje. Polivalentne logike.
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 |
|---|---|---|---|---|
| Zoran Ognjanović, Nenad Krdžavac | Uvod u teorijsko računarstvo | 2005 | Fakultet organizacionih nauka, Beograd | Srpski jezik |
| 1981 | Engleski | |||
| Janičić, P. | Matematička logika u računarstvu | 2009 | Matematički fakultet, Beograd | Srpski jezik |
| 1990 | Engleski | |||
| 2005 | Engleski | |||
| 2003 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
