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

843

EALing 2005

< précédent | suivant >

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

21 septembre 2005

Truth and validity ; standard equivalences ; examples of first-order theories ; prenexity and purity.

É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 - 153.7 Ko

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