|
Kurs: Deduktivne strukture (osn.) U okviru predmeta: Deduktivne strukture Predavači dr Miloš Adžić, vanredni profesor izborni kurs Broj bodova: 5.00 App.preduslovi_za_polaganje: Položen ispit iz predmeta Logika na prvoj godini studija i ispit iz izbornog predmeta Matematika na drugoj godini studija. Oblici nastave:
Predavanja i vežbe Plan kursa: 1. nedelja predavanje - Deduktivni sistemi i kategorije 2. nedelja predavanje - Reprezentacija deduktivnih sistema i kategorija (Ston i Kejli) 3. nedelja predavanje - Funktori i funkcije 4. nedelja predavanje - Prirodne transformacije 5. nedelja predavanje - Adjunkcija: definicije 6. nedelja predavanje - Adjunkcija: normalizacija 7. nedelja predavanje - Monade, komonade i modalna logika: definicije 8. nedelja predavanje - Monade, komonade i modalna logika: normalizacija 9. nedelja predavanje - Kartezijanske kategorije: definicije 10. nedelja predavanje - Kartezijanske kategorije: normalizacija 11. nedelja predavanje - Kokartezijanske i bikaterzijanske kategorije 12. nedelja predavanje - Distribucija i disocijativnost 13. nedelja predavanje - Kategorijalna teorija dokaza
Literatura i izvori podataka: Opsta obavezna Literatura Došen, K. Cut Elimination in Categories, Trends in Logic 6, Kluwer, Dordrecht, 1999. |
