Synopsis
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Logic for Computer Scientists
Image d'archives
Logic for Computer Scientists (Modern Birkhäuser Classics)
Edité par
Birkhäuser, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
paperback
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. N° de réf. du vendeur mon0003636261
Acheter D'occasion
EUR 30,08
Expédition à EUR 4,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkh�user Classics)
Edité par
Birkh�user, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
paperback
Vendeur : One Planet Books, Columbia, MO, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 000885702U
Acheter D'occasion
EUR 40,46
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkh�user Classics)
Edité par
Birkh�user, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
paperback
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Ships same day or next business day! UPS shipping available (Priority Mail for AK/HI/APO/PO Boxes). Used sticker and some writing and/or highlighting. Used books may not include working access code. Used books will not include dust jackets. N° de réf. du vendeur 000885702U
Acheter D'occasion
EUR 40,50
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 8 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkh�user Classics)
Edité par
Birkh�user, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
Couverture souple
Vendeur : Bulrushed Books, Moscow, ID, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Acceptable. SHIPS FAST. RESCUED + REPAIRED. Binding and pages have been reinforced with tape, with tape and stickers on the cover and marks/notes throughout-a fully readable working copy brought back to life through our Book Sustainability Project. No access codes or CDs. N° de réf. du vendeur #84E-00003
Acheter D'occasion
EUR 39,87
Expédition à EUR 7,72
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic for Computer Scientists
Edité par
Birkhäuser, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 5497454-5
Acheter D'occasion
EUR 52,84
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkhäuser Classics)
Edité par
Birkhäuser, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Livre reconditionné de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Refurbished library book. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur I-193-861
Acheter D'occasion
EUR 39,38
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkhäuser Classics)
Edité par
Birkhäuser, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Livre reconditionné de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Refurbished library book. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur I-193-862
Acheter D'occasion
EUR 39,38
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkh�user Classics)
Edité par
Birkh�user, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
paperback
Vendeur : One Planet Books, Columbia, MO, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Like New. Ships in a BOX from Central Missouri! Like Brand NEW. No tears, highlighting or writing because it's never been used! May have minor shelf wear. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 000885702N
Acheter D'occasion
EUR 53,96
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 9 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkh�user Classics)
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 000885702N
Acheter neuf
EUR 54,01
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 11 disponible(s)
Image fournie par le vendeur
Logic for Computer Scientists
Edité par
Birkhäuser, 2008
ISBN 10 : 0817647627
ISBN 13 : 9780817647629
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 5497454-5
Acheter D'occasion
EUR 51,33
Expédition à EUR 17,20
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 5 disponible(s)