Mathematical Logic in Computer Science Basic Information M088 (2+2+0) - 6 ECTS credits Main course objectives are to familiarize students with basic terms of Propositional Logic, First-Order Logic, Temporal Logic and Program Verification. Students will master techniques for practical use of logic programming language PROLOG. You can access the course content at the following link: PDF Teachers Instructor: Dr. Zoran Tomljanović, Associate Professor Supporting Instructor: Dr. Luka Borozan Basic literature Introduction to computational logic. Additional literature Teaching materials The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.