Logik

Sommer

(in German: Logik )

Intended learning outcomes:
Students can

• explain the terms relevant to logic and their definitions,
• read logical syntax (in particular logical formulae and arguments)
• describe situations using logical formulae,
• translate logical formulae into German and vice versa,
• recognize and produce normal forms,
• write down situations as model-theoretical structures,
• distinguish between formal representation and meaning (real world/application),
• check arguments for logical conclusions,
• construct proofs independently,
• use algorithms to evaluate and transform logical expressions and arguments.

Content:

• Fields of application for logic in computer science,
• Logical syntax (concept of formula and concept of argument for propositional logic and predicate logic),
• Formal representation of knowledge,
• Logical semantics of two- and three-valued propositional logic and predicate logic,
• Domain-specific languages and abstraction to general logical languages,
• Concept of inference and logical inference,
• Rule systems (e.g. for formulas and proofs), - Basic algorithms for logical problems (SAT solving, Horn formula algorithm, transfer to normal forms) rule systems (e.g. for formulas and proofs),
• basic algorithms for logical problems (SAT solving, Horn formula algorithm, transfer to normal forms)

Workload:
Attendance time: 14 x 4 hours = 56 hours Independent follow-up work on the lecture: 94 hours

Comments: