Duží M., Jespersen B. and Materna P. (2010): Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intensional Logic. First edition. Berlin: Springer, series Logic, Epistemology, and the Unity of Science, vol. 17, ISBN 978-90-481-8811-6.
Gensler, H. J. (2010): Introduction to Logic (2nd ed.). Londýn, New York: Routlege
Manna, Z.: Mathematical Theory of Computation. McGraw-Hill, 1974.
Mathematical logic
| Language of instruction | angličtina |
|---|---|
| Code | 460-4171 |
| Abbreviation | MLO |
| Course title | Mathematical logic |
| Coordinating department | Department of Computer Science |
| Course coordinator | prof. RNDr. Marie Duží, CSc. |
Summary
In this course, students will become acquainted with first-order predicate logic as a relational calculus and will compare it with Transparent Intensional Logic (TIL), which is based on a functional approach. For proving logically valid sentences and arguments, we shall employ the calculus of natural deduction.
First, the student learn how to distinguish logically proper vs improper arguments.
Obtained knowledge also describes the abilities of students to present and analyse proper vs improper arguments. As for the former, the student will apply proof calculi to formulate and prove a logically proper argument.
The student will also be able to clarify proving methods and explain the way of proving.
First, the student learn how to distinguish logically proper vs improper arguments.
Obtained knowledge also describes the abilities of students to present and analyse proper vs improper arguments. As for the former, the student will apply proof calculi to formulate and prove a logically proper argument.
The student will also be able to clarify proving methods and explain the way of proving.
Literature
Advised literature
Manna, Z.: Mathematical Theory of Computation. (Reprint), Dover, 2003
Fitting, M.: First-order logic and automated theorem proving [1996]. 2nd ed. New York: Springer, 1996. Graduate texts in computer science.
Fitting, M.: First-order logic and automated theorem proving [1996]. 2nd ed. New York: Springer, 1996. Graduate texts in computer science.