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.

Emploi du temps

	Enseignant	Horaires
CM	Jules Baudrin	mercredi 13h50-15h20, amphi E (Descartes)
TD1	Pierre Varjabedian	mardi 15h30-17h et vendredi 9h40-11h10
TD2	Jules Baudrin	lundi 13h50-15h20 et mercredi 11h20-12h50
TD3	Anas Boudi	lundi 15h30-17h et jeudi 9h40-11h10
TD4	Franck Quessette	lundi 15h30-17h et mardi 13h50-15h20
TD5	Anas Boudi	lundi 13h50-15h20 et mercredi 9h40-11h10

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

É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 : semaine du 20 octobre 2025.
CC2 : semaine du 8 décembre 2025.
CC de substitution : mercredi 17 décembre 2025 (uniquement pour les ABJ auprès de la scolarité).
Examen : janvier 2026
Deuxième session : 19 juin 2026.

Plan prévisionnel du cours

Semaine	CM	TD
1	Logique
2	Prédicats et raisonnement	Logique
3	Théorie des ensembles	Prédicats et raisonnement
4	Relations et fonctions	Combinatoire
5	Arithmétique 1/2	Théorie des ensembles
6	Arithmétique 2/2	Relations et fonctions
7	Structures algébriques	Arithmétique
8	Algèbre linéaire 1/2	Arithmétique / structures algébriques
9	Algèbre linéaire 2/2	Structures algébriques
10	Probabilités discrètes	Algèbre linéaire
11	Chaînes de Markov ?	Algèbre linéaire
12	CC2 ?	Probabilités discrètes
13		Chaînes de Markov ?

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 8 feuilles de TDs
Les énoncés des CC1, CC2, et de l’examen de 1ère session.

Révisions

CC1

TBD

CC2