La machine en logique

La machine en logique

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Wagner, Pierre, 1963-
Materyal Türü:	Livre
Dil:	Français
Baskı/Yayın Bilgisi:	Paris : Presses Universitaires de France, DL1998.
Seri Bilgileri:	Science, histoire et société
Konular:	Turing, machines de. Logique symbolique et mathématique > Informatique. Informatique > Philosophie. Automates mathématiques, théorie des.
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Algorithmes et machines à calculer
Yazar:: Trahtenbrot, Boris Avraamovich.
Baskı/Yayın Bilgisi: (1963)

La machine de Turing
Yazar:: Turing, Alan Mathison, 1912-1954.
Baskı/Yayın Bilgisi: (1995)

An introduction to mathematical machine theory.
Yazar:: Ginsburg, Seymour.
Baskı/Yayın Bilgisi: (1962)

Machines de Turing et automates cellulaires : du trait gravé au très animé
Yazar:: Corge, Charles.
Baskı/Yayın Bilgisi: (2008)

Méthodes mathématiques pour l'informatique
Yazar:: Vélu, Jacques, 1943-
Baskı/Yayın Bilgisi: (1994)

Logique et complexité
Yazar:: Lassaigne, Richard.
Baskı/Yayın Bilgisi: (1996)

Logique binaire et ordinateurs.
Yazar:: Aumiaux, Michel.
Baskı/Yayın Bilgisi: (1974)

Méthodes de logique
Yazar:: Quine, Willard Van Orman, 1908-2000.
Baskı/Yayın Bilgisi: (1973)

La logique
Yazar:: Largeault, Jean, 1931?-1995.
Baskı/Yayın Bilgisi: (1993)

Logique, sémantique, métamathématique : 1923-1944...
Yazar:: Tarski, Alfred, 1901-1983.
Baskı/Yayın Bilgisi: (1972)

Logique sans peine
Yazar:: Carroll, Lewis, 1832-1898.
Baskı/Yayın Bilgisi: (1966)

Logic for problem solving
Yazar:: Kowalski, Robert A.
Baskı/Yayın Bilgisi: (1979)

Logique élémentaire
Yazar:: Quine, Willard Van Orman, 1908-2000.
Baskı/Yayın Bilgisi: (1972)

Approche logique de l'intelligence artificielle.
Yazar:: Thayse, André.
Baskı/Yayın Bilgisi: (1990)

Logique mathématique : cours et exercices
Yazar:: Cori, René.
Baskı/Yayın Bilgisi: (1993)

Initiation à la logique
Yazar:: Dubarle, Dominique, 1907-1987.
Baskı/Yayın Bilgisi: (1957)

Schaum's outline of theory and problems of discrete mathematics.
Yazar:: Lipschutz, Seymour.
Baskı/Yayın Bilgisi: (1997)

Logique contemporaine et formalisation
Yazar:: Martin, Roger, docteur ès-lettres.
Baskı/Yayın Bilgisi: (1964)

Logique et mathématiques pour l'informatique et l'I.A. : 109 exercices corrigés
Yazar:: Jacquemin, Christian.
Baskı/Yayın Bilgisi: (1994)

La Barrière de Turing
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien.
Baskı/Yayın Bilgisi: (2003)

Preuves et réfutations : essai sur la logique de la découverte mathématique
Yazar:: Lakatos, Imre, 1922-1974.
Baskı/Yayın Bilgisi: (1984)

Test : êtes-vous une machine ?
Yazar:: Poirier, Hervé.
Baskı/Yayın Bilgisi: (2003)

Les réseaux du sens : de l'informatique aux neurosciences
Yazar:: Chazal, Gérard, 1947-
Baskı/Yayın Bilgisi: (2000)

Des machines très affairées
Yazar:: Kirman, Jérôme.
Baskı/Yayın Bilgisi: (2018)

La logique formelle
Yazar:: Virieux-Reymond, Antoinette.
Baskı/Yayın Bilgisi: (1962)

Logique, sémantique, métamathématique : 1923-1944...
Yazar:: Tarski, Alfred, 1901-1983.
Baskı/Yayın Bilgisi: (1974)

Introduction à la calculabilité
Yazar:: Wolper, Pierre.
Baskı/Yayın Bilgisi: (1991)

Penser les mathématiques
Baskı/Yayın Bilgisi: (1982)

Approche logique de l'intelligence artificielle.
Baskı/Yayın Bilgisi: (1988)

Logique moderne.
Yazar:: Grize, Jean Blaise, 1922-2013.
Baskı/Yayın Bilgisi: (1969)

Codage symbolique
Yazar:: Beal, Marie-Pierre, 1962-
Baskı/Yayın Bilgisi: (1993)

Logiques non monotones et intelligence artificielle
Yazar:: Grégoire, Eric.
Baskı/Yayın Bilgisi: (1990)

Logique et connaissance scientifique
Baskı/Yayın Bilgisi: (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
Yazar:: Jacopin, Éric.
Baskı/Yayın Bilgisi: (2009)

Cours de logique mathématique.
Yazar:: Fraïssé, Roland, 1920-
Baskı/Yayın Bilgisi: (1967)

Les systèmes dynamiques discrets
Yazar:: Robert, François, 1939-...., mathématicien.
Baskı/Yayın Bilgisi: (1995)

Hasard et complexité en mathématiques
Yazar:: Chaitin, Gregory J.
Baskı/Yayın Bilgisi: (2009)

Manuel de logique scientifique : remplaçant et complétant les Eléments de logique scientifique, 1942
Yazar:: Boll, Marcel, 1886-1958.
Baskı/Yayın Bilgisi: (1948)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
Yazar:: Ponasse, Daniel.
Baskı/Yayın Bilgisi: (1967)

Les mathématiques et le raisonnement plausible
Yazar:: Pólya, George, 1887-1985.
Baskı/Yayın Bilgisi: (2008)

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