Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique Niveau : Lycée

272 fiches trouvées

Reponses 221 à 240

221	2003 Tangente Hors-série. N° 15. Vol. 1. p. 46-47. Test d'aptitude autoréférentielle.
222	2003 Tangente Hors-série. N° 15. Vol. 1. p. 6-9. La logique d'Aristote.
223	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
224	2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
225	2003 Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
226	2003 Tangente Hors-série. N° 15. Vol. 2. p. 17-17. Géométrie automatique.
227	2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
228	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
229	2003 Tangente Hors-série. N° 15. Vol. 2. p. 3-5. L'intelligence artificielle.
230	2003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
231	2003 Tangente Hors-série. N° 15. Vol. 2. p. 6-9. Les circuits logiques.
232	2002 Bulletin de l'APMEP. N° 440. p. 293-302. Les calculatrices n'ont pas toujours raison.
233	2002 Tangente Hors-série. N° 13. p. 30-32. Le paradoxe de Jules Richard.
234	2002 Tangente Hors-série. N° 13. p. 95-95. Le paradoxe du menteur revisité.
235	2001 Actes du séminaire national de didactique des mathématiques 2000. Entrer dans la culture des théorèmes à 12-14 ans : un défi pour la didactique des mathématiques . p. 41-54.
236	2001 Liaison lycée/post-bac.
237	2001 Produire et lire des textes de démonstration. Une approche linguistique de textes de raisonnement. p. 87-110.
238	2001 Repères-IREM. N° 42. p. 45-58. L'utilisation du "et" et du "ou" en mathématiques.
239	2001 Tangente. N° 83. p. 42-43. Ionesco ou l'invention de nouveaux axiomes théâtraux.
240	2000 Apprentissage des structures logiques.