Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Logique et Thorie Axiomatiques (mise jour le 18 mai 2009)
 

Summary: Logique et Théorie Axiomatiques
(mise à jour le 18 mai 2009)
J.L. Krivine
2
Ce document est issu d'un polycopié de licence (actuelle L3) de l'université Paris 7 écrit dans les
années 1970 par Jean-Louis Krivine, et distribué sous sa forme originale jusqu'à très récemment. Il en
reprend la première partie, consacrée à la théorie des ensembles, avec quelques (très peu) de modifica-
tions de l'auteur.
Raphaël Giromini en a produit une première version au format LATEX en août 2004, version complé-
tée et corrigée par Jean-Louis Krivine, Yves Legrandgérard et Paul Rozière.
N'hésitez pas à envoyer les corrections de coquilles ou autres erreurs que vous pourriez repérer à
roziere@pps.jussieu.fr ou à l'auteur krivine@pps.jussieu.fr.
Table des matières
I Éléments de Théorie des Ensembles. 5
1 Ensembles, relations, fonctions. 7
1.1 Axiomes de Zermelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Quelques notions élémentaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Couple ordonné. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.2 Ensemble produit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Relations binaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

  

Source: Abbes, Samy - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot

 

Collections: Computer Technologies and Information Sciences