 | هيلبرت الثاني |
| التحميل الان | |
هيلبرت الثاني الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- السعر:
- FREE
- اسم الناشر:
- Michael Meyling
- موقع ويب الناشر:
- http://www.mulumis.meyling.com/
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 1 KB
هيلبرت الثاني العلامات
هيلبرت الثاني وصف
بسهولة وضع النظرية والإبراهين في قاعدة المعرفة Hilbert II هو مجموعة برنامج مجانية ومفتوحة للمصدر التي تمكن من وضع عالم الرياضيات لوضع نظريات وإثبات في قاعدة المعرفة هذه. يتم التحقق من هذه البراهين تلقائيا بواسطة مدقق إثبات. كما يمكن دمج النصوص في "اللغة الرياضية المشتركة". يتم دمج البديهيات الرياضية والتعاريف والمقترحات إلى ما يسمى وحدات qedeq. يمكن رؤية مثل هذه الوحدة ككتب مدرسي رياضي يشمل البراهين الصحيحة الرسمية. لأن هذا النظام ليس إداريا ومراجعا إلى أي موقع في الإنترنت ممكن، فإن قاعدة المعرفة الرياضية على مستوى العالم يمكن أن تبني. يمكن حفر أي دليل على نظرية في هذه "الويب الرياضي" إلى القواعد والآدييات الأولية. فكر في عدد لا يصدق من الكتب المدرسية الرياضية ذات الارتباطات التشعبية ويمكن التحقق منها كل من البراهين بواسطة هيلبرت الثاني. بالنسبة لكل نظرية، يمكن استخلاص التعاريف والحبس بسهولة. متطلبات: جاوة
هيلبرت الثاني برامج ذات صلة
