La machine en logique

La machine en logique

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wagner, Pierre, 1963-
Support:	Livre
Langue:	Français
Publié:	Paris : Presses Universitaires de France, DL1998.
Collection:	Science, histoire et société
Sujets:	Turing, machines de. Logique symbolique et mathématique > Informatique. Informatique > Philosophie. Automates mathématiques, théorie des.
Autres localisations:	Voir dans le Sudoc

Documents similaires

Algorithmes et machines à calculer
par: Trahtenbrot, Boris Avraamovich.
Publié: (1963)

La machine de Turing
par: Turing, Alan Mathison, 1912-1954.
Publié: (1995)

An introduction to mathematical machine theory.
par: Ginsburg, Seymour.
Publié: (1962)

Machines de Turing et automates cellulaires : du trait gravé au très animé
par: Corge, Charles.
Publié: (2008)

Méthodes mathématiques pour l'informatique
par: Vélu, Jacques, 1943-
Publié: (1994)

Logique et complexité
par: Lassaigne, Richard.
Publié: (1996)

Logique binaire et ordinateurs.
par: Aumiaux, Michel.
Publié: (1974)

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

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

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

Logique sans peine
par: Carroll, Lewis, 1832-1898.
Publié: (1966)

Logic for problem solving
par: Kowalski, Robert A.
Publié: (1979)

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

Approche logique de l'intelligence artificielle.
par: Thayse, André.
Publié: (1990)

Logique mathématique : cours et exercices
par: Cori, René.
Publié: (1993)

Initiation à la logique
par: Dubarle, Dominique, 1907-1987.
Publié: (1957)

Schaum's outline of theory and problems of discrete mathematics.
par: Lipschutz, Seymour.
Publié: (1997)

Logique contemporaine et formalisation
par: Martin, Roger, docteur ès-lettres.
Publié: (1964)

Logique et mathématiques pour l'informatique et l'I.A. : 109 exercices corrigés
par: Jacquemin, Christian.
Publié: (1994)

La Barrière de Turing
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2003)

Test : êtes-vous une machine ?
par: Poirier, Hervé.
Publié: (2003)

Les réseaux du sens : de l'informatique aux neurosciences
par: Chazal, Gérard, 1947-
Publié: (2000)

La logique formelle
par: Virieux-Reymond, Antoinette.
Publié: (1962)

Des machines très affairées
par: Kirman, Jérôme.
Publié: (2018)

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

Penser les mathématiques
Publié: (1982)

Introduction à la calculabilité
par: Wolper, Pierre.
Publié: (1991)

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

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

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

Codage symbolique
par: Beal, Marie-Pierre, 1962-
Publié: (1993)

Logique et connaissance scientifique
Publié: (1967)

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

Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica
par: Jacopin, Éric.
Publié: (2009)

Les systèmes dynamiques discrets
par: Robert, François, 1939-...., mathématicien.
Publié: (1995)

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

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

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

Hasard et complexité en mathématiques
par: Chaitin, Gregory J.
Publié: (2009)

Ethnlogie des sciences et logiques de la science
par: Guille-Escuret, Georges.
Publié: (1991)

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