Introduction to Logic - Synthesis Lectures on Computer Science - Michael Genesereth - Libros - Morgan & Claypool Publishers - 9781627052474 - 1 de agosto de 2013
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de agosto de 2013
ISBN13 9781627052474
Editores Morgan & Claypool Publishers
Páginas 163
Dimensiones 191 × 235 × 9 mm   ·   319 g
Lengua Inglés  

Mas por Michael Genesereth

Mostrar todo

Ver todo de Michael Genesereth ( Ej. Paperback Book y Hardcover Book )