Articoli correlati a Logic for Applications
Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for many areas of applications in computer science and artificial intelligence. Topics covered include soundness, completeness, and undecidability for classical, nonclassical, and computation-based logical systems as well as compactness and the theorems of Herbrand and Skolem-Lowenheim. In context of PROLOG, termination conditions, negation as failure, and the relations to nonmonotonic logic are all discussed.
This book is an ideal textbook for presenting classical and non-classical logic as well as logic programming to advanced undergraduate or beginning graduate students in computer science or mathematics. It contains a historical appendix and an extensive list of references for further studies in the field. No advanced mathematical background is required.
This book is an ideal textbook for presenting classical and non-classical logic as well as logic programming to advanced undergraduate or beginning graduate students in computer science or mathematics. It contains a historical appendix and an extensive list of references for further studies in the field. No advanced mathematical background is required.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description:
Book by Nerode Anil Shore Richard A
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Verlag
- Data di pubblicazione1993
- ISBN 10 0387941290
- ISBN 13 9780387941295
- RilegaturaCopertina rigida
- Numero edizione1
- Numero di pagine382
- Valutazione libreria
Altre edizioni note dello stesso titolo
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Logic for Applications (Texts Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Good. Codice articolo 5D4000009HOR_ns
Compra usato
EUR 23,68
Convertire valuta
Foto dell'editore
Logic for Applications
Editore:
Springer Verlag, NY
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Prima edizione
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: Very Good. First Edition. Texts & Monographs In Computer Science; 6.5 X 0.75 X 9.75 inches; 365 pages. Codice articolo 322333
Compra usato
EUR 24,15
Convertire valuta
Foto dell'editore
Logic for Applications (Texts & Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. Codice articolo 0387941290-2-2
Compra usato
EUR 34,24
Convertire valuta
Foto dell'editore
Logic for Applications (Texts & Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. Codice articolo 0387941290-2-3
Compra usato
EUR 34,24
Convertire valuta
Foto dell'editore
Logic for Applications (Texts & Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within. Codice articolo bk0387941290xvz189zvxgdd
Compra usato
EUR 34,25
Convertire valuta
Foto dell'editore
Logic for Applications (Texts & Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book. Codice articolo 24-0387941290-G
Compra usato
EUR 34,26
Convertire valuta
Foto dell'editore
Logic for Applications (Texts & Monographs in Computer Science)
Editore:
Springer Verlag
(1993)
ISBN 10: 0387941290
ISBN 13: 9780387941295
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within. Codice articolo bk0387941290xvz189zvxacp
Compra usato
EUR 34,40
Convertire valuta