| 書(shū)目名稱 | Logic for Computer Scientists |
| 編輯 | Uwe Sch?ning |
| 視頻video | http://file.papertrans.cn/589/588004/588004.mp4 |
| 概述 | 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 |
| 叢書(shū)名稱 | Modern Birkh?user Classics |
| 圖書(shū)封面 |  |
| 描述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 01:54
發(fā)表于 2025-3-21 17:51:33
