Formal logic is used in varied places in informatics. Propositional and predicate logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms, software and hardware for highly-reliable and safety-critical systems. Belief and epistemic logics are used in symbolic artificial intelligence, especially in multi-agent systems. Causal logics may be used in the analysis of complex systems and their accidents. Probability and inductive logic is (or should be!) used in the assessment of the risk of safety-critical systems. Various logics are used in formal semantics in computational linguistics.
This two-part course offers a practical introduction to these formal logics for those who are already acquainted with the basics of propositional logic and the language of predicate logic, such as found in the theoretical informatics course or the introduction to logic offered by the Philosophy and Linguistics Departments.
After an introduction to the material by the lecturer, participants will give their solutions to selected problems from the literature in the form of a short seminar presentation.
* Hacking: An Introduction to Probability and Inductive Logic (Cambridge University Press, 2001)
* Priest: An Introduction to Non-Classical Logic, 2nd Edition (Cambridge University Press, 2008)
* John P. Burgess, Philosophical Logic, Princeton U.P., 2009
* Ernest W. Adams, A Primer of Probability Logic, CSLI Publications, 1998.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Modul | Veranstaltung | Leistungen | |
---|---|---|---|
39-Inf-AL1 Applied Logic I | Applied Logic Seminar I | Studieninformation | |
- | benotete Prüfungsleistung | Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Bioinformatik und Genomforschung / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsber | Wahl | 5. | 3 | unbenotet 3 von 5 LP (3 out of 5 CP) | |
Informatik / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | Wahl | 5. | 3 | unbenotet 3 von 5 LP (3 out of 5 CP) | |
Intelligente Systeme / Master | (Einschreibung bis SoSe 2012) | Wahlpflicht | 1. | 3 | 39-Inf-AL1 Modul Applied Logic I | ||
Kognitive Informatik / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsb | Wahl | 5. 7. | 3 | unbenotet 3 von 5 LP (3 out of 5 CP) | |
Medieninformatik und Gestaltung / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungs | Wahl | 5. | 3 | unbenotet 3 von 5 LP (3 out of 5 CP) | |
Naturwissenschaftliche Informatik / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsbereic | Wahl | 5. 7. | 3 | unbenotet 3 von 5 LP (3 out of 5 CP) |