دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Rene Cori, Daniel Lascar, Donald H. Pelletier سری: ISBN (شابک) : 0198500491, 9780198500490 ناشر: Oxford University Press سال نشر: 2000 تعداد صفحات: 358 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی: یک دوره با تمرین قسمت 1: محاسبه پیشنهاد، جبر بولی، محاسبه پیش بینی، قضایای تکمیلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نیاز به استدلال منطقی اساس همه ریاضیات را تشکیل می دهد و از این رو منطق ریاضی یکی از اساسی ترین موضوعاتی است که دانش آموزان مطالعه خواهند کرد. با فرض نداشتن دانش قبلی در مورد موضوع، این کتاب مقدمه ای در دسترس برای دانشجویان مقطع کارشناسی ارشد فراهم می کند.
The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students will study. Assuming no prior knowledge of the topic, this book provides an accessible introduction for advanced undergraduate students.
Cover......Page 1
Title......Page 3
Copyright......Page 6
Foreword to the Original French Edition......Page 7
Foreword to the English Edition......Page 9
Preface......Page 11
Contents......Page 13
Contents of Part II......Page 16
Notes to the reader......Page 19
Introduction......Page 23
1 Propositional Calculus......Page 29
2 Boolean Algebras......Page 85
3 Predicate Calculus......Page 134
4 The Completeness Theorems......Page 215
Solutions......Page 267
Bibliography......Page 352
Index......Page 354