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 '?