Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique
Niveau : Enseignement supérieur
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    
234 fiches trouvées Debut Precedent Reponses 181 à 200 Suivant Fin

1812003 Tangente Hors-série. N° 15. Vol. 1. p. 44-45. En toute logique.
1822003 Tangente Hors-série. N° 15. Vol. 1. p. 46-47. Test d'aptitude autoréférentielle.
1832003 Tangente Hors-série. N° 15. Vol. 1. p. 6-9. La logique d'Aristote.
1842003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
1852003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
1862003 Tangente Hors-série. N° 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.
1872003 Tangente Hors-série. N° 15. Vol. 2. p. 17-17. Géométrie automatique.
1882003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
1892003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
1902003 Tangente Hors-série. N° 15. Vol. 2. p. 3-5. L'intelligence artificielle.
1912003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
1922003 Tangente Hors-série. N° 15. Vol. 2. p. 6-9. Les circuits logiques.
1932002 Eléments de mathématiques discrètes.
1942002 Le théorème de Gödel.Ressource en ligne
1952002 Tangente Hors-série. N° 13. p. 30-32. Le paradoxe de Jules Richard.
1962002 Tangente Hors-série. N° 13. p. 95-95. Le paradoxe du menteur revisité.
1972001 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.Ressource en ligne
1982001 Fondements des mathématiques. T. 1.
1992001 Fondements des mathématiques. T. 2.
2002001 Introduction à la logique.