The Proof in the Code How a Truth Machine Is Transforming Math and AI

١١٫٩٥٠ د.ب.‏
+ ٩٫٤٩٠ د.ب.‏ الشحن

The Proof in the Code How a Truth Machine Is Transforming Math and AI

البائع:

The Proof in the Code How a Truth Machine Is Transforming Math and AI

١١٫٩٥٠ د.ب.‏

وفّر ٤٫٠٠٠ د.ب.‏ (25%)

السعر الأصلي

١٥٫٩٥٠ د.ب.‏
في المخزون
+ ٩٫٤٩٠ د.ب.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

البائع:

١١٫٩٥٠ د.ب.‏

وفّر ٤٫٠٠٠ د.ب.‏ (25%)

السعر الأصلي

١٥٫٩٥٠ د.ب.‏
في المخزون
+ ٩٫٤٩٠ د.ب.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

الوصف

The Proof in the Code How a Truth Machine Is Transforming Math and AI

The inside story of Lean a computer program that answers the age-old question How do you know if something is true?
  • العلامة التجارية: Farrar & Straus & Giroux Inc
  • الفئة: التعليم
  • حَجْم: Hardback
  • اللغة: English
  • المؤلف: The Proof in the Code: How a Truth Machine Is Transforming Math and AI
  • عدد الصفحات: 288
  • تاريخ النشر: 2026-02-17
  • الناشر/ العنوان: Farrar, Straus & Giroux Inc
  • هوية Fruugo: 506577355-1036515646
  • ISBN: 9780374620059

توصيل

يُرسل خلال ٤ أيام

  • STANDARD: ٩٫٤٩٠ د.ب.‏ - التسليم بين الثلاثاء 28 يوليو 2026 – الاثنين 17 أغسطس 2026

يُشحن من المملكة المتحدة.

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة