info308 - Expression Logique et Fonctionnelle... Évidemment

Credits

5

Prerequisites

info201, (info203 conseillé)

Parcours

• mandatory for the computer science mention of the "licence"
• proposée pour le parcours « Mathématique »

Objectives

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

Organization

week

1

2

3

4

5

6

7

8

9

10

11

12

13

C (1h)

×

×

×

×

×

×

×

×

×

×

×

×

TD (1h30)

×

×

×

×

×

×

×

×

×

×

×

×

TP (1h30)

×

×

×

×

×

×

×

×

×

×

×

×

Student personal work

about 50h

Evaluation

• for UE without Labs : sup ( Ex, (2Ex + CC)/3)
• for UE with Labs : (2TP + 3 sup(Ex, (2Ex + CC)/3))/5

Contents

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

Instructor(s)

Jean-Christophe Routier, Éric Wegrzynowski

fichier source pour édition/modification