Universität · Mathematik
Mathematische Logik und Grundlagen
Formale Logik, Beweistheorie, Mengenlehre und Berechenbarkeit.
8 Lektionen
8 Karteikarten-Decks
8 Quizze
Lehrplan
Mathematische Logik und Grundlagen
Aussagenlogik und Prädikatenlogik1 Decks1 QuizFormale Beweissysteme: Sequenzenkalkuel1 Decks1 QuizVollständigkeitssatz (Gödel)1 Decks1 QuizUnvollständigkeitssätze (Gödel)1 Decks1 QuizMengenlehre: ZFC-Axiome, Auswahlaxiom1 Decks1 QuizModelltheorie: Grundbegriffe1 Decks1 QuizBerechenbarkeitstheorie: Turingmaschinen, Entscheidbarkeit1 Decks1 QuizKategorientheorie: Einführung1 Decks1 Quiz
Jetzt Mathematische Logik und Grundlagen lernen
Alle 8 Lektionen mit Karteikarten, Quizzen und KI-Lernhilfen. 7 Tage kostenlos.
Kostenlos testen