ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematical Logic

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

Mathematical Logic

مشخصات کتاب

Mathematical Logic

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان: , ,   
سری: Undergraduate Texts in Mathematics 
ISBN (شابک) : 9781475723571, 9781475723557 
ناشر: Springer 
سال نشر: 1994 
تعداد صفحات: 301 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


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

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


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



این مقدمه بر منطق مرتبه اول به وضوح نقش منطق مرتبه اول را در مبانی ریاضیات، به ویژه دو سؤال اساسی محدوده روش بدیهی و اثبات قضیه توسط ماشین ها نشان می دهد. این شامل چندین موضوع پیشرفته است که معمولاً در متون مقدماتی به آن پرداخته نمی شود، مانند توصیف فرایسه از هم ارزی ابتدایی، قضیه لیندستروم در مورد حداکثر بودن منطق مرتبه اول، و مبانی برنامه نویسی منطقی.


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

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.



فهرست مطالب

Front Matter....Pages i-x
Front Matter....Pages 1-1
Introduction....Pages 3-9
Syntax of First-Order Languages....Pages 11-25
Semantics of First-Order Languages....Pages 27-57
A Sequent Calculus....Pages 59-74
The Completeness Theorem....Pages 75-85
The Löwenheim-Skolem Theorem and the Compactness Theorem....Pages 87-98
The Scope of First-Order Logic....Pages 99-114
Syntactic Interpretations and Normal Forms....Pages 115-133
Front Matter....Pages 135-135
Extensions of First-Order Logic....Pages 137-149
Limitations of the Formal Method....Pages 151-187
Free Models and Logic Programming....Pages 189-241
An Algebraic Characterization of Elementary Equivalence....Pages 243-259
Lindström’s Theorems....Pages 261-276
Back Matter....Pages 277-290




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

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