Pastāsti draugiem par šo preci:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Michael Genesereth izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2013. gada 1. augusts |
| ISBN13 | 9781627052474 |
| Izdevēji | Morgan & Claypool Publishers |
| Lapas | 163 |
| Izmēri | 191 × 235 × 9 mm · 319 g |
| Valoda | Angļu |
Vairāk no Michael Genesereth
Rādīt visu
Vairāk no tā paša izdevēja
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Paperback Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/110/9781643277110.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-iop-concise-physics-paperback-book&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Hardcover Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/158/9781643277158.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-hardcover-book&class=scaled&v=1604028982)
Skatīt visus Michael Genesereth ( piem., Paperback Book un Hardcover Book )