Calcul séquentiel: bases et applications

Séances de cours associées (28)

Page 1 sur 3

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Explore l'importance de la solidité et de l'exhaustivité dans un système de preuve propositionnelle.

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Explore les règles d'inférence, les déclarations quantifiées et les méthodes de preuve en logique et en mathématiques.

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.