دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Kaye R. سری: Oxford Logic Guides 15 ISBN (شابک) : 0805841369, 0805841377 ناشر: Oxford University Press سال نشر: 1991 تعداد صفحات: 302 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
در صورت تبدیل فایل کتاب Models of Peano Arithmetic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل های حساب پیانو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مدلهای غیر استاندارد حسابی از طریق وجود اعداد صحیح نامتناهی و ویژگیهای مختلفی که از اعداد صحیح محدود به ارث میبرند، مورد توجه ریاضیدانان هستند. از زمان معرفی آنها در دهه 1930، آنها نقش مهمی در نظریه مدل و در ترکیبات از طریق نتایج مستقل مانند قضیه پاریس-هرینگتون ایفا کردند. این کتاب مقدمهای بر این پیشرفتها است و بر تعامل بین نظریه مرتبه اول، جنبههای نظری بازگشتی و ویژگیهای ساختاری این مدلها تاکید میکند. پیش نیازها برای درک متن به حداقل رسیده است، اینها یک پایه اساسی در نظریه مدل ابتدایی و آشنایی با مفاهیم بازگشتی، بازگشتی اولیه و r.e است. مجموعه ها در نتیجه، این کتاب برای دانشجویان کارشناسی ارشد مناسب است که برای اولین بار به این موضوع می پردازند، و تعدادی تمرین با درجات مختلف دشواری به درک بیشتر خواننده کمک می کند.
Non-standard models of arithmetic are of interest to mathematicians through the presence of infinite integers and the various properties they inherit from the finite integers. Since their introduction in the 1930s, they have come to play an important role in model theory, and in combinatorics through independence results such as the Paris-Harrington theorem. This book is an introduction to these developments, and stresses the interplay between the first-order theory, recursion-theoretic aspects, and the structural properties of these models. Prerequisites for an understanding of the text have been kept to a minimum, these being a basic grounding in elementary model theory and a familiarity with the notions of recursive, primitive recursive, and r.e. sets. Consequently, the book is suitable for postgraduate students coming to the subject for the first time, and a number of exercises of varying degrees of difficulty will help to further the reader's understanding.