UINA359 Logic and Applied Computer Science 1

Faculty of Philosophy and Science in Opava
Winter 2017
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Teacher(s)
Mgr. Marek Menšík, Ph.D. (lecturer)
Mgr. Marek Menšík, Ph.D. (seminar tutor)
Guaranteed by
Mgr. Marek Menšík, 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
Course objectives
In this course, students will be familiar with the base of FOL, especially then with automated methods and theories behind these methods. Students after completion will have a clear idea about the problems of automated derivations. The course is an introductory course to the course Logic and Applied Informatics 2.
Syllabus
  • Logic Entailment
    Sematics of Propositional Logic
    Rezolution Method in Propositional Logic
    Hilbert Type Formal System
    Naive Set Theory
    FOL
    Semantics of FOL
    Semantic Proof Methods
    Decidability and Recursive Computability
Literature
    recommended literature
  • Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
  • ing M. Copi, Carl Cohen, Kenneth McMahon. Introduction to Logic. Routledge, 2013. ISBN 9780205820375. info
  • Duží Marie. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht, 2010. ISBN 978-90-481-8811-6. info
  • ŠTĚPÁN, J. Formální logika. Olomouc, 1995. info
Teaching methods
Interactive lecture
Lecture with a video analysis
Assessment methods
Exam
Language of instruction
English
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
The course is also listed under the following terms Winter 2018, Winter 2019, Winter 2020.
  • Enrolment Statistics (Winter 2017, recent)
  • Permalink: https://is.slu.cz/course/fpf/winter2017/UINA359