Computational Logic - Augusto, Luis M
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
50,45 €
Produit Neuf
Ou 12,61 € /mois
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781848902800_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Computational Logic de Augusto, Luis M Format Broché - Livre Mathématiques
0 avis sur Computational Logic de Augusto, Luis M Format Broché - Livre Mathématiques
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 25,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Cascades Et Fontaines
1 avis
Occasion dès 32,50 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
Concise Oxford English Dictionary 12th Ed
22 avis
Neuf dès 42,95 €
Occasion dès 25,00 €
-
Pontificale Romanum. Editio Typica 1961-1962.
Occasion dès 24,00 €
-
Domenico Scarlatti 60 Sonatas, Books 1 And 2 Schirmer Library Of Musical Classics Vol. 2063 Piano Sheet Music Collection For Advanced & Intermediate Pianists
Neuf dès 28,70 €
-
The Principles Of Product Development Flow: Second Generation Lean Product Development
Occasion dès 29,56 €
-
Gender Trouble
1 avis
Neuf dès 51,92 €
-
Ouragan: 30 Siècles De Vies Communes (French Edition)
3 avis
Occasion dès 24,64 €
-
Philip Glass: The Complete Piano Etudes - Piano Classics Sheet Music - Piano Chord Book - Philip Glass Piano Works
1 avis
Neuf dès 26,99 €
-
Apprendre L'armenien Occidental Pour Francophones (Les Cahiers D'eric)
Neuf dès 39,99 €
-
Spring Boot 3 Und Spring Framework 6
Neuf dès 280,99 €
Occasion dès 39,92 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
Produits similaires
Présentation Computational Logic de Augusto, Luis M Format Broché
- Livre Mathématiques
Résumé :
Although a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing-a.k.a. formal languages and automata theory-and classical deduction with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. As a complement to the mathematical-based exposition of the topics we offer the reader a very large selection of exercises. This selection aims at not only practice of discussed material, but also creative approaches to problems, for both discussed and novel contents, as well as at research into further relevant topics. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines.
Détails de conformité du produit
Personne responsable dans l'UE