Conte aos seus amigos sobre este item:
Introduction to Logic - Synthesis Lectures on Computer Science Michael Genesereth 2 Revised edition
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Michael Genesereth
Adicione à sua lista de desejos do 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í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 | Inglês |