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

231 fiches trouvées

Reponses 181 à 200

181	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
182	2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
183	2003 Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
184	2003 Tangente Hors-série. N° 15. Vol. 2. p. 17-17. Géométrie automatique.
185	2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
186	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
187	2003 Tangente Hors-série. N° 15. Vol. 2. p. 3-5. L'intelligence artificielle.
188	2003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
189	2003 Tangente Hors-série. N° 15. Vol. 2. p. 6-9. Les circuits logiques.
190	2002 Eléments de mathématiques discrètes.
191	2002 Le théorème de Gödel.
192	2002 Tangente Hors-série. N° 13. p. 30-32. Le paradoxe de Jules Richard.
193	2002 Tangente Hors-série. N° 13. p. 95-95. Le paradoxe du menteur revisité.
194	2001 Annales de didactique et de sciences cognitives. V. 7. p. 117-145. Reconnaissance de contre-exemples en analyse - Approche par questionnaire en première année universitaire.
195	2001 Fondements des mathématiques. T. 1.
196	2001 Fondements des mathématiques. T. 2.
197	2001 Introduction à la logique.
198	2001 Liaison lycée/post-bac.
199	2001 Tangente. N° 83. p. 42-43. Ionesco ou l'invention de nouveaux axiomes théâtraux.
200	2000 Pourquoi pas ? des Mathématiques.