Université Lyon 1
Arqus
Accueil  >>  Mathématiques discrètes
  • Unité d'enseignement : Mathématiques discrètes
Nombre de crédits de l'UE : 2
Code APOGEE : PL6053AP
    Responsabilité de l'UE :
GAVIN GERALD
 gerald.gavinuniv-lyon1.fr
04.72.43.27.52
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
13.5 h
Durée de projet en autonomie (PRJ)
3 h
Activité tuteurée personnelle (étudiant)
0 h
Activité tuteurée encadrée (enseignant)
3 h
Heures de Tutorat étudiant
0 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) :
  • Connaître les concepts élémentaires de mathématiques discrètes
  • - Mobiliser et combiner un socle de connaissances scientifiques et techniques
  • - S'approprier et mobiliser de nouveaux savoirs et savoir-faire
  • Proposer une solution adaptée, dans le domaine de l'informatique, en prenant en compte les contraintes environnementales
  • - Définir  un à plusieurs scenarii en réponse au cahier des charges
  •  - Maquetter et prototyper une solution logicielle et matérielle exploitant des technologies innovantes
  • - Développer  et tester la solution choisie
    Programme de l'UE / Thématiques abordées :

L’objectif de ce cours est de présenter aux étudiants certains concepts élémentaires de mathématiques discrètes et de leur donner des connaissances nécessaires à la suite de leur cursus ingénieur.

  1. Quantificateurs logiques
  2. Raisonnement
  3. Complexité algorithmique
  4. Ensembles
  5. Applications
  6. Relations
  7. Combinatoire
  8. Langages formels
  9. Automates
  10. Compilation
  11. Calculabilité
  12. Logique
    Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 17/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='21479' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`