Logique et preuves mathématiques

L'essentiel pour l'étudiant

Pierre Mercuriali - Collection Les petits experts - Sciences

48 pages, parution le 21/08/2024

Ajouter à une liste

Expédié sous 24h

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

Retrait à la librairie - Paris 5e

Disponible dans la journée

QUANTITÉ

Résumé

Les petits experts en sciences : vos repères synthétiques et pratiques à emporter partout.
L'essentiel à savoir sur la logique et les preuves mathématiques : notations, variables, connecteurs et différents types de démonstrations.

Sommaire

Introduction - Logique et démonstration. Théorie « naïve » des ensembles. Notations mathématiques usuelles. Logique propositionnelle - Variables, connecteurs, et premières formules. Logique propositionnelle - Interprétation. Logique propositionnelle - Propriétés des connecteurs logiques. Logique propositionnelle - Quelques considérations linguistiques. Logique du premier ordre et quantification. Logique du premier ordre et interprétation. Faire jouer les équivalences logiques pour changer la forme d’un problème. Démonstrations : les lire et les écrire. Démonstration directe d’une implication. Démonstration par disjonction de cas. Quantification et démonstration par l’exemple. Démonstration d’une équivalence par double implication. Résolution d’équations par suites d’équivalences. Démonstration par contraposition. Démonstration par l’absurde. Démonstration par contre-exemple. Démonstration par récurrence. Ouverture : principes de démonstration divers. Ouverture : d’autres manières de démontrer et liens avec d’autres sciences.

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dunod
Auteur(s)	Pierre Mercuriali
Collection	Les petits experts - Sciences
Parution	21/08/2024
Nb. de pages	48
Format	11.5 x 21
Poids	56g
EAN13	9782100867004