UINA517 Selected Parts of Logic

Filozoficko-přírodovědecká fakulta v Opavě
zima 2024
Rozsah
2/2/0. 6 kr. Ukončení: zk.
Vyučující
Mgr. Marek Menšík, Ph.D. (přednášející)
RNDr. Radka Poláková, Ph.D. (přednášející)
Mgr. Marek Menšík, Ph.D. (cvičící)
Garance
RNDr. Radka Poláková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
The course assumes basic knowledge of mathematical logic.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
In this course, students will be acquainted in detail with the classical first-order logics with regard to other scientific disciplines. Students will be acquainted with axiomatic theories (relational, algebraic) and further with models of theories of formal languages and automata. At the end of the course, students will get acquainted with higher-order logics, namely Transparent Intentional Logic, which will point out the fact of high expressive power and advantages of use as a specification language in information systems as opposed to systems based on first-order logics.
Výstupy z učení
Student will have detail knowledge about the classical first-order logics, including facts about their connection to other scientific disciplines. Student will have basic knowledge about higher-order logics too.
Osnova
  • 1. Natural deduction system PL1. 2. Formal Hilbert-type system. 3. Certainty, correctness, completeness, partial decidability of calculus PL1. 4. Formalized theories - Introduction, Hilbert's program. 5. Relation theory. 6. Algebraic theories. 7. Gödel's theorems on the completeness of the calculus PL1. 8. Robinson and Pean formal arithmetic, Gödel's theorems on incompleteness of formal arithmetic. 9. Transparent intensional logic - Introduction 10. TIL formalism and its advantages. 11. Comparison of the particular formal systems.
Výukové metody
Lecture, seminars
Metody hodnocení
written tests
Vyučovací jazyk
Angličtina
Předmět je zařazen také v obdobích zima 2021, zima 2022, zima 2023.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.slu.cz/predmet/fpf/zima2024/UINA517