FPF:UIN3060 Logic and Applied Computer Sci - Course Information
UIN3060 Logic and Applied Computer Science 2
Faculty of Philosophy and Science in OpavaSummer 2024
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- RNDr. Radka Poláková, Ph.D. (lecturer)
RNDr. Radka Poláková, Ph.D. (seminar tutor) - Guaranteed by
- RNDr. Radka Poláková, 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
- Computer Science and Technology (programme FPF, N1801 Inf)
- Course objectives
- In this course, students will be familiarized in detail with classical logics a priority with respect to other disciplines, such as axiomatic theory (relational algebra) and the models of the theory of formal languages and automata. At the end of the course, students are introduced to the logic of higher orders, particularly Transparent intensional logic, because of its high expressive power and advantages of the use as a specification language in information systems.
- Syllabus
- 1. Natural deduction system
2. Formal systems
3. Formal theories
4. Relations
5. Algebraic structures
6. Gödel's lemmas
7. Introduction to Transparent intensional logic
- 1. Natural deduction system
- Literature
- recommended literature
- Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
- Duží Marie. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht, 2010. ISBN 978-90-481-8811-6. info
- Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, Academia, 2002. info
- Gahér, F. Logika pro každého. Bratislava, IRIS, 1998. info
- ŠTĚPÁN, J. Formální logika. Olomouc, 1995. info
- Teaching methods
- Interactive lecture
Lecture with a video analysis - Assessment methods
- Exam
Credit - Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course can also be completed outside the examination period.
- Teacher's information
- Credit: 15 of 30 points, Exam: 35 of 70 points
Summary: 51 of 100 points
- Enrolment Statistics (recent)
- Permalink: https://is.slu.cz/course/fpf/summer2024/UIN3060