Predmet: Uvod u interaktivne dokazivače (17.0M513 )
Matične organizacione jedinice predmeta: Departman za opšte discipline u tehnici
Studijski programi predmeta:
| Stepen i vrsta studija | Naziv |
|---|---|
| Master akademske studije | Informacioni inženjering (Godina: 1, Semestar: Letnji) |
| Master akademske studije |
Matematika u tehnici ( |
| Master akademske studije | Informacioni i analitički inženjering (Godina: 1, Semestar: Letnji) |
Sticanje znanja i praktičan rad sa interaktivnim dokazivačima
Poznavanje osnovnih pojmova i rezultata funkcionalnih programskih jezika i dokazivača teorema. Uključivanje u istraživanje u užoj oblasti iz odredjenih oblasti iz logike, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
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. Teorem o jakoj normalizaciji, njen dokaz i značaj kao primer Gedelove rečenice. Tipski sistemi sa zavsnim tipovima. Teorija konstrukcija
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.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 1994 | Engleski | |||
| : | 2018 | Engleski | ||
| 2004 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Seminarski rad |
Predispitna Da |
Obavezna Da |
Broj poena 45.00 |
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Prisustvo na vežbama |
Predispitna Da |
Obavezna Da |
Broj poena 2.00 |
| Predmetna aktivnost Prisustvo na predavanjima |
Predispitna Da |
Obavezna Da |
Broj poena 3.00 |
prof. dr Silvia Gilezan
Redovni profesor
Predavanja
vanr. prof. dr Jelena Ivetić
Vanredni profesor
Predavanja
Asistent Irena Prodanović
Asistent
Auditorne vežbe
Asistent Irena Prodanović
Asistent
Računarske vežbe
Asistent Stepan Milošević
Asistent
