UIN3059 Logic and Applied Computer Science 1

Faculty of Philosophy and Science in Opava
Winter 2014
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
Language of instruction
Czech
Further Comments
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 2009, Winter 2010, Winter 2011, Winter 2012, Winter 2013, Winter 2015, Winter 2016, Winter 2017, Winter 2018, Winter 2019, Winter 2020, Winter 2021, Winter 2022, Winter 2023.
  • Enrolment Statistics (Winter 2014, recent)
  • Permalink: https://is.slu.cz/course/fpf/winter2014/UIN3059