Chapitre 1 | Langage math

1. Booléens, variables formelles, variables affectées ( pages 4-5)

Lire les pages 4 et 5 et regarder la correction de l'exo

2. Négation d'un booléen ( page 6)

Lire le début de la page 6

3. Les quantificateurs (pages 6-7-8)

Lire les pages 6,7,8 et regarder la vidéo

4. Négation des booléens quantifiés (page 9)

Lire la propriété 1.4.1 et regarder la vidéo

5. Variables muettes ou parlantes, équivalence de booléens (pages 10-11)

Lire les pages 10-11 et regarder la vidéo

6. Prouver que des booléens universels ou existentiels sont vrais.

Lire les pages 11-12-13, surtout les exemples.

7. Prouver que des booléens universels ou existentiels sont faux.

8. Equations, inéquations, équations à paramètre

Lire la page 14 du cours