Cours de Mathématiques pour première année licence ST et SM

Introduction

L'objectif ici est de bien définir le vocabulaire, les notations et le propriétés que nous utiliserons non seulement dans ce chapitre, mais également dans toutes les preuves de résultats que nous développerons que ce soit en cours ou en travaux dirigés. A partir de ce chapitre, il faudra donc construire les démonstrations de la façon la plus rigoureuse possible, en utilisant les bons quantificateurs, dans le bon ordre, mais également des stratégies de preuves (absurde,contraposée, récurrence par exemple).

Quelques mathématiciens célèbres liés à l'étude de la logique.
PrécédentPrécédentSuivantSuivant
AccueilAccueilImprimerImprimerRéalisé avec Scenari (nouvelle fenêtre)