東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ null ]

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Logical foundations of computer science

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logical foundations of computer science/ Peter A. Fejer & Dan A. Simovici.
作者:	Fejer, Peter A.
其他作者:	Simovici, Dan A.
出版者:	Singapore :World Scientific, : c2025.,
面頁冊數:	1 online resource (2 v.)
內容註:	Vol. 1. Propositional logic -- Vol. 2. First-order logic.
標題:	Computer logic. -
電子資源:	https://www.worldscientific.com/worldscibooks/10.1142/13714#t=toc
ISBN:	9789811289347

Logical foundations of computer science
Fejer, Peter A.

Logical foundations of computer science[electronic resource] /Peter A. Fejer & Dan A. Simovici. - 1st ed. - Singapore :World Scientific,c2025. - 1 online resource (2 v.)

Includes bibliographical references and index.

Vol. 1. Propositional logic -- Vol. 2. First-order logic.

"Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail. The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume"--

ISBN: 9789811289347Subjects--Topical Terms:

840463
Computer logic.

LC Class. No.: QA76.9.L63 / F45 2024

Dewey Class. No.: 005.101/5113

Logical foundations of computer science
LDR:02155cmm a2200325 a 4500 001 2416513
005 20251017072503.0
006 m o d
007 cr cnu---unuuu
008 260303s2025 si ob 001 0 eng
020 $a 9789811289347 $q (set ; $q ebook for institutions)
020 $a 9789811289354 $q (set ; $q ebook for individuals)
020 $z 9789811287657 $q (v.1 ; $q hardcover)
020 $z 9789811287664 $q (v.2 ; $q hardcover)
020 $z 9789811289361 $q (set ; $q hardcover)
035 $a 9789811289347
040 $a DLC $b eng $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA76.9.L63 $b F45 2024
082 0 0 $a 005.101/5113 $2 23
100 1 $a Fejer, Peter A. $3 3795244
245 1 0 $a Logical foundations of computer science $h [electronic resource] / $c Peter A. Fejer & Dan A. Simovici.
250 $a 1st ed.
260 $a Singapore : $b World Scientific, $c c2025.
300 $a 1 online resource (2 v.)
504 $a Includes bibliographical references and index.
505 0 $a Vol. 1. Propositional logic -- Vol. 2. First-order logic.
520 $a "Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail. The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume"-- $c Provided by publisher.
588 $a Description based on print version record.
650 0 $a Computer logic. $3 840463
700 1 $a Simovici, Dan A. $3 908207
740 0 2 $a Propositional logic.
740 0 2 $a First-order logic.
856 4 0 $u https://www.worldscientific.com/worldscibooks/10.1142/13714#t=toc