Logique

Il y a 582 résultats avec cette recherche.

2018 Au fil des maths. N° 528. p. 65-68. Comprendre le langage mathématique.

Auteur : Cunha Sueli
2018 Au fil des maths. N° 528. p. 63-64. 3 est-il inférieur ou égal à 4 ?

Auteur : Mounier Georges
2002 Repères-IREM. N° 47. p. 41-64. Du raisonnement à la démonstration.

Auteur : Bkouche Rudolf
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l’interface des mathématiques et de l’informatique.

Auteurs : Leon Nicolas ; Modeste Simon
2020 Repères-IREM. N° 121. p. 77-105. Du problème de Wang vers une nouvelle situation de recherche pour la classe.

Auteurs : Da Ronch Mickaël ; Gandit Michèle ; Gravier Sylvain
2009 Vidéo de l’IREM de Paris – Séminaire national de didactique des mathématiques ARDM. La démonstration : une logique en situation ?

Auteur : Arsac Gilbert
1990 Analyse et synthèse.

Auteur : Glaeser Georges
2016 Oeuvres d’Ernest Coumet – Tome 1.

Auteurs : Coumet Ernest ; Martin Thierry. Dir. ; Roux Sophie. Dir. ; Roux Sophie. Préf.
2008 Revue d’Histoire des Mathématiques. N° 14. Vol. 1. p. 77-111. Gödel et la thèse de Turing.

Auteur : Cassou-Noguès Pierre
2004 Les Génies de la Science. N° 20. Gödel, logique à la folie.

Auteur : Guerrerio Gianbruno
2013 Bibliothèque Tangente. N° 49. L’impossible de Gödel : la fin d’un rêve. p. 74-77.

Auteur : Boulanger Philippe
2012 Pour la Science. Dossier N° 74. p. 68-73. L’incomplétude, le hasard et la physique.

Auteur : Delahaye Jean-Paul
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.

Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. La logique.

Auteur : Cohen Gilles. Dir.
1993 Nouvelles orientations en philosophie des mathématiques.

Auteur : Müller Gert Heinz
2004 Bibliothèque Tangente. N° 15. Le projet de Hilbert. p. 36-40.

Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.

Auteur : Tollu Christophe
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.

Auteur : Casiro Francis
2003 Tangente Hors-série. N° 15. Vol. 1. p. 28-30. Le projet de Hilbert.

Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.

Auteur : Tollu Christophe
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.

Auteur : Casiro Francis
2020 Tangente. N° 192. p. 32-33. Les théorèmes d’incomplétude de Gödel.

Auteur : Lehning Hervé
1990 Le logotron.

Auteur : Petit Jean-Pierre
1972 Bulletin de l’APMEP. N° 284. p. 509-516. Lewis Carroll en classe de cinquième.

Auteur : Beaulieu A.