0972 311 312 
(prix appel local)

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

Objectifs

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écurrenceComprendre des rudiments d'arithmétique.

Légende :

  Formation ouverte et à distance (FOAD)

Condition d'accès / publics visé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.

Niveau

Niveau 5 (Bac+1 et Bac+2)

Contenu de la formation

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

Accompagnement et suivi

Sous l’autorité pédagogique du certificateur Cnam, les équipes du Cnam Bretagne vous offrent un accompagnement pendant votre parcours de formation à la fois sur les aspects administratifs, financiers, pédagogiques et techniques.

ECTS : 6

Modalité Volume horaire Employeur France travail Auto-financement
 
45 heures 900 € 260 € 260 €

Indexation officielle

FORMACODES

[C0A1A6A1] mathématiques informatiques - [C0A1A6] mathématiques appliquées - [C0A1] mathématiques - [C0] sciences

[C0A1A0A0] algèbre boole - [C0A1A0] algèbre - [C0A1] mathématiques - [C0] sciences

Mots clés

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

Indicateurs de résultat

En savoir plus

Dernière mise à jour : 01/09/2024

INFOS
PRATIQUES

Durée

45 heures

Modalité

Formation ouverte et à distance (FOAD) 

Date de début des cours

17/02/2025

Date de fin des cours

21/06/2025

Accessibilité handicap

En savoir plus

Comment s’inscrire ?

En savoir plus