Mathématiques discrètes (R1.06)

Cours/TD

Introduction à la logique.

Semaine	Cours	TD
1 : 06/09 - 10/09	Formes propositionelles	td1
2 : 13/09 - 17/09	Formes normales, simplification	td2

TP

• Lien vers le serveur WIMS.
• Exercice de simplification de formules polynomiales.