1. komponenta

Lecture type	Total
Lectures	45

* Load is given in academic hour (1 academic hour = 45 minutes)

1. Modal Logic, P. Blackburn, M. de Rijke, Y. Venema, Elsevier, 2001.
2. Temporal logics in computer science: finite-state systems, S. Demri, V. Goranko, M. Lange, Cambridge University Press, 2016.
3. Matematička logika, M. Vuković, Element, Zagreb, 2009.

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics