Séances de cours associées à Substitution (logic)

Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.

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

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

Techniques d'intégration: théorèmes et méthodes fondamentaux

Discute des techniques d'intégration, en mettant l'accent sur l'intégration par parties et les méthodes de substitution, avec des exemples pratiques et des idées théoriques.

Fonctions d'ordre supérieur utilisant des substitutions naïves

Explore les fonctions d'ordre supérieur, les environnements, l'évaluation à l'aide de la substitution et des exemples tels que double factorielle.