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
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 35,10
EUR 7,67 shipping
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 : 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 39,45
EUR 3,41 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 8 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 40,63
EUR 2,25 shipping
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)
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 47,13
EUR 3,41 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 12 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 : As New. Unread book in perfect condition. N° de réf. du vendeur 5497454
Acheter D'occasion
EUR 60,87
EUR 2,25 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Computer Scientists (Modern Birkhäuser Classics)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190237783
Acheter neuf
EUR 61,12
EUR 3,41 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic for Computer Scientists
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5497454-n
Acheter neuf
EUR 62,30
EUR 2,25 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
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 48,85
EUR 17,33 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Logic for Computer Scientists (Modern Birkhäuser Classics)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780817647629_new
Acheter neuf
EUR 70,56
EUR 13,84 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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 : As New. Unread book in perfect condition. N° de réf. du vendeur 5497454
Acheter D'occasion
EUR 67,31
EUR 17,33 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 7 disponible(s)