ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Classical First-Order Logic

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

Classical First-Order Logic

مشخصات کتاب

Classical First-Order Logic

ویرایش:  
نویسندگان: ,   
سری: Elements in Philosophy and Logic 
ISBN (شابک) : 1108987001, 9781108987004 
ناشر: Cambridge University Press 
سال نشر: 2022 
تعداد صفحات: 75
[80] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 Mb

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



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

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


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

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


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

اغلب گفته می شود که وقتی منطقی استدلال می کنند، خوب استدلال می کنند. تلاش‌های زیادی برای بیان اینکه استدلال منطقی چیست پیشنهاد شده است، اما یکی از سیستم‌های پیشنهادی معمول، منطق کلاسیک درجه اول است. این عنصر اصول اولیه منطق کلاسیک مرتبه اول را بررسی می کند و برخی از مسائل فلسفی اطراف را مورد بحث قرار می دهد. نیمه اول عنصر یک زبان برای سیستم و همچنین یک نظریه اثبات و نظریه مدل ایجاد می کند. ما قضایایی در مورد سیستمی که توسعه داده‌ایم، مانند خوانایی منحصربه‌فرد و لم Lindenbaum ارائه می‌کنیم. ما همچنین در مورد متا تئوری سیستم بحث می کنیم و چندین نتیجه از جمله اثبات قضایای صحت و کامل بودن را ارائه می دهیم. نیمه دوم عنصر منطق کلاسیک مرتبه اول را با سایر سیستم ها مقایسه می کند: منطق مرتبه بالاتر کلاسیک، منطق شهودی و چندین منطق ناسازگار که قانون ex falso quodlibet را رد می کنند.


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

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. We provide theorems about the system we developed, such as unique readability and the Lindenbaum lemma. We also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.





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

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