Vertel uw vrienden over dit artikel:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van Michael Genesereth
Voeg toe aan uw iMusic-verlanglijst
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 augustus 2013 |
| ISBN13 | 9781627052474 |
| Uitgevers | Morgan & Claypool Publishers |
| Pagina's | 163 |
| Afmetingen | 191 × 235 × 9 mm · 319 g |
| Taal en grammatica | Engels |
Meer door Michael Genesereth
Alles tonenMeer van dezelfde uitgever
Bekijk alles van Michael Genesereth