Objectifs
L'objectif de cette unité d'enseignement est d'établir ou de renforcer la capacité de raisonnement logique de l'étudiant, de lui permettre d'acquérir et de maîtriser les notions mathématiques sur lesquelles reposent différentes branches de l'informatique, de l'amener à savoir mettre en œuvre ces notions mathématiques et formes de raisonnement dans le cadre de solutions informatiques qui répondent aux besoins des entreprises.
A la fin de ce cours, l’étudiant sera capable de
- Utiliser des méthodes de raisonnement basées sur la logique mathématique et les mettre en œuvre dans un programme informatique.
- Manipuler des données structurées sous forme d'ensembles, de suites ou de tableaux (matrices).
- Maîtriser la notion de raisonnement itératif, inductif, récursif.
- Modéliser un problème (ou mettre en œuvre un problème modélisé) au moyen d'un formalisme mathématique.
- Faire la distinction entre une solution mathématique analytique et un calcul numérique par ordinateur.
Contenu du cours
- Révisions de quelques notions mathématiques de base
- Division euclidienne, modulo, arithmétique modulaire
- Logique mathématique
- Ensembles et suites
- Calcul matriciel
- Récurrence, récursivité, induction
- Langages formels
- Automates finis
- Opérations logiques et bit à bit
- Eléments de calculs numériques
- Enseignant: Marianne COLLET
- Enseignant: François SCHUMACKER