Predmet: Interaktivni dokazivači (17.DOM71 )
Matične organizacione jedinice predmeta:
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Doktorske studije | Matematika u tehnici (Godina: 2, Zimski) |
Doktorske studije | Matematika u tehnici (Godina: 1, Zimski) |
Kategorija | Naučno-stručni |
Uža naučna oblast | Teorijska i primenjena matematika |
Multidisciplinarna | Da |
ESPB | 10 |
Cilj:
Sticanje znanja i praktičan rad sa interaktivnim dokazivačima
Ishod:
Poznavanje teorijskih osnova i praktičnog rada sa interaktivnim dokazivačima teorema. Uključivanje u aktuelna istraživanja u domenu interaktivnih dokazivača, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Sadržaj:
Teoretske osnove interaktivnih dokazivača. Uvodni pojmovi iz teorije tipova: tipovi, termi. Razni tipski sistemi. Tipski sistem sa osnovnim (prostim) tipom. Osnovne definicje i osobine. Konfluentnost i teoreme o normalizacijama dokaza. Polimorfni tipski sistem. Teorema o jakoj normalizaciji, njen dokaz i značaj kao primer Gedelove rečenice. Tipski sistemi sa zavisnim tipovima. Teorija konstrukcija (
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.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2018 | Engleski | |||
Zoran Ognjanović, Silvia Gilezan | Teorijsko računarstvo | 2018 | Srpski jezik | |
2002 | Engleski | |||
2018 | Engleski |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Usmeni deo ispita | Ne | Da | 50.00 |
Seminarski rad | Da | Da | 50.00 |
Izvođači nastave:
prof. dr Gilezan Silvia
Redovni profesor
Studijski istraživački rad
prof. dr Gilezan Silvia
Redovni profesor