- Domaine : Diplômes d'ingénieur de POLYTECH Lyon
- Diplôme : Diplome d'ingénieur
- Filière : Informatique
- Option : Informatique
- Unité d'enseignement : Mathématiques discrètes
Nombre de crédits de l'UE : 2
Code APOGEE : PL6020IF
UE Libre pour ce parcours
UE valable pour le semestre 1 de ce parcours
Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
13.5 h
Travaux Pratiques (TP)
0 h
Durée de projet en autonomie (PRJ)
h
Effectif Cours magistraux (CM)
0 étudiants
Effectif Travaux dirigés (TD)
0 étudiants
Effectif Travaux pratiques (TP)
0 étudiants
Activité tuteurée personnelle (étudiant)
4.5 h
Activité tuteurée encadrée (enseignant)
3 h
Heures de Tutorat étudiant
9 h
* Ces horaires sont donnés à titre indicatif.
Pré-requis :
Elève Ingénieur de Polytech Lyon, Spécialité Informatique, Année 3.
Compétences attestées (transversales, spécifiques) :
Tous les resultats énoncés dans ce cours seront rigoureusement démontrer. Il s'agira donc de revoir les raisonnements classiques (raisonnement par l'absurde, par recurrence...) et de les appliquer pour démontrer des résultats de complexité, de dénombrement, d'arithmetique modulaire, d'algorithmie, de theorie des langages.
Programme de l'UE / Thématiques abordées :
1 - Introduction à la théorie des ensembles
- Rappel du formalisme
- notion de cardinal d'un ensembles
- Injections, surjection, bijections
- Théorème de bernstein-Cantor
2 - Arithmétique/arithmétique modulaire
- Théorème des nombres premiers (non démontré :))
- Lemme de Gauss
- Définition de l'anneau Z/nZ
- Théorème de Fermat
- Illustration de théorème de Fermat avec RSA
3 - Théorie des Langages
- Langages rationels
- Automates finis déterministes
- Algorithmes de recherche de motifs
Liste des autres Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 12/01/2024
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='18669' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`
