Cargando…
Proof and disproof in formal logic : an introduction for programmers /
"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Ded...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; New York :
Oxford University Press,
2005.
|
| Colección: | Oxford texts in logic ;
2. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | "Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket |
|---|---|
| Notas: | Includes index. |
| Descripción Física: | 1 online resource (xix, 243 pages) : illustrations |
| ISBN: | 142375722X 9781423757221 9786610759002 6610759006 9780198530275 0198530277 1280759003 9781280759000 0198530269 9780198530268 |