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

Introduction à la calculabilité

Introduction à la calculabilité

"Quelles sont les limites de l'informatique ? La théorie de la calculabilité apporte des réponses à cette question : elle démontre notamment que certains problèmes informatiques ne peuvent pas être résolus par des programmes. Cet ouvrage a pour but de présenter aux informaticiens les éléme...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Wolper, Pierre, 1955-
स्वरूप:	Livre papier
भाषा:	Français
प्रकाशित:	Paris : InterÉditions DL 1991.
श्रृंखला:	IIA. Informatique intelligence artificielle
विषय:	Décidabilité (logique mathématique) Calcul formel Langages formels Complexité de calcul (informatique) Fonctions récursives Automates mathématiques, Théorie des Fonctions calculables
Autres localisations:	Voir dans le Sudoc

समान संसाधन

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

Introduction à la calculabilité : cours et exercices corrigés
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (2001)

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

Elements of the theory of computation
द्वारा: Lewis, Harry R., 1947-, और अन्य
प्रकाशित: (1981)

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

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

Introduction to automata theory, languages, and computation
द्वारा: Hopcroft, John Edward, 1939-, और अन्य
प्रकाशित: (1979)

Langages formels : calculabilité et complexité : cours et exercices corrigés
द्वारा: Carton, Olivier
प्रकाशित: (2014)

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

Logique(s), langages formels et complexité pour l'informatique
द्वारा: Jussien, Narendra, 1973-
प्रकाशित: (2006)

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

Mathematical foundations of programming
द्वारा: Beckman, Frank S., 1921-2009
प्रकाशित: (1980)

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

Introduction à l'informatique théorique
द्वारा: Bourda, Yolaine, 19..-, और अन्य
प्रकाशित: (1994)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Computability and logic
द्वारा: Boolos, George, 1940-1996, और अन्य
प्रकाशित: (1974)

Complexité algorithmique : et problèmes de communications
द्वारा: Barthélemy, Jean-Pierre, 1945-, और अन्य
प्रकाशित: (1992)

Comprendre les méthodes formelles : panorama et outils logiques
द्वारा: Monin, Jean-François
प्रकाशित: (1996)

Computability and unsolvability
द्वारा: Davis, Martin, 1928-2023
प्रकाशित: (1958)

Programmer avec Maple V
द्वारा: Monagan, Michael B., 19..-
प्रकाशित: (1997)

The nature of computation : logic, algorithms, applications : proceedings
प्रकाशित: (2013)

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

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

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

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

Subrecursion : functions and hierarchies
द्वारा: Rose, Harvey Ernest, 1936-
प्रकाशित: (1984)

Maple V : library reference manual
द्वारा: Char, Bruce W., 19..-, और अन्य
प्रकाशित: (1991)

Mathématiques pour le calcul formel
द्वारा: Mignotte, Maurice, 19..-...., mathématicien
प्रकाशित: (1989)

Journal of symbolic computation.

Mathématique discrète : outil pour l'informaticien
द्वारा: Marchand, Michel, 1947-
प्रकाशित: (1989)

Leçons sur les fonctions calculables
द्वारा: Uspenskij, Vladimir Andreevič, 1930-2018
प्रकाशित: (1966)

Computability
द्वारा: Tourlakis, George J., 1946-
प्रकाशित: (1984)

Computability
द्वारा: Weihrauch, Klaus, 1943-
प्रकाशित: (1987)

Theory of recursive functions and effective computability
द्वारा: Rogers, Hartley, 1926-2015
प्रकाशित: (1967)

Algebra for symbolic computation
द्वारा: Machì, Antonio, 19..-, mathématicien

Le Turbo Pascal en classes préparatoires, Calcul formel
द्वारा: Levine, Albert, 19..-
प्रकाशित: (1989)

Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
द्वारा: Mosconi, Jean, 1942-
प्रकाशित: (2022)

Introduction to Maple
द्वारा: Heck, André, 19..-...., mathématicien
प्रकाशित: (1993)

© 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