info308 - Expression Logique et Fonctionnelle... Évidemment

Nombre de crédits

5

Pré-requis

info201, (info203 conseillé)

Parcours

• obligatoire pour la mention informatique de la licence
• proposée pour le parcours « Mathématique »

Objectifs

Présentation d'autres paradigmes de programmation et de leurs fondements théoriques.

Organisation

semaine

1

2

3

4

5

6

7

8

9

10

11

12

13

C (1h)

×

×

×

×

×

×

×

×

×

×

×

×

TD (1h30)

×

×

×

×

×

×

×

×

×

×

×

×

TP (1h30)

×

×

×

×

×

×

×

×

×

×

×

×

Volume de travail personnel étudiant estimé

environ 50h

Contrôle et validation des connaissances

• pour les UE sans TP : sup ( Ex, (2Ex + CC)/3)
• pour les UE avec TP obligatoires : (2TP + 3 sup(Ex, (2Ex + CC)/3))/5

Description du contenu

Programmation logique

• Logique du 1er ordre
• Résolution
• Unification
• Le langage Prolog

Programmation fonctionnelle

• Le langage Scheme
• Fonctionnelles d'ordre supérieur
• Macros-fonctions
• l-calcul

Responsable(s)

Jean-Christophe Routier, Éric Wegrzynowski

fichier source pour édition/modification