Die Vorlesung gibt eine detaillierte Einführung in die Grundlagen der Logik in der Informatik (u.a. Aussagenlogik, Prädikatenlogik).
| Dozent: | Prof. Dr. Lutz Schröder |
| Bereitgestellt von: | Universität Erlangen-Nürnberg |
| Kurssprache: | Deutsch |
| Kosten: | kostenlos |
| Level: | Vorkenntnisse |
| Zertifikat erhältlich? | |
| Format: | Vorlesungsvideo |
Wie gefällt Dir der Kurs 'Grundlagen der Logik in der Informatik '?