Das Muddy Children Puzzle Epistemische Logik bei der ... - Informatik
Das Muddy Children Puzzle Epistemische Logik bei der ... - Informatik
Das Muddy Children Puzzle Epistemische Logik bei der ... - Informatik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Vertiefung Theoretische <strong>Informatik</strong> <strong>bei</strong> LS8SWSECTSFormale Methoden <strong>der</strong> Softwaretechnik 4 7,5Ontologien im Semantic Web 4 7,5Kommunikation und parallele Prozesse 4 7,5Termersetzungssysteme 4 7,5Nichtklassische <strong>Logik</strong>en in <strong>der</strong> <strong>Informatik</strong> 4 7,5Logische Grundlagen <strong>der</strong> Datenbanktheorie 4 7,5Algebra <strong>der</strong> Programmierung 4 7,5Praktische Semantik v. Progspr. 4 7,5Kryptologie und Protokollverifikation 4 7,5Praktikum Wissensrepräsentation 10Praktikum Formale Methoden 10Seminare 2 5Lutz Schrö<strong>der</strong>: <strong>Epistemische</strong> <strong>Logik</strong> 9 Orientierungsvorlesung
Change language