Recherchez sur tout Techno-Science.net
       
Techno-Science.net : Suivez l'actualité des sciences et des technologies, découvrez, commentez
Catégories
Techniques
Sciences
Encore plus...
Techno-Science.net
Partenaires
Organismes
 CEA
 ESA
Sites Web
Photo Mystérieuse

Que représente
cette image ?
Caractéristiques du livre :
- Auteur: Jean Sallantin, Jean Sallantin, Jean-Jacques Szczeciniarz
- Editeur: Presses Universitaires de France - PUF
- Date de parution: 1er Novembre 1999
- Format: Broché
- Dimensions:
- Nombre de pages:
- Prix indicatif: 25,65 € - Acheter ce livre sur Amazon.fr



Table des matières

1. De la connaissance au calcul - implications épistémologiques du cognitivisme
2. Descartes et Euclide - Le cogito comme ultime preuve
3. Le programme de Hilbert,
4. La logique paraconsistante
5. Vers un mathématicien artificiel
6. Sur les preuves non déductives en intelligence artificielle
7. Vers un démonstrateur adaptatif
8. Apprendre la preuve
9. Preuves de la déduction automatique et analogie
10. Les cadres probatoires
11. Règles, déduction, grammaire et langage
12. Des régimes de preuves en langues et discours
13. La preuve et le contrat
14. Le raisonnement historique à l'épreuve de l'IA





Acheter ce livre sur Amazon.fr