Chapitre 1 | Langage math

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

Vidéos associées aux pages 4, 5 et 6 du cours

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

Lire le début de la page 6

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

Vidéos associées aux pages 7, 8 et 9

4. Négation des booléens quantifiés (pages 9-10)

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

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

Vidéo associée aux pages 10-11-12

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

Videos de la page 12

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

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

Videos à venir