| 书目名称 | Logic for Computer Scientists |
| 编辑 | Uwe Schöning |
| 视频video | |
| 概述 | A more affordable softcover edition of a classic text.Gives a good introduction to logic for those with a computer science concentration.Replete with illustrative examples and exercises.Useful as a co |
| 丛书名称 | Modern Birkhäuser Classics |
| 图书封面 |  |
| 描述 | By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want t |
| 出版日期 | Textbook 2008 |
| 关键词 | Resolution; artificial intelligence; automated deduction; automatic reduction; computer science; formal l |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-8176-4763-6 |
| isbn_softcover | 978-0-8176-4762-9 |
| isbn_ebook | 978-0-8176-4763-6Series ISSN 2197-1803 Series E-ISSN 2197-1811 |
| issn_series | 2197-1803 |
| copyright | Springer Science+Business Media New York 2008 |
发表于 2025-3-21 17:51:33
