All About EMCL

next up previous Next: 3.11 Credit Points Up: 3 Common Study and Previous: 3.9 Curriculum


3.10 Contents

(1)
EMCL is mainly research oriented.

(2)
Within the mandatory modules the following topics are covered:

  • foundations of propositional and first-order logic and basic techniques applied within logic-based systems,
  • foundations of logic and constraint programming,
  • foundations of logic-based systems,
  • foundations and applications of integrated logic systems,
  • selected special topics from logic-based systems.

(3)
The advanced modules cover the topics Knowledge Representation, Modeling and Verification, Theoretical Computer Science and Logic, Natural Language Processing and Automata, Principles of Inference, Principles of Data Management, Semantic Technologies, Principles of Computation, Computational Logic for Information Technology, Logical Foundations, Constraints, Logic and Languages for Software Reliability and Security, and Computer Science Engineering.