دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: First Edition نویسندگان: Thomas Forster سری: London Mathematical Society Student Texts ISBN (شابک) : 0521533619, 9780521533614 ناشر: Cambridge University Press سال نشر: 2003 تعداد صفحات: 245 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Logic, Induction and Sets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، استقرا و مجموعه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ملاحظات فلسفی، که اغلب نادیده گرفته می شوند یا به صورت تصادفی با آنها برخورد می شود، در این مقدمه به دقت مورد توجه قرار گرفته است. توماس فورستر مفهوم مجموعههای تعریف شده استقرایی (نوع دادههای بازگشتی) را در مرکز توضیح خود قرار میدهد که منجر به تحلیلی اصلی از موضوعات به خوبی تثبیت شده میشود. این ارائه نکات دشوار را نشان می دهد و شامل تمرینات زیادی است. دانش قبلی کمی از منطق مورد نیاز است و فقط دانش ریاضیات استاندارد در مقطع کارشناسی فرض می شود.
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.