décidabilité et indécidabilité

Il y a 63 résultats avec cette recherche.

2014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.

Auteur : Delaunay David
2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.

Auteur : Delaunay David
2010 Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1995 Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.

Auteur : Oumraou Lény
2000 Pour la Science. N° spécial. 278. Les infinis. p. 102-106. L’infini est-il nécessaire ?

Auteur : Dehornoy Patrick
2013 Destination Géométrie et topologie avec Thurston. Les tresses : de la topologie à la cryptographie. p. 27-43.

Auteur : Paris Luis
1995 La machine de Turing.

Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 La machine de Turing.

Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
2009 Bulletin de l’APMEP. N° 484. p. 648-672. De la modélisation du monde au monde des modèles (1).

Auteur : Duperret Jean-Claude
1989 Bulletin de l’APMEP. N° 369. p. 417-426. Pour une révolution de l’intelligence dans l’enseignement des mathématiques et ailleurs. (2)

Auteur : Dumont Marcel
2000 Pour la Science. N° spécial. 278. Les infinis. p. 30-38. L’infini est-il paradoxal en mathématiques ?

Auteur : Delahaye Jean-Paul
2002 Pour la Science. N° 295. p. 98-103. Les nombres oméga.

Auteur : Delahaye Jean-Paul
2007 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu’on n’a jamais voulu vous révéler.

Auteur : Lacombe Daniel
1993 Démonstration et signification en mathématiques.

Auteur : Wallet Guy