ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب First-Order Logic and Automated Theorem Proving

دانلود کتاب منطق مرتبه اول و اثبات قضیه خودکار

First-Order Logic and Automated Theorem Proving

مشخصات کتاب

First-Order Logic and Automated Theorem Proving

دسته بندی: منطق
ویرایش: 1st 
نویسندگان:   
سری: Texts and monographs in computer science 
ISBN (شابک) : 9783540972334, 3540972331 
ناشر: Springer 
سال نشر: 1990 
تعداد صفحات: 262 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 49,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب First-Order Logic and Automated Theorem Proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق مرتبه اول و اثبات قضیه خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق مرتبه اول و اثبات قضیه خودکار

این تک نگاری در مورد منطق کلاسیک مفاهیم اساسی را ارائه می دهد و به یک سبک ریاضی دقیق منجر می شود. برنامه های کاربردی برای اثبات قضیه خودکار در نظر گرفته شده و برنامه های قابل استفاده در Prolog ارائه شده است. این مطالب می تواند هم به عنوان اولین متن در منطق رسمی و هم به عنوان مقدمه ای بر مسائل اتوماسیون مورد استفاده قرار گیرد و برای علاقه مندان به علوم کامپیوتر و ریاضیات در مقطع کارشناسی ارشد در نظر گرفته شده است. کتاب با منطق گزاره ای شروع می شود، سپس منطق مرتبه اول و در نهایت منطق مرتبه اول را با برابری می پردازد. در هر مورد، ارائه اولیه معنایی است: ارزش‌گذاری‌های بولی برای منطق گزاره‌ای، مدل‌هایی برای منطق مرتبه اول، و مدل‌های عادی وقتی برابری اضافه می‌شود. این موضوع موضوعات مورد نظر را مستقل از انتخاب خاصی از مکانیسم اثبات تعریف می کند. سپس انواع مختلفی از روش های اثبات معرفی می شوند: تابلو، وضوح، استنتاج طبیعی، ترتیب ژنتزن و سیستم های بدیهی. مسائل کامل بودن در یک قضیه وجود مدل متمرکز شده‌اند، که پوشش انواع روش‌های اثبات را بدون تکرار جزئیات اجازه می‌دهد. علاوه بر این، نتایجی مانند فشردگی، درون یابی، و قضیه تعریف پذیری بث به راحتی ایجاد می شوند. پیاده‌سازی‌های اثبات‌کننده قضیه تابلویی در پرولوگ ارائه می‌شوند و وضوح به عنوان یک پروژه برای دانش‌آموز باقی می‌ماند.


توضیحاتی درمورد کتاب به خارجی

This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a first text in formal logic and as an introduction to automation issues, and is intended for those interested in computer science and mathematics at the beginning graduate level. The book begins with propositional logic, then treats first-order logic, and finally, first-order logic with equality. In each case the initial presentation is semantic: Boolean valuations for propositional logic, models for first-order logic, and normal models when equality is added. This defines the intended subjects independently of a particular choice of proof mechanism. Then many kinds of proof procedures are introduced: tableau, resolution, natural deduction, Gentzen sequent and axiom systems. Completeness issues are centered in a model existence theorem, which permits the coverage of a variety of proof procedures without repetition of detail. In addition, results such as compactness, interpolation, and the Beth definability theorem are easily established. Implementations of tableau theorem provers are given in Prolog, and resolution is left as a project for the student.



فهرست مطالب

Cover......Page cover.djvu
Front Matter......Page _006.djvu
Preface......Page _009.djvu
Contents......Page _013.djvu
List of Tables......Page _016.djvu
List of Figures......Page _017.djvu
1 Background......Page 001.djvu
2 Propositional Logic......Page 008.djvu
3 Semantic Tableaux and Resolution ......Page 036.djvu
4 Other Propositional Proof Procedures ......Page 070.djvu
5 First-Order Logic......Page 097.djvu
6 First-Order Proof Procedures ......Page 126.djvu
7 Implementing Tableaux and Resolution ......Page 139.djvu
8 Equality ......Page 194.djvu
References ......Page 233.djvu
Index ......Page 237.djvu
Back Cover......Page back.djvu




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی