PRISTINE !  Modern Birkhäuser Classics.: Logic for Computer Scientists by Uwe...

kaegogi
（525）
賣家的其他物品
聯絡賣家
US $34.95
大約HK$ 271.90
或講價
狀況：
很新
運送：
免費 USPS Media MailTM.
所在地：Dayton, Ohio, 美國
送達日期：
估計於 10月3日 (星期五)至 10月9日 (星期四)之間送達 運送地點 94104
估計運送時間是透過我們的獨家工具，根據買家與物品所在地的距離、所選的運送服務、賣家的運送紀錄及其他因素，計算大概的時間。送達時間會因時而異，尤其是節日。
退貨：
不可退貨.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：304841408656

物品細節

物品狀況
很新: 狀況完好的書籍。封面發亮且沒有損壞，精裝本書籍含書皮。不存在缺頁或內頁受損，無褶皺或破損，同時也沒有對文字標注/標記，或在留白處書寫內容。內封面上標記極少。書籍的磨損和破損程度也很低。 查看所有物品狀況定義會在新視窗或分頁中開啟
Subject Area
Scientific Computing
Book Title
Logic for Computer Scientists
Subject
Logic
ISBN
9780817647629
類別

關於產品

Product Identifiers

Publisher
Birkhäuser Boston
ISBN-10
0817647627
ISBN-13
9780817647629
eBay Product ID (ePID)
109121561

Product Key Features

Number of Pages
IX, 168 Pages
Publication Name
Logic for Computer Scientists
Language
English
Publication Year
2008
Subject
Computer Science, Logic, Logic Design
Type
Textbook
Author
Uwe Schöning
Subject Area
Mathematics, Computers
Series
Modern Birkhäuser Classics Ser.
Format
Trade Paperback

Dimensions

Item Height
0.2 in
Item Weight
16 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
Reviews
"This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists…. Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline…. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow…. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." -SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." -Mathematical Reviews "This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." -Zentralblatt MATH, "This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline.... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow.... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." --SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." --Mathematical Reviews "This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." --Zentralblatt MATH, "This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientistsa ]. SchAning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storylinea ]. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to followa ]. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." a "SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." a "Mathematical Reviews "This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." a "Zentralblatt MATH, "This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline.... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow.... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level."   --SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming."   --Mathematical Reviews "This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence."   --Zentralblatt MATH, "This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists…. Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline…. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow…. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." -SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." -Mathematical Reviews"This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." -Zentralblatt MATH, "This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline.... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow.... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level." --SIGACT News "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." --Mathematical Reviews "This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence." --Zentralblatt MATH
Dewey Edition
23
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
511.3
Synopsis
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientistsa ]. SchAning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storylinea ]. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to followa ]. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level. a" SIGACT News Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. a" Mathematical Reviews This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a betterunderstanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence. a" Zentralblatt MATH, This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists., This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises., 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 to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible.
LC Classification Number
QA267-268.5

賣家提供的物品說明

賣家簡介

kaegogi

100% 正面信用評價•已賣出 96 件物品

加入日期：5月 2000
賣家的其他物品聯絡

賣家信用評價 （42）

全部評級
正面
中立
負面
  • r***f (344)- 買家留下的信用評價。
    超過 1 年前
    購買已獲認證
    Great vendor! usps lost and destroyed the package but the vendor intercepted and is fighting with them.
    NEW & SEALED !! ASUS RT-AC1900P PERFORMANCE Dual Band Wi-Fi Router **SHIPS FREE（#305515845053）
  • m***0 (103)- 買家留下的信用評價。
    超過 1 年前
    購買已獲認證
    Dvd's shipped out quickly and arrived safely. I haven't viewed the dvds yet, but they look to be in perfect condition.
    Lost: The Complete Final Season 6 (DVD 5-Disc Set) SILVER Jacket & Bonus Disc !!（#305508416787）
  • s***1 (265)- 買家留下的信用評價。
    超過 1 年前
    購買已獲認證
    Packaged beautifully, extremely fast shipping, dvd is in excellent condition!! Hope to buy from this seller again!! A++++++++++++++++++++++
    @@ NEW & SEALED !! LOST: The Complete Sixth (Final) Season - 5-DVD Set 2010 @@（#305508682417）
查看所有信用評價