First Edition Thus (1997); so stated. First Printing indicated by a complete numerical sequence. Very Good+ in Wraps: shows indications of very careful use: just a faint wrinkle at the bottom of the front panel and another at the top of same; else the very mildest wear to the extremities; very mild rubbing to the panels; the binding square and secure; the text is clean.Free of creases to the backstrip. Free of creased or dog-eared pages in the text. Free of any underlining, hi-lighting or marginalia or marks in the text. Free of ownership names, dates, addresses, notations, inscriptions, stamps, or labels. A handsome copy, structurally sound and tightly bound, showing the very mildest wear and minor cosmetic imperfections. Bright and clean. Close to 'As New'. NOT a Remainder, Book-Club, or Ex-Library. 8vo. (9.2 x 6.15 x 0.5 inches). 258 pages. Language: English. Weight: 12.5 ounces. The Essence of Computing Series. Textbook Paperback. First Edition Thus (1997); so stated. First Printing indicated by a complete numerical sequence.

N� de ref. del art�culo 55066

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

The Essence Of Logic.

Editor

Prentice Hall, New York, NY

Fecha de publicaci�n

1997

Idioma

Ingl�s

ISBN 10

0133963756

ISBN 13

9780133963755

Encuadernaci�n

Paperback

Edici�n

1� Edici�n

Cat�logos de vendedores

Computers and Internet

Acerca de

Sinopsis

The Prentice Hall Essence of Computing Series provides a concise, practical and uniform introduction to the core components of an undergraduate computer science degree. Acknowledging recent changes within Higher Education, this approach uses a variety of pedagogical tools, case studies, worked examples and self-test questions to underpin the students's learning. This book is a concise introduction to formal logic. Written for undergraduates, it makes no excessive demands on previous mathematical knowledge, requiring little maturity in mathematical thinking. The main objective of the book is in preparing the reader for the analysis and application of techniques of logic in computing. A wide range of topics in mathematical logic are covered with each new idea introduced in a gentle, yet brisk fashion which quickly leads to the development of important skills. Beginning with the Truth Tables, the reader is introduced to the concepts of Boolean Algebra and thus logical propositions and truth values. Propositional Logic is explored through the use of the methods of Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal Axiomatic systems are examined and illustrated with some important theorems about such systems. Properties of soundness. completeness and consistency are explained in terms of Propositional systems. Resolution is presented for Propositional Logic in preparation for an understanding of its use in computer science. The book then turns to the First Order Predicate Logic, revising the now familiar topics of deduction and semantic tableaux, as well as soundness completeness and consistency. Resolution is re-examined and the application of First Order Predicate Logic in computing is investigated.

Acerca del autor

Dr John Kelly was Senior Lecturer in Computer Science at University College, Dublin.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We are an on-line business with on on-site access to the public.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Black Cat Hill Books
722 Harrison Street, Oregon City, OR, 97045-2039, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described
on the www.abebooks.com web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.
Black Cat Hill Books is a sole proprietorship, Jes...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is significantly heavy or over-sized, we may contact you to let you know extra shipping is required.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 5 a 14 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 5.38	EUR 8.27

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.