 |
 |
 |
 |
 |
 |
About | The Program | Grants | Further Information | Student Workshops | For Current Students | Internals | Contact & Imprint
General Course Program - Modules at the Technische Universität Wien (TUW)
| Module | ECTS Credits | Person in Charge |
|---|---|---|
| Basic Modules | ||
| Advanced Logics | 9 | Matthias Baaz |
| Foundations | 12 | Alexander Leitsch |
| Integrated Logic Systems | 9 | Georg Gottlob |
| Logic and Constraint Programming | 12 | Thomas Eiter |
| Advanced Modules | ||
| Computational Logic for Information Technology |
12 | Georg Gottlob |
| Inference in Classical and Non-classical Logic |
12 | Matthias Baaz |
| Logic Foundations | 15 | Alexander Leitsch |
| Mathematical Methods | 11 | Alexander Leitsch |
| Principles of Computation | 12 | Thomas Eiter |
Description of the Advanced Modules
Principles of Computation
This module is concerned with the theoretical foundations of computation and with practical realizations. On the theoretical side it covers the theory of computability (computable functions, recursion theory, degrees of unsolvability), complexity theory (NP-completeness, the polynomial hierarchy NP-approximation), and different computing paradigms like quantum computation. On the practical side the areas functional programming and constraint logic programming are covered.
The module takes two semesters.
Corresponding Courses:
- complexity theory (3 cr)
- theory of computability (3 cr.)
- quantum computing (3 cr.)
- functional programming (3cr.)
- constraint logic programming (3 cr.)
- seminar in computer science (3 cr.)
- selected topics in computer science 1 (1.5 cr.)
- selected topics in computer science 2 (3 cr.)
- selected topics in computer science 3 (3 cr.)
- selected topics in computer science 4 (3 cr.)
- selected topics in computer science 5 (3 cr.)
Person in charge: Thomas Eiter
Logical Foundations
This module serves the purpose to deepen the knowledge in important traditional fields of mathematical logic like proof theory, model theory, set theory, lambda-calculus (typed and untyped) and combinatory logic.
The module takes two semesters.
Corresponding courses:
- proof theory (4.5 cr.)
- the lambda-calculus (3 cr.)
- model theory (3 cr.)
- the epsilon-calculus (3 cr.)
- set theory (3 cr.)
- selected topics in mathematical logic 1 (1.5 cr.)
- selected topics in mathematical logic 2 (3 cr.)
- selected topics in mathematical logic 3 (3 cr.)
- selected topics in mathematical logic 4 (3 cr.)
- selected topics in mathematical logic 5 (3 cr.)
Person in charge: Alexander Leitsch
Mathematical Methods
The aim of this module is the extension of advanced mathematical knowledge which may be useful in solving difficult problems in computational logic. The mathematical areas included in this module are algebra, symbolic computation, discrete methods and combinatorics and others.
The module takes two semesters.
Corresponding courses:
- algebra (7 cr.)
- symbolic computation (5 cr.)
- selected topics in number theory (3 cr.)
- discrete methods (7 cr.)
- theory of graphs (3 cr.)
- combinatorics (3 cr.)
- topology (7 cr.)
- mathematical seminar (3 cr.)
Person in charge: Alexander Leitsch
Computational Logic for Information Technology
This module contains several areas where methods of logic are applied in computer science. These areas are theory of data bases, deductive data bases, web data extraction and integration, data and knowledge-bases systems.
The module takes two semesters.
Corresponding courses:
- computer aided verification (3 cr.)
- theory of data bases (3 cr.)
- deductive data bases (3 cr.)
- web data extraction and integration (3 cr.)
- data and knowledge-bases systems. (4.5 cr.)
- selected topics in computer science 1 (1.5 cr.)
- selected topics in computer science 2 (3 cr.)
- selected topics in computer science 3 (3 cr.)
- selected topics in computer science 4 (3 cr.)
- selected topics in computer science 5 (3 cr.)
Person in charge: Georg Gottlob
Inference in Classical and Non-classical Logic
This module serves the purpose to present several inference principles in more detail. These principles are term rewriting, unification theory, nonmonotonic reasoning, probabilistic reasoning and automated deduction in nonclassical logics. Moreover various nonclassical logics are introduced and their potential in modelling knowledge and reasoning is investigated.
The module takes two semesters.
Corresponding courses:
- term rewriting (3 cr.)
- unification theory (3 cr.)
- nonmonotonic reasoning (3 cr.)
- probabilistic reasoning (3 cr.)
- automated deduction in nonclassical logics (3 cr.)
- modal logic and epistemic logic (3 cr.)
- many-valued logics and fuzzy logic (3 cr.)
- selected topics in mathematical logic 1 (1.5 cr.)
- selected topics in mathematical logic 2 (3 cr.)
- selected topics in mathematical logic 3 (3 cr.)
- selected topics in mathematical logic 4 (3 cr.)
- selected topics in mathematical logic 5 (3 cr.)
Person in charge: Matthias Baaz
For further information, see the pages of the Studium irregulare ‘Computationale Logik’ or contact Prof. Matthias Baaz.