Qu’est-ce qu’une preuve formelle?

Séances de cours associées (29)

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

Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.

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

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.

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

Explore des exemples de catégories, de morphismes, de groupoïdes et de functeurs dans la théorie des catégories.

Explore les représentations cartographiques de Karnaugh, les règles de regroupement, l'optimisation et la technologie de portail TTL.

Couvre l'analyse des réactions hétérogènes, en se concentrant sur la cinétique et les types de réacteurs.

Page 2 sur 2