Link to the course web page: https://web.math.pmf.unizg.hr/nastava/ml/index.php
Code: 
61558 
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:  

3. semester 
Algebra i osnove matematike  Regular study  Mathematics Education 
4. semester Not active 
Algebra i osnove matematike  Regular study  Mathematics Education 