Okvirne teme za master rad iz matematičke logike sa primenama
Prof.dr Silvia Gilezan 2019/2020
1. Metod ko-indukcije u logici, algebri, tipovima i programskim jezicima (to je ceo niz tema u svakoj oblasti posebno ili eventualno dve oblasti kombinovano) • http://homepages.inf.ed.ac.uk/jcheney/presentations/bisim4d.pdf (uvodni slajdovi) • Davide Sangiorgi: On the Origins of Bisimulation and Coinduction http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf
2. Supstrukturne logike • http://imft.ftn.uns.ac.rs/~silvia/uploads/Main/Supstrukturne_logike.pdf
3. Relacija podtipiziranja u lambda računu i procesnim racunima • http://imft.ftn.uns.ac.rs/~silvia/uploads/Main/dg14.pdf • http://www.di.unito.it/~dezani/papers/dgjpy16.pdf
4. Deduktivni sistemi za intermedijalne logike • Branislav Boričić: Prilog teoriji intermedijalnih iskaznih logika (tekst na srpskom) http://elibrary.matf.bg.ac.rs/bitstream/handle/123456789/257/phdBranislavBoricic.PDF?sequence=1 • Graham Priest: An Introduction to Non-Classical Logic
5. Parakonzistentne logike • Graham Priest: Paraconsistent logics
6. Sličnosti i razlike izmedju klasične i intuicionističke logike • https://www.andrew.cmu.edu/user/avigad/Teaching/classical.pdf
7. Formalni računi za rezonovanje o privatnosti u informacionim sistemima • http://www.cs.ucy.ac.cy/~annap/lmcs2016.pdf • http://imft.ftn.uns.ac.rs/~svetlana/papers/2015_JaksicPantovicGhilezan.pdf
8. Formalni metodi za kritične sisteme sa primenom u saobraćaju • Anne Haxthausen: http://homepage.cs.uiowa.edu/~tinelli/classes/181/Fall14/Papers/Haxt10.pdf • http://www.imm.dtu.dk/~aeha/
9. Primena verovatnoće u formalnim sistemima