Université Lyon 1
Université de Lyon
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 :
BONNEVAY STEPHANE
 stephane.bonnevayuniv-lyon1.fr
04.81.92.99.28
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
13.5 h
Travaux Pratiques (TP)
0 h
Total du volume horaire
28.5 h
Activité tuteurée personnelle (étudiant)
0 h
Activité tuteurée encadrée (enseignant)
0 h
Heures de Tutorat étudiant
0 h

* Ces horaires sont donnés à titre indicatif.

    Conditions d'accès à l'UE :
Elève Ingénieur de Polytech Lyon, Spécialité Informatique, Année 3
    Programme - Contenu de l'UE :

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
    Compétences acquises :
Méthodologiques :
  • 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


Techniques :
  • Etre capable de manipuler des concepts mathématiques abstraits et appliqués, de faire une démonstration, de calculer la complexité d’un algorithme.

    Modalités de contrôle des connaissances et Compétences 2021-2022 :
TypeLibelléNatureCoef. 
CCContrôle ContinuContrôle Continu Intégral2
Date de la dernière mise-à-jour : 10/07/2019
SELECT * 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 UE_ID_FK ASC, PAR_ID_FK ASC