Predmet: Kategorijalna teorija dokaza (17.DOM45L )
Matične organizacione jedinice predmeta:
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|---|
Doktorske studije | Matematika u tehnici (Godina: 1, Letnji) |
Doktorske studije | Matematika u tehnici (Godina: 1, Letnji) |
Kategorija | Naučno-stručni |
Uža naučna oblast | Teorijska i primenjena matematika |
Multidisciplinarna | Da |
ESPB | 10 |
Cilj:
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.
Ishod:
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.
Sadržaj:
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.
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 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.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2004 | Engleski | |||
1994 | Engleski | |||
1998 | Engleski | |||
1969 | Engleski |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Seminarski rad | Da | Da | 50.00 |
Teorijski deo ispita | Ne | Da | 50.00 |
Izvođači nastave:
prof. dr Gilezan Silvia
Redovni profesor
Studijski istraživački rad
prof. dr Gilezan Silvia
Redovni profesor