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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Course on Mathematical Logic

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

مشخصات کتاب

A Course on Mathematical Logic

دسته بندی: منطق
ویرایش: 1 
نویسندگان: S. M. Srivastava  
سری: Universitext 
ISBN (شابک) : 0387762752, 9780387762777 
ناشر: Springer New York 
سال نشر: 2008 
تعداد صفحات: 157 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 892 کیلوبایت

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

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

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

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

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

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

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

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

This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn G?del’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability. The main prerequisite for this book is the willingness to work at a reasonable level of mathematical rigor and generality.

فهرست مطالب

Front Matter....Pages i-x
Syntax of First-Order Logic....Pages 1-14
Semantics of First-Order Languages....Pages 15-28
Propositional Logic....Pages 29-44
Proof and Metatheorems in First-Order Logic....Pages 45-64
Completeness Theorem and Model Theory....Pages 65-81
Recursive Functions and Arithmetization of Theories....Pages 83-106
Incompleteness Theorems and Recursion Theory....Pages 107-134
Back Matter....Pages 136-140