FPF:UIN1007 Introduction to Logic - Course Information
UIN1007 Introduction to Logic
Faculty of Philosophy and Science in OpavaSummer 2011
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Luděk Cienciala, Ph.D. (lecturer)
doc. RNDr. Lucie Ciencialová, Ph.D. (seminar tutor) - Guaranteed by
- doc. RNDr. Luděk Cienciala, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- there are 12 fields of study the course is directly associated with, display
- Course objectives
- Introduction to the logic; Proposition logic. Language of proposition logic. Semantics; Compact theorem, formal systems, Post's theorem; Predicate logic. Semantics. Formal systems. Deduction theorem; Prenex form of formulas. Gödel's theorems. Aristoteles logic.
- Language of instruction
- Czech
- Further Comments
- The course can also be completed outside the examination period.
- Enrolment Statistics (Summer 2011, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2011/UIN1007