اکسپرس 24
کتاب منطق پیشرفته: اصول پئانو و سامانه‌های راسل

کتاب منطق پیشرفته: اصول پئانو و سامانه‌های راسل

تگ‌ها: Bertrand Russell Peano Axioms اصول پئانو سامانه‌های راسل فلسفه منطق مبانی منطق منطق پیشرفته منطق ریاضی منطق صوری نظریه مجموعه‌ها

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره منطق پیشرفته: اصول پئانو و سامانه‌های راسل

موضوع کلی: منطق ریاضی

موضوع میانی: مبانی نظری منطق و نظریه مجموعه‌ها

📋 سرفصل‌های دوره

  • 1. مقدمه‌ای بر منطق ریاضی
  • 2. تاریخچه منطق ریاضی
  • 3. نمادگرایی در منطق
  • 4. جداول درستی و کاربردهای آن‌ها
  • 5. قواعد استنتاج
  • 6. استنتاج قیاسی و استقرایی
  • 7. مجموعه‌ها و عملیات روی آن‌ها
  • 8. مجموعه‌های توانی
  • 9. نسبت‌ها و توابع
  • 10. مقدمه‌ای بر نظریه اعداد
  • 11. اصل موضوعات پئانو
  • 12. اثبات استقراء ریاضی
  • 13. تعریف اعداد طبیعی با استفاده از اصل پئانو
  • 14. عملگرهای ریاضی و خواص آن‌ها
  • 15. قضیه اساسی حساب
  • 16. منطق گزاره‌ای مرتبه اول
  • 17. کمّی‌سازها و گزاره‌های کمّی
  • 18. استنتاج در منطق مرتبه اول
  • 19. نمایش روابط با استفاده از منطق مرتبه اول
  • 20. مقدمه‌ای بر نظریه مجموعه‌ها
  • 21. اصل انتخاب
  • 22. مجموعه‌های نامتناهی
  • 23. مجموعه‌های شمارا و نامشمول
  • 24. پارادوکس راسل
  • 25. نظریه انواع راسل
  • 26. توصیفات معین و نامعین
  • 27. منطق مرتبه دوم
  • 28. اصول موضوعه نظریه مجموعه‌ها
  • 29. مقدمه‌ای بر نظریه مدل‌ها
  • 30. ساختارها و تفسیرها
  • 31. کامل بودن و قاطعیت
  • 32. قضیه جمع‌پذیری
  • 33. قضیه Löwenheim–Skolem
  • 34. مقدمه‌ای بر نظریه اثبات
  • 35. اثبات‌های طبیعی
  • 36. منطق موضعی
  • 37. قضیه ناکاملی گودل
  • 38. مقدمه‌ای بر حساب لامبدا
  • 39. اصول حساب لامبدا
  • 40. تبدیل لامبدا
  • 41. توابع بازگشتی
  • 42. مقدمه‌ای بر نظریه محاسبات
  • 43. ماشین تورینگ
  • 44. قابل حل بودن و غیرقابل حل بودن
  • 45. مسئله توقف
  • 46. مقدمه‌ای بر منطق فازی
  • 47. مجموعه‌های فازی
  • 48. قواعد فازی
  • 49. استنتاج فازی
  • 50. مقدمه‌ای بر منطق شهودی
  • 51. مقدمه‌ای بر منطق زمانی
  • 52. مقدمه‌ای بر منطق فضایی
  • 53. کاربردهای منطق ریاضی در علوم کامپیوتر
  • 54. کاربردهای منطق ریاضی در فلسفه
  • 55. کاربردهای منطق ریاضی در ریاضیات
  • 56. اثبات قضیه‌ها در منطق ریاضی
  • 57. تحلیل خطا در استدلال‌های منطقی
  • 58. حل مسائل منطقی
  • 59. تمرین‌های تکمیلی منطق گزاره‌ای
  • 60. تمرین‌های تکمیلی منطق مرتبه اول
  • 61. تمرین‌های تکمیلی نظریه مجموعه‌ها
  • 62. تمرین‌های تکمیلی نظریه اثبات
  • 63. مباحث پیشرفته در منطق ریاضی
  • 64. مقدمه‌ای بر منطق چند ارزشی
  • 65. مقدمه‌ای بر منطق مودال
  • 66. مقدمه‌ای بر منطق غیر کلاسیک
  • 67. مقدمه‌ای بر منطق جبری
  • 68. مقدمه‌ای بر منطق نرمالیزه شده
  • 69. مقدمه‌ای بر منطق خطی
  • 70. مقدمه‌ای بر منطق وابسته به نوع
  • 71. مقدمه‌ای بر منطق قطعی
  • 72. مقدمه‌ای بر منطق غیر تکراری
  • 73. مقدمه‌ای بر منطق ارتباطی
  • 74. مقدمه‌ای بر منطق کوانتومی
  • 75. مقدمه‌ای بر منطق پاراکنسیتنت
  • 76. مقدمه‌ای بر منطق زیرساخت گرا
  • 77. مقدمه‌ای بر منطق ساختاری
  • 78. مقدمه‌ای بر منطق بی‌نهایت‌گرا
  • 79. مقدمه‌ای بر منطق روشن‌گرا
  • 80. مقدمه‌ای بر منطق پویا
  • 81. مقدمه‌ای بر منطق متمایز
  • 82. مقدمه‌ای بر منطق دیالکتیکی
  • 83. مقدمه‌ای بر منطق ترتیبی
  • 84. مقدمه‌ای بر منطق سرزمینی
  • 85. مقدمه‌ای بر منطق قطبی
  • 86. مقدمه‌ای بر منطق ارتباطی
  • 87. مقدمه‌ای بر منطق مرزی
  • 88. مقدمه‌ای بر منطق توصیفی
  • 89. مقدمه‌ای بر منطق استقرایی
  • 90. مقدمه‌ای بر منطق استنتاجی
  • 91. مقدمه‌ای بر منطق تحلیلی
  • 92. مقدمه‌ای بر منطق ترکیبی
  • 93. مقدمه‌ای بر منطق شهودی
  • 94. مقدمه‌ای بر منطق زمانی
  • 95. مقدمه‌ای بر منطق فضایی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.