LSIN310 - Mathématiques pour l’informatique

Descriptif

Cours de Licence 2 introduisant aux concepts mathématiques nécessaires à la poursuite d’études en informatique. L’objectif du cours est d’être en mesure de prouver des énoncés élémentaires de manière la plus rigoureuse possible. Le cours parcourt des notions fondamentales telles que la logique, les techniques de preuves, les fonctions, les relations (d’ordre, d’équivalence), l’arithmétique modulaire ou encore l’algèbre linéaire. Autant de concepts essentiels qui serviront de fondements aux autres cours de la formation, comme les cours d’algorithmique ou de cryptographie.

🚨 Les informations données ici sont indicatives. La communication officielle a lieu sur la plateforme Ecampus du cours. 🚨

Responsable

Jules Baudrin (nom🎾prenom@uvsq🎾fr)

Emploi du temps

	Enseignant	Horaires
CM	Jules Baudrin	mercredi 13h50-15h20, lieu amphi E
TD1	Jules Baudrin	mardi 15h30-17h et mercredi 9h40-11h10
TD2	Titouan Mousset	lundi 13h50-15h20 et vendredi 11h20-12h50
TD3	Yann Rotella	mercredi 11h20-12h50 et jeudi 13h50-15h20
TD4	Christophe Levrat	lundi 15h30-17h et mardi 13h50-15h20

Ceci est indicatif, l’emploi du temps en ligne fait foi.

Début des CM : le 9 septembre 2026 Début des TD : le 14 septembre 2026

Les TD du mercredi 11 novembre (férié) des groupes 1 et 3 seront rattrapés le mercredi 9 décembre sur le créneau de CM (13h50 à 15h20)

Évaluation

La note de l’UE est calculée selon la règle suivante: $\begin{equation}0.6 \times Examen + 0.4 \times \frac{CC1 + CC2}{2}\end{equation}.$ Autrement dit l’examen vaut pour 60%, le contrôle continu pour 40% et la note de contrôle continu est la moyenne des deux CC. Les épreuves auront lieu :

CC1 : le lundi 2 novembre pour les groupes 2 et 4 et le mercredi 4 novembre pour les groupes 1 et 3.
CC2 : le lundi 7 décembre pour les groupes 2 et 4 et le mercredi 9 décembre pour les groupes 1 et 3.
CC de substitution : TBD (uniquement pour les ABJ auprès de la scolarité).
Examen : XXX janvier 2027

Plan prévisionnel du cours

Semaine	CM	TD
1	Logique
2	Raisonnement	Logique
3	Prédicats	Prédicats/ raisonnement
4	Théorie des ensembles	Raisonnement
5	Théorie des ensembles et relations	Théorie des ensembles
6	Relations et applications	Relations
7	Arithmétique sur $\mathbb Z$	Applications
	Vacances de la Toussaint
8	Arithmétique modulaire 1/2	CC1
9	Arithmétique modulaire 2/2	Arithmétique sur $\mathbb Z$
10	Structures algébriques	Arithmétique modulaire
11	Algèbre linéaire	Structures algébriques
12		Algèbre linéaire
13		CC2

Support de cours et de TD

Les fichiers suivants sont disponibles ici archive:

Les résumés des cours (logique, ensembles, relations, applications, arithmétique, algèbre linéaire)
Les feuilles de TDs

Révisions

CC1

TBD

CC2