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