Les mathématiques comparent des phénomènes
les plus diversifiés et découvrent les analogies
secrètes qui les unissent.
    J.B.J. Fourier

Accueil du site > Espace enseignants > Massenet Delphine > MVA003 >

MVA003 présentiel (HTT) : Outils mathématiques pour l’informatique (combinatoire, probabilités, ordre, calcul booléen) - 2018/19 par Massenet Delphine


MVA003 présentiel (HTT) 2018-2019 - 1er semestre

Les cours de MVA003 en présentiel commencent le mardi 25 septembre 2018, à 17h30.

Toutes les informations, exercices et devoirs sont mis en ligne au fur et à mesure sur lecnam.net.
Il est donc important que les élèves :

  • se connectent régulièrement à la plateforme lecnam.net,
  • consultent leur boite mail d’adresse prenom.nom.auditeur@lecnam.net régulièrement.

Les devoirs et examens (sujets et dates) sont communs aux 2 modalités de l’UE, présentiel et FOAD..

Le programme :

Ce cours introduit au fur et à mesure les propriétés jusqu’à définir une algèbre de Boole ; puis plusieurs algèbres de Boole sont étudiées.
Les parties principales de ce cours sont :

  • Notion, construction et cardinaux d’ensembles,
  • Analyse combinatoire,
  • Relations d’ordre, structures de treillis et d’algèbre de Boole,
  • Ensemble des parties d’ensemble,
  • Probabilités combinatoires et conditionnelles,
  • Fonctions booléennes,
  • Propositionnelles et prédicats.
    Ce cours a été créé par le Pr. J. Véju. Les références bibliographiques de ce cours sont indiquées ci-dessous.

les devoirs et examens (pour les 2 modalités) :

  • Les devoirs (pour les 2 modalités) :
    toutes les 4 semaines environ, un devoir à faire à la maison sera à rendre. Ces devoirs vous aident à vérifier la compréhension du cours et servent d’entraînement pour la rédaction. Les notes obtenues aux devoirs ne comptent pas dans la validation de l’UE, mais les faire sérieusement est bien sûr important.
  • Les examens : l’examen est commun aux 2 modalités (présentiel et Foad). L’assiduité aux cours sont pris en compte pour la validation de l’UE.
    La première session de l’examen aura lieu fin janvier, début février 2019
    Un examen de rattrapage (deuxième session) est prévu en avril 2019
    Tous les documents "papier" (cours, livres, polycopiés...) sont autorisés mais pas le matériel électronique (calculatrice, ordinateur...)

Attention : dès septembre, vérifiez sur emploi du temps la compatibilité des dates prévues d’examens des UEs que vous allez suivre (même si celles-ci sont susceptibles d’être modifiées).

Soutien : le CRAP

Le CRAP ( Centre de Ressources et d’Appui Pédagogique du CNAM ) organise des séances de soutien en MVA003.
Coordonnées du CRAP : CRAP

Bibliographie

Le livre de cours est Méthodes mathématiques pour l’informatique - quatrième édition par Jacques Vélu (ISBN 2 10 049149 0) édité par Dunod. Ce livre contient de très nombreux exercices et leur corrigé. Ce livre de cours servira aussi pour MVA004.

Un livre d’exercices Exercices & Problèmes de Mathématiques pour l’informatique par J. Vélu, G. Avérous, I. Gil, F. Santi, (ISBN 978-2-10-052052-7) édité chez Dunod est recommandé comme complément du livre de cours, et comme aide à la rédaction, avec des solutions rédigées dans le moindre détail. Ce livre d’exercices servira aussi pour MVA004.



Mis à jour le jeudi 6 septembre 2018, par : Wilk


Contact   |   Plan d'accès   |   Annuaire   |   Plan du site   |   IntraMaths   |   IntraCnam