Mathématiques pour l'informatique 1

Diplômes intégrant cet élément pédagogique :

Descriptif

- Des nombres à leur représentation en machine

   - décimal, binaire, octal, hexadécimal

   - représentation des décimaux, négatifs, flottants

   - notions de précision et de débordement

- De la logique au langage Prolog

   - logique propositionnelle : connecteurs, tables de vérités, manipulation d'expressions

   - principe de résolution

   - éléments de logique des prédicats

   - illustration avec des exemples de programme Prolog

- De la récurrence à la récursivité

   - principe de la démonstration par récurrence

   - principe des fonctions et actions récursives

   - illustration par des exemples de preuve de programme

Pré-requis

Pas de pré-requis particuliers

Compétences visées

Maîtriser les fondements mathématiques de la représentation binaire des nombres, des expressions logiques et de la récursivité

Informations complémentaires

Langue(s) : Français