- Mathématiques informatiques
Outils mathématiques pour Informatique
Mis à jour le
Responsable(s) : M. Eric SOUTIL
- Cours
Code Cnam : UTC501-PAR
-
Durée : 30 heures (+/- 10%)
-
A la carte
-
Soir & samedi
-
3 crédits
-
Présentiel, Distanciel
Présentation
Public, conditions d'accès et prérequis
Prérequis
Avoir le niveau L2 en informatique ou mathématiques
Objectifs
Présenter des notions mathématiques indispensables pour aborder des études d’ingénieur informaticien. L’objectif n’est pas d’étudier ces notions et outils pour eux-mêmes mais de montrer également leur utilité dans l’analyse de problèmes qui se posent en informatique.
L'avis des auditeurs
Les dernières réponses à l'enquête d'appréciation pour cet enseignement : Fiche synthétique au format PDFCompétences et débouchés
Compétences
Les compétences visées sont multiples :
- acquérir des éléments de logique en particulier le mode de raisonnement par déduction ;
- maîtriser les notions de relations et d’ordre total et partiel, indispensables pour les questions de structuration de données ;
- se réapproprier les notions de base du calcul matriciel et de l’analyse utiles pour la résolution de systèmes linéaires et le traitement du signal ;
- acquérir des notions d’arithmétique utiles en informatique, notamment pour la cryptographie ;
Informations pratiques
Contact
-
Département : EPN05 - Informatique
-
Tel : 01 40 27 26 81
-
Email : safia.sider@lecnam.net
-
Adresse : 2 rue Conté - 75003 Paris
Programme
Contenu
- Éléments de logique : proposition, prédicats, validité, satisfiabilité.
- Les techniques de raisonnement : direct, par cas, par contraposition, par récurrence, par l’absurde.
- Suites
- Généralités sur les graphes
- Relations et ordres : relations binaires, d’équivalence, ordres partiels et totaux.
- Eléments d’arithmétique : divisibilité, nombres premiers, propriétés du PGCD, algorithme d’Euclide, décomposition en produit de facteurs premiers, arithmétique modulaire.
- Calcul matriciel et analyse : résolution de systèmes linéaires, méthode de Gauss, Gauss Jordan.
- Bases du dénombrement
Bibliographie
- R.L. Graham, D.E. Knuth, O. Patashnik . Mathématiques concrètes. Fondations pour l’informatique. Vuibert (2ème édition).
- Michel Marchand . Mathématique discrete. Outil pour l’informaticien. Editions DeBoeck Université
- S. Lipschutz . Mathématiques discrètes. Editions Schaum’s – McGraw-Hill
- Jacques Vélu, Geneviève Avérous, Isabelle Gil, Françoise Santi . Mathématiques pour l'informatique - Exercices et problèmes. Editions Dunod
- A. Arnold, I. Guessarian . Mathématiques pour l'Informatique. Dunod 2005
- P. Wolper . Introduction à la calculabilité. 2ème édition, Dunod 2001.
- D. Harel (with Y. Feldman) . Algorithmics. The spirit of computing. Addison Wesley 2004.
- M. Jaume. . Éléments de mathématiques discrètes. Ellipses, 2016.
Formation mère
Outils mathématiques pour InformatiqueCes formations pourraient vous intéresser
-
- Mathématiques informatiques
- Modèle simulation
- Statistique appliquée
- Analyse de données
Licence Mathématiques parcours Sciences des données
Licence, LG04201A180 crédits Distanciel A la carteAuvergne-Rhône-Alpes, Centre Cnam ParisVoir la formation -
- Mathématiques informatiques
- Perfectionnement, élargissement des compétences
Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)
Cours, MVA0046 crédits Hybride (présentiel et distanciel) Distanciel A la carteGrand Est, Paris, CentreVoir la formation -
- Mathématiques informatiques
Structures de données
Cours, NFA0064 crédits Hybride (présentiel et distanciel) Distanciel A la carteParis, Grand EstVoir la formation -
- Mathématiques informatiques
Outils mathématiques pour Informatique
Cours, UTC5013 crédits Distanciel Présentiel Co-modale Distanciel planifié Hybride (présentiel et distanciel) A la carteGrand Est, Nouvelle Calédonie, Midi-Pyrénées, Centre Cnam Paris, Bretagne, Ile-de-France (sans Paris), Nouvelle Aquitaine, Paris, Hauts-de-FranceVoir la formation