$Penser les mathématiques$

Penser les mathématiques

Enregistré dans:

Sonraí Bibleagrafaíochta
Údair Eile:	Ecole normale supérieure. Séminaire de philosophie et mathématiques. (Údar), Guénard, François, 1953-, Lelièvre, Gilbert, 1945-, Dieudonné, Jean, 1906-1992., Loi, Maurice., Thom, René, 1923-2002.
Formáid:	Livre
Teanga:	Français
Foilsithe:	Paris : Éditions du Seuil, 1982
Sraith:	Points. Sciences 29
Ábhair:	Logique symbolique et mathématique. Mathématiques > Philosophie.
Autres localisations:	Voir dans le Sudoc

Míreanna Comhchosúla

Les mathématiques et le raisonnement plausible
le: Pólya, George, 1887-1985.
Foilsithe: (2008)

Logique mathématique : cours et exercices
le: Cori, René.
Foilsithe: (1993)

Méthodes de logique
le: Quine, Willard Van Orman, 1908-2000.
Foilsithe: (1973)

Les mathématiques et la réalité : essai sur la méthode axiomatique
le: Gonseth, Ferdinand, 1890-1975.
Foilsithe: (1974)

Logique, sémantique, métamathématique : 1923-1944...
le: Tarski, Alfred, 1901-1983.
Foilsithe: (1972)

Penser types plutôt qu'ensembles
le: Pajot, Philippe.
Foilsithe: (2013)

La logique
le: Largeault, Jean, 1931?-1995.
Foilsithe: (1993)

Logique sans peine
le: Carroll, Lewis, 1832-1898.
Foilsithe: (1966)

Logique contemporaine et formalisation
le: Martin, Roger, docteur ès-lettres.
Foilsithe: (1964)

Initiation à la logique
le: Dubarle, Dominique, 1907-1987.
Foilsithe: (1957)

Elements of symbolic logic
le: Reichenbach, Hans, 1891-1953.
Foilsithe: (1966)

Logique élémentaire
le: Quine, Willard Van Orman, 1908-2000.
Foilsithe: (1972)

Cours de logique mathématique.
le: Fraïssé, Roland, 1920-
Foilsithe: (1967)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
le: Leibniz, Gottfried Wilhelm, 1646-1716.
Foilsithe: (1961)

Gödel's proof
le: Nagel, Ernest, 1901-1985.
Foilsithe: (1959)

La mathématisation comme problème
Foilsithe: (2011)

La Magie des paradoxes
le: Gardner, Martin.
Foilsithe: (1980)

Le théorème de Gödel
le: Nagel, Ernest, 1901-1985.
Foilsithe: (1997)

Le point aveugle : cours de logique
le: Girard, Jean-Yves, 1947-
Foilsithe: (2007)

Le point aveugle : cours de logique
le: Girard, Jean-Yves, 1947-
Foilsithe: (2006)

Approche logique de l'intelligence artificielle.
Foilsithe: (1988)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
le: Ponasse, Daniel.
Foilsithe: (1967)

Je le vois, je le démontre, mais est-ce que je le comprends ?
le: Delahaye, Jean-Paul, 1952-...., mathématicien.
Foilsithe: (2017)

Raisonnements sur des informations incomplètes en intelligence artificielle : comparaison de formalismes à partir d'un exemple
le: Sombé, Léa, pseud. coll.
Foilsithe: (1989)

Logique, sémantique, métamathématique : 1923-1944...
le: Tarski, Alfred, 1901-1983.
Foilsithe: (1974)

Logiques non monotones et intelligence artificielle
le: Grégoire, Eric.
Foilsithe: (1990)

La logique formelle
le: Virieux-Reymond, Antoinette.
Foilsithe: (1962)

Logic for problem solving
le: Kowalski, Robert A.
Foilsithe: (1979)

Manuel de logique scientifique : remplaçant et complétant les Eléments de logique scientifique, 1942
le: Boll, Marcel, 1886-1958.
Foilsithe: (1948)

Logique moderne.
le: Grize, Jean Blaise, 1922-2013.
Foilsithe: (1969)

Règles utiles et claires pour la direction de l'esprit en la recherche de la vérité
le: Descartes, René, 1596-1650.
Foilsithe: (1977)

Ethnlogie des sciences et logiques de la science
le: Guille-Escuret, Georges.
Foilsithe: (1991)

Matrix logic and mind : a probe into a unified theory of mind and matter.
le: Stern, Auguste.
Foilsithe: (1992)

Tractatus logico-philosophicus ; suivi de Investigations philosophiques
le: Wittgenstein, Ludwig, 1889-1951.
Foilsithe: (1961)

Les carrés magiques d'aires
le: Delahaye, Jean-Paul, 1952-...., mathématicien.
Foilsithe: (2018)

Alain Connes : la réalité mathématique archaïque.
le: Postel-Vinay, Olivier.
Foilsithe: (2000)

Logique et complexité
le: Lassaigne, Richard.
Foilsithe: (1996)

From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931.
le: Van Heijenoort, Jean.
Foilsithe: (1977)

La machine en logique
le: Wagner, Pierre, 1963-
Foilsithe: (1998)

L'impossible hasard
le: Delahaye, Jean-Paul, 1952-...., mathématicien.
Foilsithe: (2012)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1