Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
Explore l'histoire, la théorie et les applications du transport optimal dans différents domaines, montrant son importance dans la résolution de problèmes mathématiques complexes.
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.
Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.