Predmet: Teorija odlučivosti (17.DOM43Z )
Matične organizacione jedinice predmeta:
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Doktorske studije | Matematika u tehnici (Godina: 2, Zimski) |
Kategorija | Naučno-stručni |
Uža naučna oblast | Teorijska i primenjena matematika |
Multidisciplinarna | Da |
ESPB | 10 |
Cilj:
Sticanje osnovnih znanja iz teorije odlučivosti.
Ishod:
Poznavanje osnovnih pojmova i rezultata iz teorije odlučivosti. Sposobnost da se metode ove teorije primene u istraživanju po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Sadržaj:
Turingove mašine, parcijalno-rekurzivne funkcije i drugi sistemi izračunljivosti.
Metodologija izvođenja nastave:
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 studiski 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.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
1981 | Engleski | |||
Ž. Mijajlović, Z. Marković, K. Došen | Hilbertovi problemi i logika | 1986 | Zavod za udžbenike i nastavna sredstva | Engleski |
1986 | Engleski | |||
Zoran Ognjanović, Nenad Krdžavac | Uvod u teorijsko računarstvo | 2005 | Fakultet organizacionih nauka, Beograd | Srpski jezik |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Seminarski rad | Da | Da | 50.00 |
Teorijski deo ispita | Ne | Da | 50.00 |