ورود به حساب

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

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

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

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

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

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


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

دسته بندی: منطق
ویرایش: 2 
نویسندگان:   
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 9781461275152 
ناشر: Springer 
سال نشر: 1996 
تعداد صفحات: 338 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


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

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


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

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


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

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro­ gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo­ rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self­ evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.



فهرست مطالب

Front Matter....Pages i-xvii
Background....Pages 1-8
Propositional Logic....Pages 9-39
Semantic Tableaux and Resolution....Pages 41-76
Other Propositional Proof Procedures....Pages 77-107
First-Order Logic....Pages 109-136
First-Order Proof Procedures....Pages 137-150
Implementing Tableaux and Resolution....Pages 151-201
Further First-Order Features....Pages 203-269
Equality....Pages 271-313
Back Matter....Pages 315-326




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

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