Predmet: Modeli izračunljivosti (17.D0M11L )
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) |
Kategorija | Naučno-stručni |
Uža naučna oblast | Teorijska i primenjena matematika |
ESPB | 10 |
Sticanje osnovnih znanja iz teorije izračunljivosti i odlučivosti i uključivanje u naučno-istraživački rad.
Poznavanje osnovnih pojmova i rezultata iz teorije izračunljivosti i odlučivosti. Uključivanje u istraživanjeiz određenih modela izračunljivosti i odlučivosti, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Osnovi matematičke logike. Turingove mašine. Rekurzivne funkcije. Lambda račun bez tipova: sintaksa i semantika. Lambda račun sa tipovima: sintaksa i semantika.
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.
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
1994 | Engleski | |||
1984 | Engleski |
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
prof. dr Gilezan Silvia
Redovni profesor