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. Hilbert-style 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 |