Concept de preuve en mathématiques

Séances de cours associées (28)

Page 3 sur 3

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Explore la signification de la logique en mathématiques et en sciences à travers des propriétés et des propositions.

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

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

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.