國立虎尾科技大學 |

Logical foundations of computer science

Record Type:	Language materials, printed : 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.)
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:

786340
Computer logic.

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

Dewey Class. No.: 005.101/5113

Logical foundations of computer science
LDR:02155cam a2200325 a 4500 001 1168265
005 20251017072503.0
006 m o d
007 cr cnu---unuuu
008 251229s2025 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 1497640
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 786340
700 1 $a Simovici, Dan A. $3 682180
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