Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.
Explore l'unicité des solutions aux équations différentielles, en mettant l'accent sur les solutions globales et la linéarité des équations scalaires de second ordre.
Couvre la logique de premier ordre, les preuves de résolution, les fonctions Skolem et la vérification de la satisfaction en mathématiques et la vérification de programme.
Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.
Offre un aperçu de la logique propositionnelle et des prédicats, des ensembles, des fonctions, des relations, des algorithmes, des villes suisses, des tables de tri, des infections Covid, des mains de poker et des nombres premiers.
