دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات کاربردی ویرایش: نویسندگان: Angelo Margaris سری: ISBN (شابک) : 0486662691, 9780486662695 ناشر: سال نشر: 1990 تعداد صفحات: 222 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب First Order Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی مرتبه اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مقدمه خوب نوشته شده در سطح کارشناسی با منطق نمادین و نظریه مجموعه ها آغاز می شود و پس از آن محاسبات بیانیه و حساب محمول ارائه می شود. نظریه های مرتبه اول با تأکید ویژه بر نظریه اعداد با جزئیات مورد بحث قرار می گیرند. پس از بحث در مورد صدق و مدل ها، قضیه کامل بودن اثبات می شود. \"... یک متن عالی.\" - بررسی های ریاضی. تمرینات کتابشناسی - فهرست کتب.
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." — Mathematical Reviews. Exercises. Bibliography.