Artículos relacionados a Proof and Disproof in Formal Logic: An Introduction...

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2 - Tapa blanda

 
9780198530275: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Sinopsis

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 shoe 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

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

  • EditorialOxford University Press
  • Año de publicación2005
  • ISBN 10 0198530277
  • ISBN 13 9780198530275
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas264
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Aceptable
This is an ex-library book and...
Ver este artículo

EUR 10,79 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 19,49 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780198530268: Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Edición Destacada

ISBN 10:  0198530269 ISBN 13:  9780198530268
Editorial: OUP Oxford, 2005
Tapa dura

Resultados de la búsqueda para Proof and Disproof in Formal Logic: An Introduction...

Imagen de archivo

Bornat, Richard
Publicado por Oxford University Press, 2011
ISBN 10: 0198530277 ISBN 13: 9780198530275
Antiguo o usado Tapa blanda

Librería: Anybook.com, Lincoln, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780198530275. Nº de ref. del artículo: 4146380

Contactar al vendedor

Comprar usado

EUR 38,58
Convertir moneda
Gastos de envío: EUR 10,79
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Bornat, Richard
Publicado por Oxford University Press, 2005
ISBN 10: 0198530277 ISBN 13: 9780198530275
Antiguo o usado Soft cover Original o primera edición

Librería: Prometei Books, New Rochelle, NY, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Soft cover. Condición: As New. 1st Edition. New book, never read. Faint shelfwear on paperback covers from storage. Pages clean and crisp, spine unbroken. 0824C. Nº de ref. del artículo: A0824-077

Contactar al vendedor

Comprar usado

EUR 41,54
Convertir moneda
Gastos de envío: EUR 34,31
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Bornat, Richard
Publicado por Oxford University Press, 2005
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuevo Kartoniert / Broschiert
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Nº de ref. del artículo: 594409845

Contactar al vendedor

Comprar nuevo

EUR 94,85
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Richard Bornat
Publicado por Oxford Univ Pr, 2005
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock. Nº de ref. del artículo: zk0198530277

Contactar al vendedor

Comprar nuevo

EUR 128,42
Convertir moneda
Gastos de envío: EUR 11,91
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Bornat, Richard
Publicado por Oxford University Press, 2005
ISBN 10: 0198530277 ISBN 13: 9780198530275
Antiguo o usado Tapa blanda

Librería: OM Books, Sevilla, SE, España

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Usado - bueno. Nº de ref. del artículo: 9780198530275

Contactar al vendedor

Comprar usado

EUR 211,00
Convertir moneda
Gastos de envío: GRATIS
A España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito