Mathématiques discrêtes (M1201) (MATH121_INFO)

Volume horaire: CM : 10h / TD : 18h / TP : 17h

Présentation

Mettre en place des concepts et des outils mathématiques pour l'informatique.

Objectifs

  • Vocabulaire de la théorie des ensembles
  • Relations, applications
  • Logique, algèbre de Boole
  • Arithmétiques et numération
  • Raisonnement par récurrence

Compétences acquises

Formaliser, modéliser, mettre en oeuvre des schémas de raisonnement.

Plan du cours

Calcul proportionnel

Ensembles

Relations

Congruences

Informations complémentaires

Modalités de mise en oeuvre : illustration avec la programmation, le système, le réseau, l'architecture et les bases de données.

Prolongements possibles :

  • notions sur les équations diaphantiennes ;
  • éléments de crytpographie.

Diplômes intégrant ce cours

En bref

Méthode d'enseignement
En présence

Forme d'enseignement
Cours magistral

Langue d'enseignement
Français

Date de début
5 septembre 2017

Date de fin
21 janvier 2018

Contact(s)

UFR, Écoles, Instituts

Responsable(s)

Nicolas Voiron

Tél : +33 4 50 09 66 00 p4011

Email : Nicolas.Voiron @ univ-savoie.fr

Lieu(x)

  • Annecy-le-Vieux (74)

Lieu(x) à l'étranger