عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(set; eISBN)
(Number (ISBN
9789811289347
NATIONAL BIBLIOGRAPHY NUMBER
Number
E4587
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical foundations of computer science
General Material Designation
[electronic resources: book]
First Statement of Responsibility
Peter A. Fejer & Dan A. Simovici.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Hackensack, NJ
Name of Publisher, Distributor, etc.
World Scientific
Date of Publication, Distribution, etc.
2024.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (2 in 1 volume)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Vol. 1. Propositional logic -- Vol. 2. Predicate Logic
0
SUMMARY OR ABSTRACT
Text of Note
"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"--
TYPE OF ELECTRONIC RESOURCE NOTE
Text of Note
PDF file.
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer logic.
DEWEY DECIMAL CLASSIFICATION
Edition
23/eng/20241017
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Fejer, Peter A.,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Simovici, Dan A.
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of College of Science
Date of Transaction
20241017073717.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
UT_SCI_BL_DB_1004914_0001.pdf
e
BL
278840
a
Y
