Logique formelle: preuves et ensembles

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

Page 1 sur 3

Concept de preuve en mathématiques

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

Introduction & Logique de proposition

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

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Logique du prédicat : quantificateurs et valeurs de vérité

Explore les quantificateurs existentiels, les valeurs de vérité et les énoncés composites dans la logique des prédicats.

Propositions inductives : Techniques de raisonnement et d’évaluation

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

Logique propositionnelle : bases et applications

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

Propositions et preuves

Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.

Preuves : Logique, Mathématiques et Algorithmes

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

Logique propositionnelle : Implication et propositions composées

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

Hoare Logic: Fondements et applications

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