Introduction à la calculabilité : :: SCD d'Orléans

Introduction à la calculabilité : cours et exercices corrigés

Introduction à la calculabilité : cours et exercices corrigés

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Wolper, Pierre, 1955-
स्वरूप:	Livre papier
भाषा:	Français
प्रकाशित:	Paris : Dunod DL 2001.
संस्करण:	2e édition.
श्रृंखला:	Sciences sup
विषय:	Machines de Turing Décidabilité (logique mathématique) Informatique > Mathématiques > Manuels d'enseignement supérieur Fonctions calculables Théorie des machines séquentielles
टिप्पणी:	La couv. porte en plus : "2e cycle, écoles d'ingénieurs"
Autres localisations:	Voir dans le Sudoc

समान संसाधन

Introduction à la calculabilité
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (1991)

Complexité et décidabilité
द्वारा: Dehornoy, Patrick, 1952-2019, mathématicien
प्रकाशित: (1993)

Introduction to the theory of computation
द्वारा: Sipser, Michael
प्रकाशित: (2006)

Büchi's monadic second order successor arithmetic
द्वारा: Siefkes, Dirk
प्रकाशित: (1970)

Büchi's monadic second order successor arithmetic
द्वारा: Siefkes, Dirk

Automata and computability
द्वारा: Kozen, Dexter C., 1951-
प्रकाशित: (1997)

Calculabilité effective et algorithmique théorique
द्वारा: Vollat, Patrick
प्रकाशित: (1989)

La machine de Turing
द्वारा: Turing, Alan Mathison, 1912-1954, और अन्य
प्रकाशित: (1999)

Turing machines with sublogarithmic space
द्वारा: Szepietowski, Andrzej, 19..-

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
द्वारा: Davis, Martin, 1928-2023, और अन्य
प्रकाशित: (1965)

Logique et complexité
द्वारा: Lassaigne, Richard, और अन्य
प्रकाशित: (1996)

Algèbre de Boole et machines logiques
प्रकाशित: (1967)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Logique et automates : option informatique en MPSI, MP et MP* : premier et deuxième cycles universitaires : écoles d'ingénieurs
द्वारा: Bellot, Patrick, 1968-, और अन्य
प्रकाशित: (1998)

Logique séquentielle
द्वारा: Lagasse, Jean, 1924-2003, और अन्य
प्रकाशित: (1976)

A mathematical introduction to logic
द्वारा: Enderton, Herbert, 1936-2010
प्रकाशित: (1972)

Solvable cases of the decision problem
द्वारा: Ackermann, Wilhelm, 1896-1962
प्रकाशित: (1954)

Cinq conférences sur l'indécidabilité
द्वारा: Bouleau, Nicolas, 1945-, और अन्य
प्रकाशित: (1983)

Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés
द्वारा: Séébold, Patrice, 19..-
प्रकाशित: (2020)

Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés
द्वारा: Falcone, Yliès Carlo, 1981-...., auteur en informatique, और अन्य
प्रकाशित: (2020)

Combinatorics on traces
द्वारा: Diekert, Volker

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

Langages formels, calculabilité et complexité
द्वारा: Carton, Olivier, 19..-...., mathématicien
प्रकाशित: (2008)

Systèmes logiques
द्वारा: Perrin, Jean-Paul, 19..-...., ingénieur, और अन्य
प्रकाशित: (1967)

Les théorèmes d'incomplétude de Gödel
द्वारा: Smullyan, Raymond Merrill, 1919-2017
प्रकाशित: (2000)

Komplexität von Entscheidungsproblemen : ein seminar
द्वारा: Specker, Ernst, 1920-2011
प्रकाशित: (2005)

Automata studies
द्वारा: Shannon, Claude Elwood, 1916-2001
प्रकाशित: (1956)

Formal models of communicating systems : languages, automata, and monadic second-order logic
द्वारा: Bollig, Benedikt
प्रकाशित: (2006)

Nouvelles orientations des mathématiques
द्वारा: Âglom, Isaak Moiseevič, 1921-1988, और अन्य
प्रकाशित: (1975)

An introduction to mathematical machine theory
द्वारा: Ginsburg, Seymour, 1927-2004
प्रकाशित: (1962)

Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité
द्वारा: Monin, Benoît, 1982-, और अन्य
प्रकाशित: (2022)

Machines de Turing et automates cellulaires : du trait gravé au très animé
द्वारा: Corge, Charles
प्रकाशित: (2008)

Mathematical foundations of computer science 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, September 3-7, 1979

Logique séquentielle : modélisation des systèmes, bascules, compteurs, décompteurs, registres, mémoires, convertisseurs : cours et exercices corrigés
द्वारा: Sbaï, Mouloud
प्रकाशित: (2019)

Logique séquentielle : modélisation des systèmes, bascules, compteurs, décompteurs, registres, mémoires, convertisseurs : cours et exercices corrigés
द्वारा: Sbaï, Mouloud
प्रकाशित: (2019)

Introduction to switching and automata theory
द्वारा: Harrison, Michael A., 19..-
प्रकाशित: (1965)

Le dixième problème de Hilbert : son indécidabilité
द्वारा: Matiâsevič, Ûrij Vladimirovič, 1947-
प्रकाशित: (1995)

Synthèse des systèmes logiques
द्वारा: Daclin, Éric, और अन्य
प्रकाशित: (1976)

Machines séquentielles
द्वारा: Zahnd, Jacques, 1939-
प्रकाशित: (1987)

Logique séquentielle : cours et exercices
द्वारा: Gindre, Marcel, 1948-, और अन्य
प्रकाशित: (1987)

© 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