EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

wpf [2018/05/14 16:27]
urbat Added Aloa
wpf [2019/05/17 21:02] (current)
tadeusz
Line 5: Line 5:
   * [[course:algprog|Algebra des Programmierens]]   * [[course:algprog|Algebra des Programmierens]]
   * [[course:aloa|Algebraische und logische Aspekte der Automatentheorie]]   * [[course:aloa|Algebraische und logische Aspekte der Automatentheorie]]
-  * [[course:fm|Formale Methoden der Softwaretechnik]]+  * [[course:fmsoft|Formale Methoden der Softwaretechnik]]
   * [[course:cpp|Kommunikation und parallele Prozesse]]   * [[course:cpp|Kommunikation und parallele Prozesse]]
   * [[course:osm|Ontologien im Semantic Web]]   * [[course:osm|Ontologien im Semantic Web]]
   * [[course:semprog|Praktische Semantik von Programmiersprachen]]   * [[course:semprog|Praktische Semantik von Programmiersprachen]]
-  * [[course:lgrudat|Logische Grundlagen der Datenbanktheorie]] +  * [[course:lgrudat|Logische Grundlagen der Datenbanktheorie]] 
 +  * [[course:fmt|Introduction to Finite Model Theory]] 
   * [[course:rewr|Termersetzungssysteme]]   * [[course:rewr|Termersetzungssysteme]]
   * [[course:nocl|Nonclassical Logics in Computer Science]]   * [[course:nocl|Nonclassical Logics in Computer Science]]
   * [[course:ml|Modallogik]]   * [[course:ml|Modallogik]]