تخطيط إثبات مستوى التأكيد مع الاستراتيجيات المجمعة
- المنشئ: Dietrich, Dr. Dominik
- التوفر: مخزن
- EAN: 9783863760199
€39,90
يقدم هذا الكتاب تقنيات جديدة تسمح بالتحقق التلقائي وإنشاء براهين مجردة على النمط البشري. يبني جوهر هذا النهج حسابًا فعالًا يعمل بشكل مباشر من خلال تطبيق التعريفات والنظريات والبديهيات ، مما يقلل من حجم كائن الإثبات الأساسي بعامل عشرة. ويتم توسيع حساب التفاضل والتكامل من خلال نموذج الاستدلال العميق الذي...
يقدم هذا الكتاب تقنيات جديدة تسمح بالتحقق التلقائي وإنشاء براهين مجردة على النمط البشري. يبني جوهر هذا النهج حسابًا فعالًا يعمل بشكل مباشر من خلال تطبيق التعريفات والنظريات والبديهيات ، مما يقلل من حجم كائن الإثبات الأساسي بعامل عشرة. ويتم توسيع حساب التفاضل والتكامل من خلال نموذج الاستدلال العميق الذي يسمح بتطبيق قواعد الاستدلال على عمق تعسفي داخل التعبيرات المنطقية وتوفر أدلة جديدة أقصر بشكل كبير وغير متوفرة في حساب التفاضل والتكامل المتسلسل بدون قطع. بالإضافة إلى ذلك ، تم تطوير لغة إستراتيجية لأنماط إثبات توضيحية مجردة غير محددة. توفر الطرق التكميلية معًا إطارًا لأتمتة البراهين التصريحية. يتم توضيح فوائد التقنيات من خلال التطبيقات العملية.
تفاصيل- العنوان: التخطيط لإثبات مستوى التأكيد باستخدام الاستراتيجيات المجمعة
- المؤلف: د. دومينيك ديتريش إصدار
- : 1st edition
- الجامعة: جامعة سارلاند
- تاريخ النشر: الإصدار الأول 08/10/2012
- القسم: الهندسة الكهربائية وتكنولوجيا المعلومات
- نوع المنتج: كتاب (غلاف مقوى)
- نوع المنتج: أطروحة
- اللغة: الإنجليزية
- التجليد: غلاف ورقي (غلاف عادي)
- الأبعاد: 21.0 × 14.8 سم (DIN A5)
- النطاق: XX / 341 صفحة
- الحالة: جديد (ملفوفة بالانكماش في رقائق معدنية)
- الكلمات الرئيسية: مستوى التأكيد ، التطبيق العكسي ، CORE ، الدليل التصريحي ، التكتيك التصريحي ، نموذج الاستنتاج ، التطبيق العميق ، الاستدلال العميق ، نموذج الاستدلال ، دليل المستوى ، تخطيط الإثبات ، تنقيح الدليل ، نصوص الإثبات ، استراتيجيات الإثبات ، نظرية الإثبات ، الحشو
المؤلف
ولد دومينيك ديتريش عام 1980 في مدينة ساربروكن بألمانيا. درس علوم الكمبيوتر والرياضيات في جامعة سارلاند في ساربروكن ، حيث حصل على درجة الدكتوراه في عام 2011 تحت إشراف يورغ سيكمان. يركز بحثه على التفكير الآلي والأساليب الرسمية والبيانات الدلالية وإدارة العمليات. يعمل دومينيك حاليًا كباحث في قسم الأنظمة الفيزيائية الإلكترونية في مركز الأبحاث الألماني للذكاء الاصطناعي (DFKI) في بريمن.
التنزيلات
DRM: العلامة المائية الرقمية
يحتوي هذا الكتاب الإلكتروني على علامة مائية رقمية وبالتالي فهو مخصص لك. إذا تم نقل الكتاب الإلكتروني إلى جهات خارجية بشكل مسيء ، فمن الممكن تتبعه مرة أخرى إلى المصدر.
تنسيق الملف: PDF (تنسيق المستند المحمول)
مع تخطيط الصفحة الثابت ، يعد ملف PDF مناسبًا بشكل خاص للكتب المتخصصة ذات الأعمدة والجداول والأشكال. يمكن عرض ملف PDF على جميع الأجهزة تقريبًا ، ولكنه مناسب فقط إلى حد محدود للشاشات الصغيرة (الهاتف الذكي ، القارئ الإلكتروني).
متطلبات النظام:
PC / Mac : يمكنك قراءة هذا الكتاب الإلكتروني باستخدام جهاز كمبيوتر شخصي أو جهاز Mac. أنت بحاجة إلى عارض PDF - على سبيل المثال Adobe Reader.
قارئ إلكتروني : يمكن قراءة هذا الكتاب الإلكتروني (تقريبًا) مع جميع أجهزة قراءة الكتب الإلكترونية. ومع ذلك ، فهو غير متوافق مع Amazon Kindle.
الهاتف الذكي / الجهاز اللوحي : سواء أكانت Apple أو Android ، يمكنك قراءة هذا الكتاب الإلكتروني. أنت بحاجة إلى عارض PDF - على سبيل المثال Adobe Reader.
شراء كتب إلكترونية من الخارج
لأسباب تتعلق بقانون الضرائب ، يمكننا بيع الكتب الإلكترونية داخل ألمانيا وسويسرا فقط. للأسف لا يمكننا تلبية طلبات الكتب الإلكترونية من البلدان الأخرى.