Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
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é Langue : Français Support : papier

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

Classification : A34Revues, article de revue A35Revues, article de revue A38Revues, article de revue 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 : Attention ! Cette fiche est incomplète, aidez-nous à la compléter. Votre contribution

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 11/06/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN