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

231 fiches trouvées Debut Precedent Reponses 41 à 60 Suivant Fin

412019 Bibliothèque Tangente. N° 38. Edition 2019. Syntaxe et sémantique en logique. p. 68-69.
422019 Ensembles et logique.Ressource en ligne
432019 Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique. Ressource en ligne
442019 Tangente. N° 191. p. 38-41. Paradoxes et autocontradictions.
452019 Tangente. N° 191. p. 42-43. Autoréférence et point fixe.
462019 Tangente. N° 191. p. 44-45. Quelques autoréférences textuelles.
472019 Tangente. N° 191. p. 46-49. La suite audioactive.
482019 Tangente. N° 191. p. 50-51. Jouer avec des nombres.
492019 Tangente. N° 191. p. 52-52. Trois cauchemars.
502018 Tangente. N° 183. p. 30-33. Raisonner, c'est résoudre.
512018 Tangente. N° 183. p. 34-35. Elémentaire et puissant : le principe des tiroirs.
522018 Tangente. N° 183. p. 36-37. Les techniques du prodigieux Terence Tao.
532018 Tangente. N° 183. p. 38-39. Les animaux aussi font des maths !
542018 Tangente. N° 183. p. 40-41. Les "haha" de Martin Gardner.
552018 Tangente. N° 183. p. 42-42. Des problèmes venus du Moyen Âge.
562018 Tangente. N° 183. p. 44-47. Mettons nos montres à l'heure.
572018 Tangente. N° 183. p. 48-48. Empiler des boulets de canon.
582018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".Ressource en ligne
592017 Histoires de Mathématiques. Informatique. Le piano de Jevons. Ressource en ligne
602016 Tangente. N° 173. p. 16-17. Déduction ou induction... et l'abduction alors ?