Fortæl dine venner om denne vare:
Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition
Michael Genesereth
Tilføj til din iMusic ønskeseddel
eller
Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition
Michael Genesereth
Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.
164 pages, black & white illustrations
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. august 2013 |
| ISBN13 | 9781627052474 |
| Forlag | Morgan & Claypool Publishers |
| Antal sider | 163 |
| Mål | 191 × 235 × 9 mm · 319 g |
| Sprog | Engelsk |
Vis alle
Mere med Michael Genesereth
![Cover for Michael Genesereth · Introduction to Logic, Third Edition - Synthesis Lectures on Computer Science (Paperback Bog) [3 Revised edition] (2016)](https://imusic.b-cdn.net/images/item/original/739/9783031006739.jpg?michael-genesereth-2016-introduction-to-logic-third-edition-synthesis-lectures-on-computer-science-paperback-bog&class=scaled&v=1749408559)
Se alt med Michael Genesereth ( f.eks. Paperback Bog og Hardcover bog )