Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Cohen Gilles. Dir.

Titre : Bibliothèque Tangente. Num. 15. La logique. Le vrai, le faux et l'incertain.

Editeur : Editions Pôle Paris, 2004 Collection : Bibliothèque Tangente Num. 15
Format : 17 cm x 24 cm, 151 p. Bibliogr. pag. mult.
ISBN : 2-84884-018-8 EAN : 9782848840185  ISSN : 2263-4908

Type : monographie, polycopié, vulgarisation, popularisation Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

Classification : E34Logique. Acquisition des capacités de raisonnement logique. E35Logique. Acquisition des capacités de raisonnement logique. E38Logique. Acquisition des capacités de raisonnement logique. 

Résumé :

Sommaire :

* Dossier : La logique élémentaire
- Benoît Rittaud : La logique d'Aristote
- Alain Zalmanski : Lewis Caroll
- Hervé Lehning : Logique Sir !
- Daniel Temam : Les règles de la déduction
- Daniel Barthe : La contraposition
- Gérard Cohen-Zardi : Logique et théorie des ensembles
- Gérard Cohen-Zardi : Le moteur logique : l'implication
- Benoît Rittaud : Le tiers-exclu

* Le projet de Hilbert
- Hervé Lehning : Le projet de Hilbert
- Hervé Lehning : Les machines de Turing
- Christophe Tollu : La chute de la maison Hilbert

* Dossier : Logique et informatique
- Nicolas Delerue : L'intelligence artificielle
- Hervé Lehning : Les circuits logiques
- Christophe Tollu : Calculabilité, décidabilité et complexité
- Nicolas Delerue : Programmer en logique : le Prolog
- Daniel Barthe : Géométrie automatique
- Bernadette Bouchon-Meunier : La logique floue
- Nicolas Delerue : Les logiques non classiques
- Jean-Louis Krivine : La correspondance de Curry-Howard
- Hervé Lehning : Syntaxe et sémantique

* Dossier : Jeux et paradoxes
- Martin Jardin : Le vrai, le faux et l'indéterminé
- Gérard Cohen-Zardi : Les énigmes d'Oedipeland
- Alain Zalmanski : Raymond Smullyan
- Elise Janveresse, Thierry de la Rue : Les cocus de Bagdad
- Daniel Barthe : Le paradoxe de Hempel
- Alain Zalmanski, Michel Criton : En toute logique
- A. Cardon : La maison hantée
- Michel Criton : Le paradoxe du menteur
- Jacques Sélamé : Raymond Devos, le forcené de la logique
- Jim Propp : Test d'aptitude autoréférentielle
- Marie Berrondo-Agrell : Logic logique

Notes :
Cet ouvrage est une version augmentée du Tangente Hors-série n° 15 - La logique en deux volumes : Vol. 1. La logique et Vol. 2. Logique et informatique.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 04/11/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN