L1 Maths Discrètes 2012/2013

L'emploi du temps     

Le programme    

1- Logique : tables de vérité, quantificateurs, preuves.    

2- Ensembles : cardinal, parties, applications, permutations.   

3- Entiers : récurrence.

01/2. Cours: Introduction   Booléens  

08/2. Cours: Enoncés   Définitions  

15/2. Cours: Contextes   Séquents   Tactiques gratuites        

22/2. Cours: Exhiber, appliquer        

1/8. Cours: Autres tactiques        

8/3. Cours: Les parties de R, I        

15/3. Cours: Le théorème d'unicité de la primitive      

22/3. Cours: Les deux OuB        

5/4. Cours: Les parties de R, II        

12/4. Cours: Applications        

26/4. Cours: Fonction caractéristique  

---

Documents 2011/2012

01/2. Cours: Introduction   Booléens   Enoncés   Définitions  

08/2. Cours: Contextes   Séquents   Tactiques gratuites        

15/2. Cours: Exhiber, appliquer   Autres tactiques  

22/2. Cours: Les parties de R, I        

07/3. Cours: Selon        

14/3. Cours: Induction        

28/03. Cours: Les parties de R, II  

04/04. Cours: Les preuves de la vraie vie (Prop 17 p. 27)  

11/04. Cours: Applications   Fonction caractéristique  

18/04. Cours: Récursion  

02/05. Cours: Bolzano-Weierstrass  

02/05. Cours: Image linéaire   Noyau   rab  

Documents 2010/2011

2/2. Cours: Introduction   Booléens        9/2. Cours: Enoncés         16/2. Cours: Contextes         23/2. Cours: Objectifs   Tactiques gratuites         09/3. Cours: Exhiber, appliquer   Tactiques dérivées         16/3. Cours: Définitions   Appliquer, réduire, déduire, réécrire         23/3. Pas de cours!       30/3. Cours: Ensembles         6/4. Cours: Parties d'un ensemble         13/4. Cours: Parties d'un ensemble (suite)         20/4. Cours: Applications         4/5. Cours: Bornes des parties de N  

Documents 09/10

Le cours

Contextes    Booléens    Enoncés    Définitions    Objectifs    Tactiques logiques    Tactiques dérivées    Tactiques chaudes    Ensembles    Parties    Applications   Bornes des parties de N   

Les feuilles non wims

Décrassage   Valeurs intermédiaires    Lire un document    Lire une preuve