Introduction to Logic - Synthesis Lectures on Computer Science - Michael Genesereth - Kirjat - Morgan & Claypool Publishers - 9781627052474 - torstai 1. elokuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition

Michael Genesereth

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 1. elokuuta 2013
ISBN13 9781627052474
Tuottaja Morgan & Claypool Publishers
Sivujen määrä 163
Mitta 191 × 235 × 9 mm   ·   319 g
Kieli English  
Näytä kaikki

Lisää tuotteita Michael Genesereth

Katso kaikki joka sisältää Michael Genesereth ( Esim. Paperback Book Ja Hardcover Book )