|
|
|
|
|
|
L’objectif de ce cours est de fournir une
introduction a l’informatique, par le biais d’un
langage de programmation qui se prête bien a
l’introduction de la notion de programmation structurée
et du typage, le langage fonctionnel ML. |
|
- 1 -
Introduction
- a -
Description générale de l’architecture
d’un ordinateur
- b -
Notion de langage de programmation et classification des
langages
- c -
Spécificité des langages de programmation dits «
fonctionnels » : notion de fonction.
- 2 -
Notions de Base de ML :
- a -
Notion de type de données
- b - Types
prédéfinis : booléens, entiers, flottants,
caractères, chaînes de caractères
- c -
Déclaration de variables
- d -
Définition de fonctions
- e -
Expressions Conditionnelles
- f -
Fonctions Partielles, Exceptions
- g - Types
définis par l’utilisateur : types enregistrement
- 3 -
Analyser un problème : étude de cas
- 4 -
Récursivité :
- a -
Fonction récursives sur les entiers
- b - Type
Liste et fonctions récursives sur les structures
linéaires
- c -
Pattern Matching sur les listes, constructeurs du type Liste
- d - Tris
sur les structures linéaires
- e -
Représentation et manipulation d’ensembles finis a
l’aide du type Liste
- 5 -
Introduction à la problématique de la preuve de
correction d’un programme par rapport a sa
spécification.
|
|
|
|
|
|
|
|
L'objectif de ce module c'est de donner des
notions élémentaires de mathématique et de logique
qui constituent des pré-requis pour une grande partie des
cours d'informatique. |
|
- 1 -
Notions élémentaires de théorie des ensembles.
- 2 -
Relations et Fonctions :
- a -
Définition de relations a n arguments
- b -
Fonctions
- c -
Relations d'équivalence, congruences
- d -
Relations d'ordre totales et partielles.
- 3 -
Preuves par Induction :
- a
- Ensembles bien fondes et induction.
- b
- Définitions inductives et principes d'induction
associes.
- 4 -
Algèbres :
- a -
Notion générale d'algèbre
- b -
Homomorphismes entre algèbres
- c -
Quotient d'une algèbre par rapport a une relation
d'équivalence
- d -
Algèbre de Boole.
|
|
|
|
|
|
|
|
1. Semestre 1
