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