國立高雄大學圖資館 |

Language: English

Back

Logical foundations of computer science

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logical foundations of computer sciencePeter 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$q(set ;$qebook for institutions)

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: 9789811289347$q(set ;$qebook for institutions)Subjects--Topical Terms:

199471
Computer logic.

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

Dewey Class. No.: 005.101/5113

Logical foundations of computer science
LDR:02156cmm a2200325 a 4500 001 682269
005 20251017072503.0
006 m o d
007 cr cnu---unuuu
008 251202s2025 si ob 001 0 eng
020 $a 9789811289347$q(set ;$qebook for institutions)
020 $a 9789811289354$q(set ;$qebook for individuals)
020 $z 9789811287657$q(v.1 ;$qhardcover)
020 $z 9789811287664$q(v.2 ;$qhardcover)
020 $z 9789811289361$q(set ;$qhardcover)
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 995904
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 199471
700 1 $a Simovici, Dan A. $3 286533
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