دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 4th ed نویسندگان: Dirk van Dalen. Dirk van Dalen سری: Universitext ISBN (شابک) : 9783540208792, 3540208798 ناشر: Springer-Verlag سال نشر: 2004 تعداد صفحات: 275 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب 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