Link to the course web page: https://web.math.pmf.unizg.hr/nastava/ml/index.php
Code: 
33084 
ECTS:  5.0 
Lecturers in charge: 
prof. dr. sc.
Mladen Vuković

Lecturers: 
Helena Marciuš
, mag. inf. et math.  Exercises 
English level:
1,0,0 
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English. 
Load:  


Description:  
COURSE AIMS AND OBJECTIVES: The course begins with study of syntax and semantics of propositional logic. The basic aim is to define the notions of formula, interpretation, truth and validity, proof, theorem and consistency, for the very simple theory. Hilbertstyle system and natural deduction for propositional logic are defined, and the Soundness and Completeness theorems are proved. 

Literature:  


Prerequisit for:  
Enrollment : 
5. semester 
Izborni predmet 1, 2  Regular study  Mathematics 
6. semester Not active 
Izborni predmet 1, 2  Regular study  Mathematics 