Logiques, ensembles, catégories : :: SCD d'Orléans

$Logiques, ensembles, catégories : le point de vue constructif$

Logiques, ensembles, catégories : le point de vue constructif

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Ageron, Pierre, 1964-...., mathématicien et didacticien des mathématiques
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Ellipses DL 2000.
Serier:	Mathématiques pour le 2e cycle. cours et exercices corrigés
Fag:	Mathématiques constructives > Manuels d'enseignement supérieur Logique mathématique > Problèmes et exercices Mathématiques constructives > Problèmes et exercices Théorie des ensembles > Manuels d'enseignement supérieur Mathématiques > Fondements Logique mathématique > Manuels d'enseignement supérieur Théorie des ensembles > Problèmes et exercices Catégories (mathématiques)
Autres localisations:	Voir dans le Sudoc

Lignende værker

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
af: Patarin, Jacques, 1965-...., informaticien
Udgivet: (2020)

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
af: Patarin, Jacques, 1965-
Udgivet: (2020)

Théorie des ensembles, logique, les entiers : bases du raisonnement mathématique, indices, familles indexées, relations d'ordre, d'équivalence, ensembles finis, infinis, dénombrables
af: Pichon, Jacques, 19..-...., mathématicien
Udgivet: (1989)

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
af: Bourbaki, Nicolas
Udgivet: (1960)

Logique et raisonnement
af: Freund, Michael, 1944-...., philosophe
Udgivet: (2016)

Introduction à la logique : théorie de la démonstration
af: David, René, 1948-2022, mathématicien, et autres
Udgivet: (2025)

Mathématiques pour l'étudiant scientifique.
af: Haug, Philippe-Jacques
Udgivet: (2000)

Ensembles, applications, relations d'équivalence, lois de composition (groupes), logique élémentaire
af: Alibert, Daniel, 19..-...., professeur de mathématiques
Udgivet: (1999)

Bit après bit : numération, arithmétique binaire, logique combinatoire
af: Mercier, Jean-Jacques
Udgivet: (2005)

Outils mathématiques pour l'informaticien : cours et exercices corrigés : mathématiques discrètes
af: Marchand, Michel, 1947-
Udgivet: (2005)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
af: Cori, René, et autres
Udgivet: (1993)

Sets, logic, and categories
af: Cameron, Peter J., 1947-...., mathématicien

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
af: Auzimour, Annick, 1942-, et autres
Udgivet: (1998)

Schaum's outline of theory and problems of finite mathematics
af: Lipschutz, Seymour Saul, 1931-
Udgivet: (1966)

Cours de mathématiques spéciales PSI-PSI*.
af: Coursac, Michel
Udgivet: (2001)

Éléments d'analyse. Fondements de l'analyse moderne
af: Dieudonné, Jean, 1906-1992
Udgivet: (1968)

Mathématiques pour la physique et les physiciens
af: Appel, Walter, 1970-
Udgivet: (2002)

Mathématiques pour la physique et les physiciens
af: Appel, Walter, 1970-
Udgivet: (2002)

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
af: McConaughey, Zoé, 1991-
Udgivet: (2026)

L'essentiel des statistiques et probabilités en économie-gestion : Licence, IUT.
af: Legros, Benjamin, 19..-
Udgivet: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
af: David, René, 1948-...., mathématicien, et autres
Udgivet: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
af: David, René, 1948-2022, mathématicien, et autres
Udgivet: (2004)

Statistiques et probabilités en économie-gestion : l'essentiel du cours, exercices corrigés, étude de cas
af: Legros, Benjamin, 19..-
Udgivet: (2016)

Statistiques et probabilités en économie-gestion : l'essentiel du cours, exercices corrigés, étude de cas
af: Legros, Benjamin, 19..-
Udgivet: (2016)

Foundations of modern analysis
af: Dieudonné, Jean, 1906-1992
Udgivet: (1960)

Fondements de l'analyse moderne
af: Dieudonné, Jean, 1906-1992, mathématicien
Udgivet: (1963)

Mathématiques et logique aux admissions parallèles en écoles de commerce : concours Passerelle, Tremplin, Profils, EDHEC... : résumés de cours, exercices et annales corrigés, tests de logique
af: Joulak, Habib, et autres
Udgivet: (2006)

Mathématiques générales : pour 1er cycle universitaire et formation continue
af: Rovira, Patrice
Udgivet: (2003)

Introduction à la théorie spectrale : cours et exercices corrigés
af: Lévy-Bruhl, Pierre, 1951-
Udgivet: (2003)

Maths et informatique : BCPST 2 : méthodes et exercices
af: Bégyn, Arnaud, 1979-, et autres
Udgivet: (2019)

Analyse non standard
af: Diener, Francine, et autres
Udgivet: (1989)

Analyse non standard
af: Diener, Francine, et autres
Udgivet: (1989)

Mathématiques : cours et sujets : classes préparatoires ECE 1 et ECE 2
af: Bouton, Pascale, 19..-...., professeur de mathématiques, et autres
Udgivet: (2016)

Maths ECE 2
af: Grandpierre, Benoît, 1982-...., auteur en mathématiques, et autres
Udgivet: (2019)

Mathématiques : cours et sujets : classes préparatoires ECE 1 et ECE 2
af: Bouton, Pascale, 19..-...., professeur de mathématiques, et autres
Udgivet: (2016)

Tout ce qu'il faut savoir sur les mathématiques en PCSI et PTSI : cours complet avec démonstrations, 167 méthodes, 228 exemples détaillés et 384 exercices d'entraînement corrigés
af: Boukhobza, Mustapha, 1958-, et autres
Udgivet: (2018)

Maths MP : exercices incontournables
af: Fredon, Daniel, 1944-...., enseignant-chercheur en mathématiques, et autres
Udgivet: (2018)

Mathématiques : exercices incontournables : MPSI
af: Freslon, Julien, 19..-, et autres
Udgivet: (2013)

Mathématiques : exercices incontournables : MPSI
af: Freslon, Julien, 19..-, et autres
Udgivet: (2016)

Mathématiques : exercices incontournables : PCSI - PTSI
af: Freslon, Julien, 19..-, et autres
Udgivet: (2016)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales