Website
Curriculum

Modul CS1002-KP04, CS1002

Introduction to Logics (Logik)

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:
  • written exam
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:
  • 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.

Letzte Änderung:
24.7.2023