Diese Online-Vorlesung gibt einen Überblick über grundlegende mathematische Konzepte zum Umgang mit endlichen oder abzählbaren Strukturen sowie zu grundlegenden Konzepten der Logik. Enthalten sind u.a. Mengen, Relationen, Ordnungen, Modulare Arithmetik, Gruppen und Körper, Aussagenlogik und Prädikatenlogik, Sequenzenkalkül und Resolution sowie Gödels Unvollständigkeitssatz.
Instructor: | Professor Martin Hofmann |
Provided by: | Universität München |
Course language: | German |
Fees: | free course |
Level: | intermediate |
Certificate available? | |
Format: | video lecture |
How do you like the course 'Logik und Diskrete Strukturen'?