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
3 : 20/09 - 24/09	Formes prédicatives	td3

TP

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