| Allgemeine Angaben |
|
|
|
|
|
| lecture with integrated exercises |
|
|
|
|
|
|
|
|
|
|
|
| |
| 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 |
|
|
|
|
|
|
|
|
| Für die Anmeldung zur Teilnahme müssen Sie sich in TUMonline als Studierende*r identifizieren. |
|
| |
| Zusatzinformationen |
|
|
|
|
|
|
