Mots-clés – Auteurs

fonction récursive

Il y a 40 résultats pour cette recherche

2021 Bibliothèque Tangente. N° 76. Programmer, c’est prouver. p. 104-105.
Auteur : Lehning Hervé
2021 Bibliothèque Tangente. N° 76. Itération et récurrence.
Auteurs : Cohen Gilles. Dir. ; Aoustin Fabien. Dir.
2020 Tangente Hors-série. N° 76. p. 41-41. La preuve d’un programme.
Auteur : Lehning Hervé
2019 Mathématice. N° 64. Les fractals de Sierpinski.
Auteur : Debrabant Patrice
2018 L’Autan Moderne. N° 2.
Auteur : Buff Xavier. Dir.
2018 L’Autan Moderne. N° 2. L’algorithmique n’est pas la programmation !
Auteur : Cuppens Roger
2017 Mathématice. N° 57. Pyramides et pyramides à degrés.
Auteur : Debrabant Patrice
2015 Bulletin de l’APMEP. N° 513. p. 211-226. La récursivité ou l’algorithme sans boucles.
Auteur : Cuppens Roger
2014 Tangente Hors-série. N° 52. p. 26-27. Langages et récursivité.
Auteur : Lehning Hervé
2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.
Auteur : Cohen Gilles. Dir.
2014 Bibliothèque Tangente. N° 52. Langages et récursivité. p. 48-51.
Auteur : Lehning Hervé
2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David
2011 Epistémologie mathématique.
Auteur : Lombardi Henri
2010 Histoire d’algorithmes : du caillou à la puce.
Auteur : Chabert Jean-Luc. Dir.
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
2009 Bibliothèque Tangente. N° 37. La fonction d’Ackermann. p. 68-68.
Auteurs : Criton Michel ; Zalmanski Alain
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
2003 Sciences Sup. Logique mathématique. V. 2.
Auteurs : Cori René ; Lascar Daniel
2002 Eléments de mathématiques discrètes.
Auteur : Frécon Louis
2002 Théorèmes d’incomplétude de Gödel.
Auteur : Royer Philippe
2000 Tangente Sup. N° 7. p. 34-37. L’oasis de …
Auteur : Tangente Sup Comité de rédaction. Dir.
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 A history of algorithms: From the pebble to the microchip.
Auteurs : Borowczyk Jacques ; Chabert Jean-Luc ; Guillemot Michel ; Djebbar Ahmed ; Martzloff Jean-Claude ; Michel-Pajus Anne ; Weeks Chris. Trad.
1995 Histoire d’algorithmes. Du caillou à la puce.
Auteurs : Borowczyk Jacques ; Chabert Jean-Luc ; Guillemot Michel ; Djebbar Ahmed ; Martzloff Jean-Claude ; Michel-Pajus Anne
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
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 Revue d’histoire des mathématiques. N° 1. Vol. 2. p. 271-305. L’école constructive de Markov.
Auteur : Margenstern Maurice
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1993 Sciences Sup. Logique mathématique. V. 2.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thèse de Church / Post.
Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel
1991 L’Ouvert. N° 65.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves