Povedzte o tejto položke priateľom:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Do you have a profile? Prihlásiť sa
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Michael Genesereth
Pridať do vášho zoznamu prianí na 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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 01. augusta 2013 |
| ISBN13 | 9781627052474 |
| Vydavatelia | Morgan & Claypool Publishers |
| Strany | 163 |
| Rozmery | 191 × 235 × 9 mm · 319 g |
| Jazyk | Angličtina |