Module CS1002-KP04, CS1002
Introduction to Logics (Logik)
Duration
1 Semester
Turnus of offer
each summer semester
Credit points
4
Course of studies, specific fields and terms:
- Bachelor MES 2014, optional subject, computer science / electrical engineering
- Bachelor Media Informatics 2020, compulsory, computer science
- Bachelor Computer Science 2019, compulsory, foundations of computer science
- Bachelor Robotics and Autonomous Systems 2020 , optional subject, computer science
- Bachelor Medical Informatics 2019, compulsory, computer science
- Bachelor Media Informatics 2014, optional subject, computer science
- Bachelor Computer Science 2016, compulsory, foundations of computer science
- Bachelor Robotics and Autonomous Systems 2016, optional subject, computer science
- Bachelor IT-Security 2016, compulsory, computer science
- Bachelor Medical Informatics 2014, compulsory, computer science
- Bachelor Computer Science 2014, compulsory, foundations of computer science
- Bachelor Medical Informatics 2011, compulsory, computer science
- Bachelor MES 2011, optional subject, computer science
- Bachelor CLS 2010, optional subject, computer science
- Bachelor Computer Science 2012, compulsory, foundations of computer science
Classes and lectures:
- Introduction to Logic (lecture, 2 SWS)
- Introduction to Logic (exercise, 1 SWS)
Workload:
- 10 hours exam preparation
- 65 hours private studies and exercises
- 45 hours in-classroom work
Contents of teaching:
- Key concepts of syntax: alphabet, string, term, formula
- Key concepts of semantics: assignment, structure, model
- Key concepts of proof calculus: axioms, proofs
- Formlization and coding of problems
- Validating correctness and satisfiability of formalizations
- Syntax and semantics of propositional logic
- Syntax and semantics of predicate logig
- Proof caculi
Qualification-goals/Competencies:
- Students are abel to explain the concepts of syntax and semantics for the examples of prepositional and predicate logic
- They are able to apply formal systems and proof systems
- They are able to transfer methods of mathematical logic to simple practical problems
- They are abel to formalize discrete problems
- They are able to modify proof templates in order to create simple proofs
Grading through:
- written exam
Responsible for this module:
Literature:
- Uwe Schöning : Logik für Informatiker Spektrum Verlag, 1995
- Kreuzer, Kühlig : Logik für Informatiker Pearson Studium, 2006
Language:
- offered only in German
Notes:
Admission requirements for taking the module:- None
Admission requirements for participation in module examination(s):
- Successful completion of exercise slips as specified at the beginning of the semester.
Module Exam(s):
- CS1002-L1: Introduction to Logic, portfolio exam: a total of 70 points for written exercises down during the course of the semester, 30 points for the written exam at the end. The grade is calculated as follows: 50 to 54 points for a 4.0, then 55 to 59 points for a 3.7 and so on until the end 95 to 100 points for a 1.0.
Last Updated:
24.07.2023