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 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
Les feuilles non wims