Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

Logique. Volume 3, Méthodes pour l'intelligence artificielle / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 2000

Le langage de la perception / John Austin

Livre | Austin, John Langshaw (1911-1960). Auteur | 2007

Analyse. I, Théorie des ensembles et topologie / Laurent Schwartz

Livre | Schwartz, Laurent (1915-2002) - mathématicien. Auteur | 1991 - [Nouvelle édition refondue et mise à jour]

"Les cinq premiers axiomes de la théorie des ensembles. Axiome du choix. Les entiers naturels : l'axiome de l'infini. Relation d'équivalence - Ensemble quotient. Relation d'ordre. Lemme de Zom. Opérations sur les ensembles infinis...

Théorie des ensembles et logique mathématique : des infinis mathématiques a...

Livre | Patarin, Jacques (1965-....). Auteur | 2020

Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'...

Théorie des ensembles comme fondement des mathématiques. Volume 1, Théorie ...

Livre | Leroy, Martial (1958-....). Auteur | 2024

Ce livre est le premier d'une série de quatre volumes consacrée à la théorie des ensembles moderne. Même si elle constitue un sujet à part entière, la théorie des ensembles sert de fondement à la quasi-totalité des mathématiques t...

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce 2e tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Leçons sur la théorie des fonctions : éléments et principes de la théorie d...

Livre | Borel, Émile (1871-1956) - mathématicien. Auteur | 1914 - 2e édition

Analyse / Laurent Schwartz

Livre | Schwartz, Laurent (1915-2002) - mathématicien. Auteur | 1991

1. Theorie des ensembles et topologie.