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.

Edges: Généralisation

Plonge dans les idées pédagogiques sur les bords, en soulignant l'importance du transfert dans l'éducation.

L’abstraction dans l’éducation

Se penche sur les niveaux de généralisation dans les activités d'apprentissage et sur l'importance du transfert des connaissances.

Économie de la terre et de l'immobilier

Explore les prix des terrains, l'importance de l'emplacement, les prix des maisons et les méthodes de développement.

Séquentielle Calcul avec égalité

Couvre Séquent Calculus avec Equality, en mettant l'accent sur les formules atomiques et les règles de substitution.

Étapes d'élimination des quantificateurs pour Presburger Arithmetic

Couvre l'élimination des quantificateurs en arithmétique de Presbourg, exposant les variables, assurant les coefficients et manipulant les limites.

L'étiquette des bords: Set

Explore les étiquettes de bord, les compétences telles que l'agrégation et la déduction, et la structure du contenu.

La sémantique relationnelle des boucles

Explore la sémantique relationnelle des boucles dans les programmes et l'interprétation mathématique des structures de boucles.