Deutsch Intern
Chair of Computer Science I - Algorithms and Complexity

Teaching

Logic for Computer Scientists

Title:Logic for Computer Scientists
Type:Lecture with exercises
Abbr. / No.:10-I-LOG / 121714
SWS / LP:2V+2Ü / 5LP
Lecturer:Dietmar Seipel
Supervisor:Falco Nogatz
Dates:

Lecture:
(tba)
Exercises:
(tba)

Learning management system:This course is done with the help of WueCampus. Please register here.
Exam dates:(tba)
Description
Language:German
Regular cycle:every winter term
Level:Basic
Content:Syntax and semantic of propositional logic, equivalence and normal forms, Horn formulas, SAT, resolution, infinite formula sets, syntax and semantic of predicate logic.
Learning outcomes:The students master the following areas: syntax and semantic of propositional logic, equivalence and normal forms, Horn formulas, SAT, resolution, infinite formula sets, syntax and semantic of predicate logic.