Portail nationalFormationRechercher par région

Outils mathématiques pour l'informatique (Combinatoire, probabilités, ordre, calcul booléen)

Code UE : MVA003-GET

  • Cours
  • 6 crédits

Responsable(s)

Thierry HORSIN

Public et conditions d'accès

  • Avoir l'habitude des notations  mathématiques.
  • Niveau baccalauréat.

Objectifs pédagogiques

  • Formulation mathématique de problèmes concrets simples.
  • Apprendre les notions de base sur les relations, l'algèbre de Boole et les fonctions booléennes.
  • Calculs simples sur les dénombrements et les probabilités combinatoires, la récurrence
  • Comprendre des rudiments d'arithmétique.

Mots-clés

1 Généralités
  • Ensembles, éléments, parties d'un ensemble, fonctions, opérations sur les ensembles.
2 Dénombrements
  • Cardinal d'un ensemble, ensemble fini, ensemble dénombrable.
  • Arrangements, combinaisons, permutations, formule du binôme.
3 Probabilités combinatoires
  • Épreuves, événements, lois de probabilité, probabilités conditionnelles, indépendance, essais répétés.
4 Relations
  • Relation d'équivalence.
  • Relation d'ordre, diagramme de Hasse, éléments maximaux, minimaux, plus grand et plus petit élément.
5 Calculs booléens
  • Treillis, algèbre de Boole, théorème de Stone.
  • Fonctions booléennes, forme canonique disjonctive.
  • Systèmes d'équations booléennes.
  • Synthèse : chaînes de contacts, portes.
  • Simplification des formules, méthode de Karnaugh, méthode des consensus.
6 Arithmétique
  • Division euclidienne, nombres premiers, PGCD, PPCM, identité de Bézout.
7 Logique
  • Calcul propositionnel.
  • Propositions, connecteurs, formes propositionnelles.
  • Prédicats, quantificateurs.
  • Récurrences, définitions récursives.
     

2 sessions d'examen

  • Noel Permingeat, Denis Claude : Algèbre de Boole (Masson).
  • J. Vélu : Méthodes mathématiques pour l'informatique (Dunod, 2000, 4ème édition).
  • J.Vélu, G.Averous, I.Gil, F.Santi : Exercices corrigés de Mathématiques pour l'Informatique (Dunod) sep 2008

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Intitulé de la formation
Type
Modalité(s)
Lieu(x)
Intitulé de la formation Licence Sciences des données
Type Diplôme national (LMD-DUT-diplôme d'Etat)
Lieu(x) À la carte
Lieu(x) Etranger, Ile-de-France
Entrée Niveau IV (bac)
Intitulé de la formation Diplôme Universitaire de Technologies Informatique
Type Diplôme national (LMD-DUT-diplôme d'Etat)
Lieu(x) À la carte
Lieu(x) Ile-de-France
Entrée Niveau IV (bac)
Intitulé de la formation Licence informatique
Type Diplôme national (LMD-DUT-diplôme d'Etat)
Lieu(x) À la carte
Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Centre - Val de Loire, Etranger, Grand-Est, Hauts-de-France, Ile-de-France, Ile-de-France, Normandie, Nouvelle-Aquitaine, Occitanie, Occitanie, Outremer, Outremer, Pays de la Loire, Provence-Alpes-Côte d'Azur
Entrée Niveau IV (bac)
Intitulé de la formation Licence informatique
Type Diplôme national (LMD-DUT-diplôme d'Etat)
Lieu(x) Alternance
Lieu(x) Auvergne - Rhône-Alpes, Hauts-de-France, Ile-de-France, Normandie, Occitanie, Occitanie, Outremer
Entrée Niveau IV (bac)
Intitulé de la formation Technicien développeur
Type RNCP - Titre professionnel
Lieu(x) Alternance
Lieu(x) Occitanie, Outremer
Entrée Niveau IV (bac)
Intitulé de la formation Technicien développeur
Type RNCP - Titre professionnel
Lieu(x) À la carte
Lieu(x) Auvergne - Rhône-Alpes, Bretagne, Centre - Val de Loire, Etranger, Hauts-de-France, Ile-de-France, Nouvelle-Aquitaine, Occitanie, Pays de la Loire, Provence-Alpes-Côte d'Azur
Entrée Niveau IV (bac)
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

EPN06 Mathématiques et statistiques
2 rue conté Accès 35 3 ème étage porte 19
75003 Paris
Sabine Glodkowski
Voir le site

Centre(s) d'enseignement proposant cette formation