monnerat/maths_2024

History

Denis Monnerat a956092658 test		2024-10-04 19:29:47 +02:00
..
correction	ajout correction exo6 td2	2024-09-22 10:59:45 +02:00
cours	ordre	2024-10-04 09:37:08 +02:00
ds	les meilleures choses ont un début !	2024-09-06 09:01:42 +02:00
td	ordre	2024-10-04 09:37:08 +02:00
README.md	test	2024-10-04 19:29:47 +02:00

README.md

Mathématiques discrètes (R1.06)

Cours/TD

Introduction à la logique.

Semaine	Cours	TD
1	Formes propositionelles	td1
2	Formes normales, simplification	td2
3	Formes prédicatives	td3

Ensembles, relations, fonctions.

Semaine	Cours	TD
4	Ensembles	td3
5	Relations	td3
6	Relations, Ordre	td4

TP

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

Divers