Conte aos seus amigos sobre este item:
Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition
Michael Genesereth
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition
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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1 de agosto de 2013 |
| ISBN13 | 9781627052474 |
| Editoras | Morgan & Claypool Publishers |
| Páginas | 163 |
| Dimensões | 191 × 235 × 9 mm · 319 g |
| Idioma | English |
Mostrar tudo
Mais por Michael Genesereth
![Cover for Michael Genesereth · Introduction to Logic, Third Edition - Synthesis Lectures on Computer Science (Paperback Book) [3 Revised edition] (2016)](https://imusic.b-cdn.net/images/item/original/739/9783031006739.jpg?michael-genesereth-2016-introduction-to-logic-third-edition-synthesis-lectures-on-computer-science-paperback-book&class=scaled&v=1749408559)
Ver tudo de Michael Genesereth ( por exemplo Paperback Book e Hardcover Book )