Poll

No polls currently selected on this page!

Repository

Repository is empty

Mathematical logic

Code: 45689
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:

1. komponenta

Lecture typeTotal
Lectures 30
Exercises 30
* Load is given in academic hour (1 academic hour = 45 minutes)
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.
The first order theories are considered in the second part. The syntax and semantics are defined. Sketch of Henkin's proof of the completeness theorem and its consequences are given.

COURSE DESCRIPTION AND SYLLABUS:
I. Propositional logic
1. Introduction. Syntax, formulas, interpretations and truth. Validity and satisfiability.
2. Normal forms. Craig interpolation lemma.
3. Compactness theorem. Applications (ordering of abelian groups and graph coloring)
4. Frege - Łukasievicz system, proof, theorem, deduction. Soundness theorem. Deduction theorem.
6. Completeness theorem for Frege-Łukasievicz system.
7. Consistency. Generalized completeness theorem.
8. Natural deduction. Soundness theorem.
9. Completeness theorem for natural deduction.
10. Some non-classical propositional logic: modal and intuitionistic logic
II. First order logic.
1. Signature of first order theories. First order logic. Structures and interpretations. The truth of formulas. Validity and satisfiability.
2. Prenex normal forms. Semantic trees.
3. Hilbert system. Deduction theorem.
4. Generalized completeness theorem (sketch of Henkin's proof). Consequences: Gödel
5. completeness theorem, compactness theorem, Löwenheim-Skolem theorem. 6. Some examples of first order theories: theories with equality, Peano arithmetic and
7. Zermelo-Fraenkel set theory.
Literature:
1. semester
Mandatory course - Regular study - Computer Science and Mathematics
Consultations schedule:

Content

News - Archive

Return

Results 0 - 0 of 0
Page 1 of 0
Results per page: 
No news!