Die Vorlesung gibt eine detaillierte Einführung in die Grundlagen der Logik in der Informatik (u.a. Aussagenlogik, Prädikatenlogik).
Instructor: | Prof. Dr. Lutz Schröder |
Provided by: | Universität Erlangen-Nürnberg |
Course language: | German |
Fees: | free course |
Level: | intermediate |
Certificate available? | |
Format: | video lecture |
How do you like the course 'Grundlagen der Logik in der Informatik '?