Modularity for Logical Theories

Wintersemester 2013/14

Lehrbeauftragter:	Prof. Dr. Till Mossakowski
Sprache:	Englisch
Wochenstunden:	4+0+0
Zuhörerkreis:	Bachelor Informatik, Master Digital Engineering, Master Data and Kowledge Engineering, Master Informatik

Modularity and information encapsulation are well-known principles in programming and indispensable for the management of complex software systems. Similar principles are also important when dealing with logical theories, as they arise in software specification, formal modeling, and artificial intelligence.

Literature:

D. Sannella and A. Tarlecki. Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs in Theoretical Computer Science. Springer, 2012. ISBN 978-3-642-17335-6.
Till Mossakowski. Logics, Categories and Colimits. Lecture Notes.
Jon Barwise, John Etchemendy: Language, proof and logic (accessible only from inside the university)

Tools:

Heterogeneous Tool Set

Material:

Mind map about logic pdf mm (for use with freemind)
Mind map about modularity pdf mm (for use with freemind)
Example Hets file: logical consequence

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster

Modularity for Logical Theories

Wintersemester 2013/14

Contents:

Literature:

Tools:

Material: