Loading
0000001185 18S 6SWS VI Logic (IN2049)   Hilfe Logo

LV - Detailansicht

Wichtigste Meldungen anzeigenMeldungsfenster schließen
Allgemeine Angaben
Logic (IN2049) 
0000001185
lecture with integrated exercises
6
Summer semester 2018
Informatics 21 - Chair of Logik und Verifikation (Prof. Nipkow)
(Contact information)
Details
Angaben zur Abhaltung
In the context of propositional and predicate logic the following basic
notions are covered:
- Syntax and semantics
- Proof system and proof search
- Soundness and completeness
- Decidability
- Expressiveness
Possible further topics (non exhaustive):
- Proof systems
- Automated theorem proving
- Verification
- Decision procedures
- Prolog
- Data base theory
- Higher-order logic
- Set theory
- Constructive logic
- Fuzzy logic
Basic knowledge of a) syntax and semantics of first-order logic and b) discrete mathematics
see Module description IN2049
English
Details
Für die Anmeldung zur Teilnahme müssen Sie sich in TUMonline als Studierende*r identifizieren.
Zusatzinformationen
Online information
course documents
[LV-Evaluation:IN]