Tutoriel court Coq

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Page 2 sur 3

Logique en mathématiques : propriétés et propositions

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

Mathématiques discrètes: Logique & Structures

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.

Mathématiques discrètes: Logique, Structures, Algorithmes

Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.

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.

Ensembles et structures définis récursivement

Explore les ensembles définis récursivement, les nombres naturels, les chaînes, les fonctions et les formules de logique propositionnelle.

Logique principale : quantificateurs, FNC, DNF

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

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.

Équations différentielles ordinaires : Définitions et méthodes

Explore les équations différentielles ordinaires, les méthodes de preuve et les exemples historiques d'Euclid, en mettant l'accent sur le raisonnement logique et les dérivations étape par étape.

Sous-groupes Critères : Propositions et exemples

Couvre les critères des sous-groupes et fournit des exemples et des preuves.

Calculs des coordonnées: produit scalaire dans les coordonnées

Couvre le calcul des produits scalaires en coordonnées et étend le concept à l'espace tridimensionnel.