Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique
Niveau : Enseignement Hors les Murs : par correspondance, formation des adultes, popularisation, etc.
Certification IDDN Valid HTML 4.01 Transitional

Sélectionnez vos critères de recherche :
 
 
Auteur :
 Année  Année de fin
Ressource(s) CDI LittéraMath Ressource(s) en ligne Ressources en ligne   dont Bibliothèque numérique
Langue Public visé 
Type
Revue ou Collection
IREM / IRES
Commission Inter-IREM
Afficher les fiches par    
219 fiches trouvées Debut Precedent Reponses 181 à 200 Suivant Fin

1812003 Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
1822003 Tangente Hors-série. N° 15. Vol. 2. p. 17-17. Géométrie automatique.
1832003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
1842003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
1852003 Tangente Hors-série. N° 15. Vol. 2. p. 3-5. L'intelligence artificielle.
1862003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
1872003 Tangente Hors-série. N° 15. Vol. 2. p. 6-9. Les circuits logiques.
1882002 Elémentaire mon cher Watson !
1892002 Tangente Hors-série. N° 13. p. 30-32. Le paradoxe de Jules Richard.
1902002 Tangente Hors-série. N° 13. p. 95-95. Le paradoxe du menteur revisité.
1912002 Zoo logique.
1922001 La logique ou l'art de raisonner.
1932001 Tangente. N° 83. p. 42-43. Ionesco ou l'invention de nouveaux axiomes théâtraux.
1942000 Les aléas de la raison : de la théorie des jeux à la psychologie.
1952000 Mais où est donc Ornicar ?
1962000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
1971998 Enigmes et jeux logiques.
1981997 Logique sans bosse. T. 1.
1991997 Logique sans bosse. T. 2.
2001997 Oedipeland.