عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
ويژگيها
(set; eISBN)
شابک
9789811289347
شماره کتابشناسی ملی
شماره
E4587
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logical foundations of computer science
نام عام مواد
[electronic resources: book]
نام نخستين پديدآور
Peter A. Fejer & Dan A. Simovici.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Hackensack, NJ
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
2024.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (2 in 1 volume)
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Vol. 1. Propositional logic -- Vol. 2. Predicate Logic
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
"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"--
یادداشتهای مربوط به نوع منابع الکترونیکی
متن يادداشت
PDF file.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer logic.
رده بندی ديویی
ويراست
23/eng/20241017
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Fejer, Peter A.,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Simovici, Dan A.
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of College of Science
تاريخ عمليات
20241017073717.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
UT_SCI_BL_DB_1004914_0001.pdf
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
278840
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
