MVA003

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


6 crédits Delphine MASSENET EPN06 - Mathématique et statistique Unité d'enseignement de type cours

Publié Du 01-09-2011 au 31-08-9999

Prérequis

  • 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.

Contenu

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.
     

Modalités de validation

  • Examen final

Description des modalités de validation

2 sessions d'examen

Bibliographie

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

Thésaurus du Cnam :

  • Algèbre de Boole
  • Relations binaires
  • arithmétique
  • probabilités combinatoires
  • Calcul booléen

Thésaurus Formacode :

  • 11050 - mathématiques informatiques
  • 11097 - algèbre boole

Secrétariat

Libellé
EPN06 Mathématiques et statistiques
Nom du contact
Sabine Glodkowski
Numéros de téléphone
Aucun numéro de téléphone
Adresse postale
2 rue conté Accès 35 3 ème étage porte 19
Paris 75003