Home – Research – Teaching

Divers

Informations générales

• Cours : INF1132, Mathématiques pour l’informatique
• Session : hiver 2025
• Groupe : 50
• Professeur : Samuele Giraudo
• Coordinatrice : Marie-Jean Meurs

Plan du cours

Accessible ici.

Entente d’évaluation

Accessible ici.

Calendrier des séances

Séance 1

• Vendredi 10 janvier 2025, 13 h 30 à 16 h 30, salle SH-3620. ++ Thèmes abordés : informations générales ; logique ; propositions ; connecteurs logiques ; implication (réciproque et contraposée) ; équivalence logique ; lois de De Morgan ; équivalences logiques importantes

Séance 2

• Vendredi 17 janvier 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : fonctions propositionnelles ; quantificateurs ; règles d’inférence ; démonstration directe, par contraposée, par l’absurde ; bases sur les ensembles ; notation par extension et par compréhension ; diagrammes de Venn ; inclusion ensembliste.

Séance 3

• Vendredi 24 janvier 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Lancement du TP1 (voir plus bas).
• Thèmes abordés : présentation de LaTeX ; ensemble des parties ; produit cartésien ; union ; intersection ; différence ; différence symétrique ; démonstrations par double inclusion ; tables d’appartenance.

Séance 4

• Vendredi 31 janvier 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : dénombrement (principe de la somme et du produit) ; inclusion-exclusion ; principe des tiroirs ; notions de base sur les fonctions ; opérations sur les fonctions numériques.

Séance 5

• Vendredi 7 février 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : fonctions injectives ; fonctions surjectives ; fonctions bijectives ; composition de fonctions ; inversion de fonctions.

Séance 6

• Vendredi 14 février 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : suites ; suites et relations de récurrence ; suites arithmétiques et géométriques ; comportement asymptotique.

Séance 7

• Vendredi 21 février 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : séance de révision, préparation à l’examen 1.

Séance 8

• Vendredi 28 février 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : notion d’algorithme ; pseudo-code ; tableaux ; fouille linéaire ; fouille binaire.

Séance 9

• Vendredi 14 mars 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : complexité des algorithmes ; complexité dans le pire cas et dans le meilleur cas ; divisibilité et premières propriétés.

Séance 10

• Vendredi 21 mars 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : nombres premiers ; nombres composés ; division euclidienne ; propriétés en lien avec ces notions ; PGCD ; PPCM.

Séance 11

• Vendredi 28 mars 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : changement de bases ; induction et induction fortes ; exemples de démonstration ; définitions récursives.

Séance 12

• Vendredi 4 avril 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : définition d’algorithmes récursifs ; relations binaires ; représentations des relations binaires ; principales propriétés des relations binaires.

Séance 13

• Vendredi 11 avril 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : démonstration de propriétés des relations binaires ; relations d’équivalence ; partitions ensemblistes ; classes d’équivalence.

Séance 14

• Vendredi 18 avril 2025, 13 h 30 à 16 h 30, salle SH-3620. (Jour férié.)
• Thèmes abordés : -

Séance 15

• Vendredi 25 avril 2025, 13 h 30 à 16 h 30, salle SH-3620.
• Thèmes abordés : révisions.

Devoirs

Devoir 1

• Publié le 2025-01-19.
• À rendre le 2025-01-31 avant midi.

Devoir 2

• Publié le 2025-02-02.
• À rendre le 2025-02-14 avant midi.

Devoir 3

• Publié le 2025-03-17.
• À rendre le 2025-03-28 avant midi.

Devoir 4

• Publié le 2025-03-31.
• À rendre le 2025-04-11 avant midi.

Examens

Il est fortement recommandé de bien prendre connaissance des modalités des examens qui figurent dans le plan du cours.

Examen 1

• Date : 2025-02-23, de 9 h 30 à 12 h 30.

Examen 2

• Date : 2025-04-27, de 9 h 30 à 12 h 30.

Démonstrations

• Les lundis (à partir de la semaine du 13 janvier 2025), 13 h 30 à 16 h 30, salles SH-3760 et SH-3360.
• Auxiliaires de démonstrations : Karimatou Djenabou et Daria Merlier.