Inhaltsangabe
Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et IA. Les nombreuses qualités didactiques de ce livre, le souci permanent de culture et d'histoire, la grande précision et la justesse technique de l'exposé, la volonté de traiter les aspects récents de la logique ayant donné lieu à des applications (telle la méthode de résolution qui est à la base du langage informatique Prolog) en feront un ouvrage de référence pour de longues années, utile à de nombreux étudiants. Pour la Science Voici l'ouvrage de logique qui manquait en français entre les manuels de vulgarisation et les traités spécialisés pour les troisièmes cycles de mathématiques... Ici, bien des éléments sont présents pour prétendre à la place de référence pour les cours de premier cycle universitaire. Bibliographie de la philosophie, septembre 1996
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Présenté en deux volumes, Logique propose une mise au point complète sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. Le premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et intelligence artificielle. L'une des originalités du livre, premier manuel complet de logique en langue française, est de combiner le souci pratique avec une réelle rigueur conceptuelle. Cet ouvrage peut dès lors être un outil indispensable à tout approfondissement théorique.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logique: Volume 1, Méthodes pour l'informatique...
Beispielbild für diese ISBN
Logique Tome 1 : Méthodes pour l'informatique fondamentale
Verlag:
Hermes Science Publications, 1991
ISBN 10: 2866012496
ISBN 13: 9782866012496
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1991. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. G-902-646
Gebraucht kaufen
EUR 31,49
Versand:
EUR 22,50
Von Frankreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Méthodes pour l'informatique fondamentale Paul Gochet, Pascal Gribomont. Logique 1 ED.1;1992.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 779: 1 (1992) 9782866012496 Sprache: Französisch Gewicht in Gramm: 550. Artikel-Nr. 2502957
Gebraucht kaufen
EUR 60,31
Versand:
EUR 16,00
Von Deutschland nach USA
Anzahl: 1 verfügbar