Séances de cours associées à Kurt Gödel

Couvre les bases du calcul prédicat, y compris les propositions, les formules, les termes et l'évaluation sémantique.

Logique des prédicats : bases et applications

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Philosophie de Mathématiques : Ontologie et Structures

Explore l'existence d'objets mathématiques, la vérité des propositions, et la connaissance à leur sujet, couvrant le platonisme, l'intuitisme, le structuralisme, le nominalisme, le logique et le formalisme.

Convex Bodies: Propriétés et Théorèmes

Couvre les propriétés et les théorèmes liés aux corps convexes et à leurs transformations.