東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logical foundations of computer science

Fejer, Peter A.

Linked to FindBook

Google Book

Amazon

博客來

Logical foundations of computer science

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logical foundations of computer science/ Peter A. Fejer & Dan A. Simovici.
Author:	Fejer, Peter A.
other author:	Simovici, Dan A.
Published:	Singapore :World Scientific, : c2025.,
Description:	1 online resource (2 v.)
[NT 15003449]:	Vol. 1. Propositional logic -- Vol. 2. First-order logic.
Subject:	Computer logic. -
Online resource:	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