Logika u računarstvu
Predmet je namenjen studentima doktorskih studija Fakulteta tehničkih nauka u Novom Sadu.
Za generaciju 2024/2025, informacije su dostupne na fakultetskoj online platformi u grupi
Odabrana poglavlja 1 i 2 iz matematike (SVI).
Ispit (logika i ostali moduli): po dogovoru, datum će biti objavljen nakon završetka nastave.
Predmetni nastavnik prof. Silvia Gilezan
Predmet je održan: 2007/2008, 2008/2009, 2009/2010, 2010/2011, 2011/2012, 2012/2013, 2013/2014, 2014/2015, 2015/2016, 2016/2017, 2017/2018, 2018/2019, 2019/2020, 2020/2021, 2021/2022, 2022/2023, 2023/2024
Slajdovi, beleške i predavanja:
OPLSS 2022 - Oregon Programming Languages Summer School 2022
OPLSS 2023 - Oregon Programming Languages Summer School 2023
Literatura:
Predrag Janicic: Matematička logika u računarstvu, 2008
Žarko Mijajlović, Zoran Marković, Kosta Došen: Hilbertovi problemi i logika, Matematicka sazvezdja, 1986
Kosta Došen: Osnovna logika, 2013
Lawrence Paulson: Logic and Proof, course notes
Michael Huth, Mark Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.
Interaktivni dokazivači: COQ, Isabelle.
Linkovi:
ArXiv - open access articles
LaTeX - a document preparation system
DBLP - computer science bibliography
Masive Open Online Course (MOOC): Coursera
MIT OpenCourseWare