Séances de cours associées à Logique d'ordre supérieur

Modèles de termes pour la logique de la première commande

Explore les modèles de termes, les sous-structures, les théorèmes de petits modèles et le modèle Herbrand en logique de premier ordre.

Prédicat Logique: Traduire le langage naturel en logique

Couvre la traduction des phrases en langage naturel en logique de prédicat et l'importance de l'ordre des quantificateurs.

Hoare Logic: Postcondition la plus forte et précondition la plus faible

Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.