Mathematics : A Minimal Introduction

ویرایش: Online-Ausg 
نویسندگان: Buium. Alexandru  
سری: EBL-Schweitzer 
ISBN (شابک) : 9781482216011, 1482216019 
ناشر: CRC Press 
سال نشر: 2013 
تعداد صفحات: 226 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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

جلد جلو؛ فهرست؛ پیشگفتار؛ معرفی؛ بخش 1. منطق پیش از ریاضی. فصل 1. زبان ها; فصل 2. فرازبان; فصل 3. نحو; فصل 4. معناشناسی; فصل 5. توتولوژی ها; فصل 6. شاهدان; فصل 7. نظریه ها; فصل 8. اثبات; فصل 9. آرگوت; فصل 10. استراتژی ها; فصل 11. مثالها; بخش 2. ریاضیات; فصل 12. ZFC; فصل 13. مجموعه ها; فصل 14. نقشه ها; فصل 15. روابط; فصل 16. عملیات; فصل 17. اعداد صحیح; فصل 18. استقراء; فصل 19. معقولات; فصل 20. ترکیبات; فصل 21. توالی; فصل 22. Reals; فصل 23. توپولوژی.

فصل 24. تخیل فصل 25. باقیمانده ها; فصل 26. p-adics; فصل 27. گروه ها; فصل 28. دستورات; فصل 29. بردارها; فصل 30. ماتریس; فصل 31. عوامل تعیین کننده; فصل 32. چند جمله ای ها; فصل 33. تطابق; فصل 34. خطوط; فصل 35. مخروط; فصل 36. مکعب; فصل 37. حدود; فصل 38. سری; فصل 39. مثلثات; فصل 40. یکپارچگی; فصل 41. عمل متقابل; فصل 42. حساب دیفرانسیل و انتگرال; فصل 43. متامدل ها; فصل 44. مقوله ها; فصل 45. کارگزاران; فصل 46. اهداف; بخش 3. منطق ریاضی; فصل 47. مدل ها; فصل 48. ناقص بودن.

زبان‌های منطقی پیش ریاضی زبان‌های فرازبان نحوی معناشناسی توتولوژی‌ها نظریه‌ها اثبات‌ها استراتژی‌های آرگوت مثال‌ها ریاضیات ZFC مجموعه‌ها نقشه‌ها روابط عملیات اعداد صحیح استقراء منطقی‌ها ترکیبیات ترکیبی‌ها توالی‌ها درمقایسه‌ایمحقیقی‌ها مکعب ها سری محدودیت های مثلثاتی یکپارچگی متقابل حساب دیفرانسیل و انتگرال متامدل ها مقوله ها تابع ها اهداف مدل های منطقی ریاضی ناقص بودن فهرست کتابشناسی. Read. >
چکیده: پیش جلد; فهرست؛ پیشگفتار؛ معرفی؛ بخش 1. منطق پیش از ریاضی. فصل 1. زبان ها; فصل 2. فرازبان; فصل 3. نحو; فصل 4. معناشناسی; فصل 5. توتولوژی ها; فصل 6. شاهدان; فصل 7. نظریه ها; فصل 8. اثبات; فصل 9. آرگوت; فصل 10. استراتژی ها; فصل 11. مثالها; بخش 2. ریاضیات; فصل 12. ZFC; فصل 13. مجموعه ها; فصل 14. نقشه ها; فصل 15. روابط; فصل 16. عملیات; فصل 17. اعداد صحیح; فصل 18. استقراء; فصل 19. معقولات; فصل 20. ترکیبات; فصل 21. توالی; فصل 22. Reals; فصل 23. توپولوژی.

فصل 24. تخیل فصل 25. باقیمانده ها; فصل 26. p-adics; فصل 27. گروه ها; فصل 28. دستورات; فصل 29. بردارها; فصل 30. ماتریس; فصل 31. عوامل تعیین کننده; فصل 32. چند جمله ای ها; فصل 33. تطابق; فصل 34. خطوط; فصل 35. مخروط; فصل 36. مکعب; فصل 37. حدود; فصل 38. سری; فصل 39. مثلثات; فصل 40. یکپارچگی; فصل 41. عمل متقابل; فصل 42. حساب دیفرانسیل و انتگرال; فصل 43. متامدل ها; فصل 44. مقوله ها; فصل 45. کارگزاران; فصل 46. اهداف; بخش 3. منطق ریاضی; فصل 47. مدل ها; فصل 48. ناقص بودن.

زبان‌های منطقی پیش ریاضی زبان‌های فرازبان نحوی معناشناسی توتولوژی‌ها نظریه‌ها اثبات‌ها استراتژی‌های آرگوت مثال‌ها ریاضیات ZFC مجموعه‌ها نقشه‌ها روابط عملیات اعداد صحیح استقراء منطقی‌ها ترکیبیات ترکیبی‌ها توالی‌ها درمقایسه‌ایمحقیقی‌ها مکعب ها سری محدودیت های مثلثاتی یکپارچگی متقابل حساب دیفرانسیل و انتگرال متامدل ها دسته بندی ها تابع ها اهداف مدل های منطق ریاضی ناقص بودن فهرست کتابشناسی

Front Cover; Contents; Preface; Introduction; Part 1. Pre-mathematical logic; Chapter 1. Languages; Chapter 2. Metalanguage; Chapter 3. Syntax; Chapter 4. Semantics; Chapter 5. Tautologies; Chapter 6. Witnesses; Chapter 7. Theories; Chapter 8. Proofs; Chapter 9. Argot; Chapter 10. Strategies; Chapter 11. Examples; Part 2. Mathematics; Chapter 12. ZFC; Chapter 13. Sets; Chapter 14. Maps; Chapter 15. Relations; Chapter 16. Operations; Chapter 17. Integers; Chapter 18. Induction; Chapter 19. Rationals; Chapter 20. Combinatorics; Chapter 21. Sequences; Chapter 22. Reals; Chapter 23. Topology.

Chapter 24. ImaginariesChapter 25. Residues; Chapter 26. p-adics; Chapter 27. Groups; Chapter 28. Orders; Chapter 29. Vectors; Chapter 30. Matrices; Chapter 31. Determinants; Chapter 32. Polynomials; Chapter 33. Congruences; Chapter 34. Lines; Chapter 35. Conics; Chapter 36. Cubics; Chapter 37. Limits; Chapter 38. Series; Chapter 39. Trigonometry; Chapter 40. Integrality; Chapter 41. Reciprocity; Chapter 42. Calculus; Chapter 43. Metamodels; Chapter 44. Categories; Chapter 45. Functors; Chapter 46. Objectives; Part 3. Mathematical logic; Chapter 47. Models; Chapter 48. Incompleteness.

Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index. Read more...
Abstract: Front Cover; Contents; Preface; Introduction; Part 1. Pre-mathematical logic; Chapter 1. Languages; Chapter 2. Metalanguage; Chapter 3. Syntax; Chapter 4. Semantics; Chapter 5. Tautologies; Chapter 6. Witnesses; Chapter 7. Theories; Chapter 8. Proofs; Chapter 9. Argot; Chapter 10. Strategies; Chapter 11. Examples; Part 2. Mathematics; Chapter 12. ZFC; Chapter 13. Sets; Chapter 14. Maps; Chapter 15. Relations; Chapter 16. Operations; Chapter 17. Integers; Chapter 18. Induction; Chapter 19. Rationals; Chapter 20. Combinatorics; Chapter 21. Sequences; Chapter 22. Reals; Chapter 23. Topology.

Chapter 24. ImaginariesChapter 25. Residues; Chapter 26. p-adics; Chapter 27. Groups; Chapter 28. Orders; Chapter 29. Vectors; Chapter 30. Matrices; Chapter 31. Determinants; Chapter 32. Polynomials; Chapter 33. Congruences; Chapter 34. Lines; Chapter 35. Conics; Chapter 36. Cubics; Chapter 37. Limits; Chapter 38. Series; Chapter 39. Trigonometry; Chapter 40. Integrality; Chapter 41. Reciprocity; Chapter 42. Calculus; Chapter 43. Metamodels; Chapter 44. Categories; Chapter 45. Functors; Chapter 46. Objectives; Part 3. Mathematical logic; Chapter 47. Models; Chapter 48. Incompleteness.

Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index