Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Cours de Mathématiques LSI1-TS : Algèbre

De
60 pages

Cours de Mathématiques LSI1-TS : Algèbre

Publié par :
Ajouté le : 21 juillet 2011
Lecture(s) : 130
Signaler un abus
ENc,ATSSnnLanCiosruoaMedméhtqita.SaBalglbèSTA:IS-1euLs
Avertissement
Ce document n’est pas un cours de mathématiques. On sera attentif au fait que les résultats sont donnés sans justification et que les exemples ne sont pas détaillés. Pour tout complément, nous renvoyons le lecteur à l’ouvrage suivant (dans lequel il trouvera une présentation détaillée des résultats cités ici, de nombreux exemples et mises en garde, ainsi que des exercices corrigés) :
Algèbre et Analyse Cours de Mathématiques de Première Année avec Exercices Corrigés Stéphane Balac, Frédéric Sturm Presses Polytechniques et Universitaires Romandes Collection Sciences Appliquées de l’INSA de Lyon -1046 pages- 2003
re
Introduction à la logique mathématique La démonstration en mathématique
nnoiCnuosredaMhtS.Balac,ENSSATLa
INTRODUCTION A LA LOGIQUE MATHÉMATIQUE ET AU RAISONNEMENT MATHEMATIQUE
Introduction à la logique mathématique La démonstration en mathématique
reèblg:AST-1ISLseuqitamé
snecteursatLescontUlisitaoliguqsetianatcndioquestaméeuqisruehtam
Introduction à la logique mathématique La démonstration en mathématique
S. Balac, ENSSAT Lannion
la
logique
mathématique
Cours de Mathématiques LSI1-TS : Algèbre
1.
Introduction
à
etprédicssertionA
euqitaméhtamsrueatctianquesndioal,c.SaBsrptecidéressnoitAtUlisitaoliguqsenecteursatLescondersthMaatémueiqSSNEaLTAoinnuoCn
Introduction à la logique mathématique La démonstration en mathématique
1.1.
Assertion et prédicat
LsIS-1STA:glbèer
gilolanàhéatemqutnIoitcudoronenratiématmathuqLeamitnotsdamésmathémaicateurituqsetisUueiqogslurtetnauqsednoitasilnetprtioAsseiquennceseocacLtéridST-1glA:erbè
«24 est un multiple de 2» est une assertion (qui a pour valeur de vérité) vrai. «19 est un multiple de 2» est une assertion (qui a pour valeur de vérité) faux. «n est un multiple de 2» n’est pas une assertion. Il s’agit d’un prédicat.
Uneassertionest un énoncé mathématique auquel on peut attribuerla valeur de véritévrai ou faux mais jamais les deux à la fois (principe du tiers exclu).
ématMathsLSIiquennoiTAaLsredCnuoBaS.SSENc,la
eursmathanticatoidnseuqtUlisitastaméeuqinIrtdocuméhtqitaaLeuomédontialàliqogmaueuqAeamititnossreationstrathénenmsruetcenseuqigolicédpretonscLeaterb
Unprédicatun énoncé mathématique contenant des lettresest appelées variables tel que quand on substitue à chacune de ces variables un élément donné d’un ensemble, on obtient une assertion.
al.BSASSNE,canoinnaLTsdeMCourmatiathéSL1IuqselAègT-:S
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin