Teaching
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: |
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. |