|
Kurs: Logika (master) U okviru predmeta: Logika Predavači dr Miloš Adžić, vanredni profesor dr Jovana Kostić, docent izborni kurs Broj bodova: 10.00 Sadržaj kursa: Osnove intuicionističke logike i modalne logike, i neki pojmovi relevantne logike i drugih supstrukturalnih logika Cilj izučavanja kursa: Student treba da nauči da dokazuje i opovrgava formule u intuicionističkoj iskaznoj logici i u glavnim modalnim iskaznim logikama. Preduslovi za polaganje: upisane master studije, izborni kurs iz Matematike na drugoj godini i sa uspehom položen ispit iz Logike na prvoj godini Oblici nastave:
predavanja Plan kursa: 1. nedelja predavanje - Realizam i konstruktivizam 2. nedelja predavanje - Prirodna dedukcija u intuicionističkoj logici 3. nedelja predavanje - Prevođenje klasične logike u intuicionističku 4. nedelja predavanje - Modalne logike K, S4 i S5 5. nedelja predavanje - Prirodna dedukcija u modalnoj logici 6. nedelja predavanje - Kripkeovi modeli za modalnu logiku 7. nedelja predavanje - Kripkeovi modeli za intuicionističku logiku 8. nedelja predavanje - Modalni prevodi intuicionističke logike 9. nedelja predavanje - Hejtingove algebre 10. nedelja predavanje - Kartezijanske kategorije 11. nedelja predavanje - Strukturalna pravila i prirodna dedukcija 12. nedelja predavanje - Relevantna logika i supstrukturalne logike 13. nedelja predavanje - Konstruktivizam u filozofiji
Literatura i izvori podataka: Opsta dopunska Literatura M.A.E. Dummett, Elements of Intuitionism
G.E. Hughes and M.J. Cresswell, A New Introduction to Modal Logic
Ž. Mijajlović i drugi, Hilbertovi problemi i logika (drugo poglavlje)
Z. Šikić (prir.), Novija filozofija matematike (radovi Hejti |
