Povej prijatelju o tem izdelku:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca Michael Genesereth
Dodaj na svoj seznam želja iMusic
Introduction to Logic - Synthesis Lectures on Computer Science
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. avgusta 2013 |
| ISBN13 | 9781627052474 |
| Založniki | Morgan & Claypool Publishers |
| Strani | 163 |
| Dimenzije | 191 × 235 × 9 mm · 319 g |
| Jezik | Angleščina |
Več od Michael Genesereth
Prikaži vseVeč od istega **izdajatelja**
Ogled vseh Michael Genesereth ( Na primer Paperback Book in Hardcover Book )