Informatique        (1ère année)
Algorithmique et programmation fonctionnelle
  • Récursivité : des fonctions, des structures, des types
  • Types : énumérés, récursifs, produit de types, sommes de types
  • Fondements mathématiques : ensembles définis récursivement, terminaison de fonctions récursives
  • Modélisation : définition de types et de structures de données
  • Algorithmique : construction, exploration, modification de structures récursives : séquences, arbres, termes
  • Programmation avancée : utilisation de fonctions d'ordre supérieur associées à une structure récursive

Calendrier

en décembre
Revoir les notations mathématiques
 
présentées dans « langage mathématique »
en janvier
Emploi du temps semaine de rentrée
 
Les cours, TD et TP commencent dès la première semaine. Les khôlles commencent la semaine suivante.
en mars
Devoir surveillé (durée 2h00)
 
en avril
Soutenance de projet au dernier TP
 
en mai
Examen final (3h00)
 
Responsables INF121 : Michaël PÉRIN, François PUITG