Enseignant : Gilles Dowek

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône ou .

Le contenu du cours a donné lieu à un livre. Les pages du livres sont consultables à l'unité sur le site http://www.lix.polytechnique.fr/~dowek/Cours/Tlp/ .

Thème : Logique & Preuve – Cursus : DEA SPP

Thème : Programmation – Cursus : X - L3

Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se

Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.

Le code source de ce site est placé sous licence GPLv3.

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale