Predmet: Kategorijalna teorija dokaza (17.DOM45L )
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) |
Student treba da se upozna sa osnovnim rezultatima kategorijalne teorije dokaza, a najviše sa rezultatima koherencije za razne vrste kategorija koje su interesantne za klasičnu iskaznu logiku. Uključivanje u naučno-istraživačke grupe.
Poznavanje osnovnih pojmova i rezultata iz teorije kategorija. Uključivanje u istraživanje iz odredjenih oblasti teorije kategorija i teorije dokaza, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.
Osnovni rezultati opšte teorije dokaza, osnovni pojmovi teorije kategorija, osnovni pojmovi kategorijalne teorije dokaza: Uvod u koherenciju i kategorifikaciju, Sintaksičke kategorije i osnovni pojmovi teorije kategorija, Monoidalne kategorije, Simetrične monoidalne kategorije, Bimonoidalne kategorije, Disocijativne kategorije, Bikartezijanske kategorije, Distributivne bikartezijanske kategorije, Kategorije sa nula morfizmima, Bulovske kategorije.
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 |
|---|---|---|---|---|
| 1998 | Engleski | |||
| 1969 | Engleski | |||
| 1994 | Engleski | |||
| 2004 | 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 |
prof. dr Gilezan Silvia
Redovni profesor
Predavanja
prof. dr Gilezan Silvia
Redovni profesor
