Contactez-nous
  • Mathématiques informatiques
  • Algèbre boole

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

Mis à jour le

Responsable(s) : Mme Delphine MASSENET

  • Cours
Code Cnam : MVA003

Envie d'en savoir plus sur cette formation ?

Afin d’obtenir les tarifs, le calendrier de la formation, en distanciel, en présentiel, le lieu de la formation et un contact, remplissez les critères suivants :

Afficher le centre adapté à mes besoins

Afin d’obtenir les tarifs, le calendrier de la formation et le lieu de la formation, remplissez les critères suivants :

  • Durée : 50 heures
  • A la carte
  • Soir & samedi, En journée
  • 6 crédits
  • Hybride (présentiel et distanciel), Distanciel

Présentation

Public, conditions d'accès et prérequis

Prérequis

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

Objectifs

  • Formulation mathématique de problèmes concrets simples.
  • Apprendre les notions de base sur les ensembles, les fonctions.
  • 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.

L'avis des auditeurs

Les dernières réponses à l'enquête d'appréciation pour cet enseignement : Fiche synthétique au format PDF

Présence et réussite aux examens

Pour l'année universitaire 2023-2024 :

  • Nombre d'inscrits : 326
  • Taux de présence à l'évaluation : 63%
  • Taux de réussite parmi les présents : 62%

Compétences et débouchés

Parcours

Informations pratiques

Contact

Retrouvez cette formation en centre :

Lieux de formation

Logo Ecole numérique et IA Cnam

Programme

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 d'évaluation

2 sessions d'examen

Bibliographie

  • 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, septembre 2008)
  • D. Massenet . L'arithmétique en pratique (Ellipses, octobre 2024)

Ces formations pourraient vous intéresser