Lien 
vers le site de l'ENS
ÉCOLE NORMALE SUPÉRIEUREPARIS
Lien vers l'accueil
lancer la recherche

» Conférences d’après mars 2011 : nouveau site

844

EALing 2005

< précédent | 

Introduction à la Logique mathématique 4/4 / First-order logic 2/2
Paul Egré (CNRS - Institut Jean Nicod)

22 septembre 2005

General properties of first-order logic (completeness, compactness, and undecidability) ; applications of compactness to expressiveness results.

Écouter
pictogrammeformat audio mp3 - ??? (erreur acces)

- Visualiser
- Télécharger
pictogrammeformat quicktime mov, haut débit, streaming / diffusion en ligne

Télécharger
pictogrammeformat quicktime mp4, haut débit, téléchargement - ??? (erreur acces)

Télécharger
pictogrammeformat pdf - 140.26 Ko

Paul Egré Paul Egré (CNRS - Institut Jean Nicod)