دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: Dover ed نویسندگان: Stephen Cole Kleene سری: ISBN (شابک) : 0486425339, 9780486425337 ناشر: Dover Publications سال نشر: 2002 تعداد صفحات: 412 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
دانشجویان مقطع کارشناسی بدون آموزش قبلی در کلاس درس در منطق
ریاضی از این متن چند قسمتی یکنواخت توسط یکی از بزرگترین مقامات
قرن ها در این موضوع بهره خواهند برد. بخش اول یک مرور ابتدایی
اما کامل از منطق ریاضی مرتبه اول ارائه می دهد. درمان با یک روش
واحد برای فرمول بندی منطق متوقف نمی شود. دانشآموزان در مورد
تکنیکهای مختلفی آموزش میبینند، ابتدا نظریه مدل را میآموزند
(جدول حقیقت)، سپس نظریه اثبات نوع هیلبرت، و نظریه اثبات که از
طریق قوانین مشتق شده به کار میرود. قسمت دوم مطالبی را تکمیل می
کند که در قسمت اول پوشش داده شده است و برخی از ایده های جدیدتر
و نتایج عمیق تر تحقیقات منطقی در قرن بیستم را معرفی می کند. فصل
های بعدی مطالعه نظریه اعداد رسمی را با بررسی نتایج معروف ناقص
بودن و غیرقابل تصمیم گیری گودل، چرچ، تورینگ و دیگران معرفی می
کند. تاکید در فصل پایانی با بررسی قضیه کامل بودن گودل، قضیه
جنتزن، پارادوکس اسکولم و مدلهای غیراستاندارد حساب و سایر قضایا
به منطق بازمیگردد. انتشار مجدد بدون خلاصه نسخه منتشر شده توسط
John Wiley & Sons, Inc. New York, 1967. مقدمه. کتابشناسی -
فهرست کتب. قضیه و اعداد لما: صفحات. فهرست اصول. نمادها و
نمادها. فهرست.
Undergraduate students with no prior classroom instruction in
mathematical logic will benefit from this evenhanded multipart
text by one of the centuries greatest authorities on the
subject. Part I offers an elementary but thorough overview of
mathematical logic of first order. The treatment does not stop
with a single method of formulating logic; students receive
instruction in a variety of techniques, first learning model
theory (truth tables), then Hilbert-type proof theory, and
proof theory handled through derived rules. Part II supplements
the material covered in Part I and introduces some of the newer
ideas and the more profound results of logical research in the
twentieth century. Subsequent chapters introduce the study of
formal number theory, with surveys of the famous incompleteness
and undecidability results of Gödel, Church, Turing, and
others. The emphasis in the final chapter reverts to logic,
with examinations of Gödel's completeness theorem, Gentzen's
theorem, Skolem's paradox and nonstandard models of arithmetic,
and other theorems. Unabridged republication of the edition
published by John Wiley & Sons, Inc. New York, 1967. Preface.
Bibliography. Theorem and Lemma Numbers: Pages. List of
Postulates. Symbols and Notations. Index.