1. komponenta

Lecture type	Total
Lectures	45

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

1. P. Blackburn, M. de Rijke, Y. Venema: Modal Logic
2. S. Demri, V. Goranko, M. Lange: Temporal logics in computer science: finite-state systems
3. M. Vuković: Matematička logika

Enrollment :
Attended : Mathematical logic

Examination :
Passed : Mathematical logic

Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

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

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