Duration:
1 Semester | Turnus of offer:
each summer semester | Credit points:
4 |
Course of studies, specific field and terms: - Bachelor MES 2014 (optional subject), computer science / electrical engineering, 3rd semester at the earliest
- Bachelor Media Informatics 2020 (compulsory), computer science, 2nd semester
- Bachelor Computer Science 2019 (compulsory), foundations of computer science, 2nd semester
- Bachelor Robotics and Autonomous Systems 2020 (optional subject), computer science, 5th or 6th semester
- Bachelor Medical Informatics 2019 (compulsory), computer science, 2nd semester
- Bachelor Media Informatics 2014 (optional subject), computer science, 5th or 6th semester
- Bachelor Computer Science 2016 (compulsory), foundations of computer science, 3rd semester
- Bachelor Robotics and Autonomous Systems 2016 (optional subject), computer science, 5th or 6th semester
- Bachelor IT-Security 2016 (compulsory), computer science, 2nd semester
- Bachelor Medical Informatics 2014 (compulsory), computer science, 3rd semester
- Bachelor Computer Science 2014 (compulsory), foundations of computer science, 3rd semester
- Bachelor Medical Informatics 2011 (compulsory), computer science, 1st semester
- Bachelor MES 2011 (optional subject), computer science, 3rd semester
- Bachelor CLS 2010 (optional subject), computer science, 6th semester
- Bachelor Computer Science 2012 (compulsory), foundations of computer science, 1st semester
|
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: |
Responsible for this module: Teachers: |
Literature: - Uwe Schöning: Logik für Informatiker - Spektrum Verlag, 1995
- Kreuzer, Kühlig: Logik für Informatiker - Pearson Studium, 2006
|
Language: |
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. |
Letzte Änderung: 24.7.2023 |
für die Ukraine