ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic and structure

دانلود کتاب منطق و ساختار

Logic and structure

مشخصات کتاب

Logic and structure

دسته بندی: منطق
ویرایش: 4th ed 
نویسندگان:   
سری: Universitext 
ISBN (شابک) : 9783540208792, 3540208798 
ناشر: Springer-Verlag 
سال نشر: 2004 
تعداد صفحات: 275 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 31,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Logic and structure به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق و ساختار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق و ساختار

از بررسی‌ها: \"یک کتاب درسی خوب می‌تواند یک دوره سخنرانی را بسیار بهبود بخشد، به خصوص زمانی که مطالب سخنرانی شامل جزئیات فنی زیادی باشد. کتاب ون دالن، که موفقیت و محبوبیت آن را می‌توان از این مظنون کرد. علاقه ثابت به آن، شامل مقدمه ای کامل بر منطق کلاسیک ابتدایی به روشی آرام است، مناسب برای دانش آموزان ریاضی که فقط می خواهند منطق را بشناسند. ارائه همیشه به ارتباط منطق با سایر بخش های ریاضیات اشاره می کند. خواننده بلافاصله می بیند منطق "فقط شاخه دیگری از ریاضیات" است و چیزی مقدس تر نیست." Acta Scientiarum Mathematicarum، مجارستان


توضیحاتی درمورد کتاب به خارجی

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary



فهرست مطالب

Cover......Page 1
Title Page......Page 5
Preface......Page 7
Contents......Page 11
0 Introduction......Page 13
1.1 Propositions and Connectives......Page 17
1.2 Semantics......Page 27
1.3 Some Properties of Propositional logic......Page 33
1.4 Natural Deduction......Page 42
1.5 Completeness......Page 52
1.6 The Missing Connectives......Page 61
2.1 Quantifiers......Page 69
2.2 Structures......Page 70
2.3 The Language of a Similarity Type......Page 72
2.4 Semantics......Page 80
2.5 Simple Properties of Predicate Logic......Page 85
2.6 Identity......Page 93
2.7 Examples......Page 95
2.8 Natural Deduction......Page 103
2.9 Adding the Existential Quantifier......Page 108
2.10 Natural Deduction and Identity......Page 111
3.1 The Completeness Theorem......Page 115
3.2 Compactness and Skolem-Löwenheim......Page 123
3.3 Some Model Theory......Page 130
3.4 Skolem Functions or How to Enrich Your Language......Page 147
4 Second Order Logic......Page 155
5.1 Constructive Reasoning......Page 165
5.2 Intuitionistic Propositional and Predicate Logic......Page 168
5.3 Kripke Semantics......Page 174
5.4 Some Model Theory......Page 185
6.1 Cuts......Page 199
6.2 Normalization for Classical Logic......Page 204
6.3 Normalization for Intuitionistic Logic......Page 210
7.1 Primitive recursive functions......Page 221
7.2 Partial Recursive Functions......Page 230
7.3 Recursively enumerable sets......Page 242
7.4 Some arithmetic......Page 248
7.5 Representability......Page 254
7.6 Derivability......Page 258
7.7 Incompleteness......Page 263
Bibliography......Page 269
Index......Page 271




نظرات کاربران