Bornat richard (10 Ergebnisse)

Paperback. Zustand: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration.

paperback. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.…

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0333217314.…

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No d/j as Published. Type: Book N.B. Small plain label to inside front cover.

Softcover. Zustand: Gut. 243 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16170 9780198530275 Sprache: Englisch Gewicht in Gramm: 510.

Kartoniert / Broschiert. Zustand: New. Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, thi.

Paperback. Zustand: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system--a collection of rules and axioms which define a universe of logical proofs--is what gives us programming languages and modern-day programming.This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses--natural deduction--is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations.The book is divided into four parts: Part I 'Basics' gives an introduction to formal logic with a short history of logic and explanations of some technical words. Part II 'Formal syntactic proof' show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. Part III 'Formal semantic disproof' shows you how to construct mathematical counterexamples to show that proof is impossible. Jape can check the counterexamples you build. Part IV 'Program specification and proof' describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.…