Logique Pour L'informatique Et Pour L'intelligence Artificielle
5 Angebote vergleichen
Bester Preis: € 92,00 (vom 06.11.2017)1
Logique pour l'informatique et pour l'intelligence artificielle (2010)
FR NW
ISBN: 9782746226005 bzw. 2746226006, in Französisch, 424 Seiten, Hermes Science Publications, neu.
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés, Frais d’expédition réels peuvent différer.
Von Händler/Antiquariat, Librairie Lavoisier.
La logique, qu'elle soit propositionnelle, du premier ordre OU non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques OU assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Broché, Étiquette: Hermes Science Publications, Hermes Science Publications, Groupe de produits: Book, Publié: 2010-12-23, Studio: Hermes Science Publications, Vente de rang: 1028517.
Von Händler/Antiquariat, Librairie Lavoisier.
La logique, qu'elle soit propositionnelle, du premier ordre OU non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques OU assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Broché, Étiquette: Hermes Science Publications, Hermes Science Publications, Groupe de produits: Book, Publié: 2010-12-23, Studio: Hermes Science Publications, Vente de rang: 1028517.
2
Logique pour l'informatique et pour l'intelligence artificielle (2010)
FR US
ISBN: 9782746226005 bzw. 2746226006, in Französisch, 424 Seiten, Hermes Science Publications, gebraucht.
Lieferung aus: Frankreich, Expédition sous 4 à 5 jours ouvrés, Frais d’expédition réels peuvent différer.
Von Händler/Antiquariat, Les Livres du Château.
La logique, qu'elle soit propositionnelle, du premier ordre OU non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques OU assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Broché, Étiquette: Hermes Science Publications, Hermes Science Publications, Groupe de produits: Book, Publié: 2010-12-23, Studio: Hermes Science Publications, Vente de rang: 1028517.
Von Händler/Antiquariat, Les Livres du Château.
La logique, qu'elle soit propositionnelle, du premier ordre OU non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques OU assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Broché, Étiquette: Hermes Science Publications, Hermes Science Publications, Groupe de produits: Book, Publié: 2010-12-23, Studio: Hermes Science Publications, Vente de rang: 1028517.
3
Logique Pour l'Informatique et Pour l'Intelligence Artificielle (2010)
FR PB US
ISBN: 9782746226005 bzw. 2746226006, in Französisch, 424 Seiten, Hermes Sciences Publications, Taschenbuch, gebraucht.
Lieferung aus: Kanada, Usually ships within 1 - 2 business days, Frais d’expédition réels peuvent différer.
Von Händler/Antiquariat, Prestivo3.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Prestivo3.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Logique Pour l'Informatique et Pour l'Intelligence Artificielle (2010)
FR PB NW
ISBN: 9782746226005 bzw. 2746226006, in Französisch, 424 Seiten, Hermes Sciences Publications, Taschenbuch, neu.
Lieferung aus: Kanada, Usually ships within 6 - 10 business days, Frais d’expédition réels peuvent différer.
Von Händler/Antiquariat, La Boutique Française.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, La Boutique Française.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Logique Pour L'informatique Et Pour L'intelligence Artificielle (2010)
FR NW
ISBN: 9782746226005 bzw. 2746226006, in Französisch, neu.
Lieferung aus: Frankreich, Livraison sous 3 a 5 jours.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…