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). 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 infi...

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émat...

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

Livre | Cori, René. Auteur | 2003

Ce deuxième 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). Auteur | 1914 - 2e édition

Analyse / Laurent Schwartz

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

1. Theorie des ensembles et topologie.

La médecine d'urgence de demain : imaginons ensemble notre futur / Journées...

Livre | Desmettre, Thibaut (1966-....). Directeur de publication | 2023

Les évolutions scientifiques et techniques qui accompagnent un monde en pleine mutation conduisent à une nécessaire réflexion sur notre futur. À travers le prisme de ses six chapitres, l'ouvrage des journées thématiques interactiv...