هل هناك أداة تدعم الرياضيات المنفصلة؟

Question

الرياضيات المنفصلة (أيضًا الرياضيات المحدودة) يتعامل مع موضوعات مثل المنطق، ونظرية المجموعات، ونظرية المعلومات، والمجموعات المرتبة جزئيًا، والبراهين، والعلاقات، وعدد من المواضيع الأخرى.

أما بالنسبة لفروع الرياضيات الأخرى، فهناك أدوات تدعم البرمجة.بالنسبة للإحصاءات، هناك ر و س التي تحتوي على العديد من الوظائف الإحصائية المفيدة المضمنة.للتحليل العددي اوكتاف يمكن استخدامها كلغة أو دمجها في لغة C++.

لا أعرف أي لغات أو حزم تتعامل بشكل خاص مع الرياضيات المنفصلة (على الرغم من أنه يمكن استخدام كل لغة تقريبًا لتنفيذ الخوارزميات المستخدمة في الرياضيات المنفصلة، ​​إلا أنه يجب أن تكون هناك مكتبات أو بيئات مصممة خصيصًا لهذه التطبيقات).

Answer 1

الإصدار الحالي من الرياضيات هو 7.تكاليف الترخيص:

1. الإصدار المنزلي: $295.
2. معيار:جهاز كمبيوتر Win/Mac/Linux بسعر 2495 دولارًا (3120 دولارًا لـ Solaris)
3. حكومة:1,996 دولارًا (2,496 دولارًا لسولاريس)
4. التعليمية:1095 دولارًا (1370 دولارًا لسولاريس)
5. طالب:139.95 دولارًا (بدون سولاريس)

أعلاه، يقول رابط الإصدار المنزلي:

Mathematica Home Edition هو إصدار كامل الوظائف من Mathematica Professional مع نفس الميزات.

الإصدار الحالي من خشب القيقب هو 12.تكاليف الترخيص:

1. طالب:99 دولارًا
2. تجاري:1,895 دولار
3. أكاديمي:995 دولارًا
4. حكومة:1,795 دولار

ونعم، تحقق من Sage، الذي ذكره توماس أوينز أعلاه.

Answer 2

الرياضيات

Answer 3

تمتلك Mathematica حزمة Combinatorica، والتي على الرغم من كونها موقرة جدًا في هذه المرحلة، إلا أنها توفر قدرًا كبيرًا من الدعم للتوافقيات والرسوم البيانية.تتوفر أوامر مثل هذه:قلادة متعددة الحدود [8، م، دوري]؛GrayCodeSubsets[{1, 2, 3, 4}];أقسام صحيحة[6]

Answer 4

أود أن أقول أن Mathematica هو أفضل رهان لك.حتى لو لم يكن مزودًا ببعض الوظائف، فهو يحتوي على حزم تكميلية مصممة بشكل جيد جدًا ومتاحة له على الشبكة
الدفع http://www.wolfram.com/products/mathematica/analogy/
قد تكون مهتمًا بالروابط الخاصة بنظرية الأعداد وتصورات الرسم البياني

Answer 5

لقد وجدت أيضا حكيم.يبدو أنه أقرب شيء إلى Mathematica وهو مصدر مفتوح، لكنني لست متأكدًا من مدى تعامله مع الرياضيات المنفصلة.

Answer 6

خشب القيقب و ماتلاب سيكون عبارة عن حزمتين من البرامج الرياضية التي قد تغطي جزءًا مما تريده.

Answer 7

قاعدة الرسم البياني لستانفورد, ، التي كتبها دونالد كنوث في المقام الأول هي حزمة رائعة للحوسبة التوافقية.لن أسميها قاعدة أكواد برمجية واسعة النطاق، ولكنها تتمتع بدعم كبير للرسوم البيانية ويمكن صياغة قدر كبير من الرياضيات المنفصلة من حيث نظرية الرسم البياني.إنه مكتوب بلغة CWEB، وهو (IMO) نسخة أكثر قابلية للقراءة من لغة C.

يحرر:انه مجانا.

Answer 8

أنا أحب Mathematica واستخدمته في وضع نماذج أولية للأفكار أثناء دراستي لدرجة الدكتوراه في الفيزياء الحاسوبية.ومع ذلك، تحاول Mathematica أن تكون كل شيء لجميع الناس، وهناك بعض الجوانب السلبية:

• كونها شركة هادفة للربح، تأتي إصلاحات الأخطاء أحيانًا في الإصدار الرئيسي التالي:انت تدفع.
• نظرًا لكونه منتجًا مملوكًا، فإن مشاركة التعليمات البرمجية مع أشخاص غير متخصصين في Mathematica (العالم) يمثل مشكلة.
• غالبًا ما تكون الميزات الجديدة غير ناضجة وتتعطل عند محاولة تجاوزها إلى ما هو أبعد من المثال المضمن.
• قاعدة المستخدمين (البرامج التعليمية والنصائح والمكتبات الخارجية) أقل نشاطًا من قاعدة بايثون على سبيل المثال،
• من الصعب إنشاء أرقام Mulitpanel؛يرى SciDraw مكتبة.

ومع ذلك، فإن الوظيفة الأساسية لـ Mathematica مذهلة للأسباب التالية:

• تعتبر وظيفة الرياضيات الافتراضية الخاصة بها قوية جدًا مما يسمح بالحلول السريعة.
• يسمح بالبرمجة الوظيفية والإجرائية.
• يمكن للمرء أن يقوم بالبرمجة والنشر بسرعة بمجموعة متنوعة من التنسيقات:pdf، موقع تفاعلي.
• منفصلة جديدة كتاب خرج.

الحد الأدنى

• مستخدمو Apple الذين يتوقعون سهولة الاستخدام، سوف يحبون Mathematica لما تتميز به من إحساس بالانطلاق والانطلاق يشبه Apple.
• مستخدمو Linux الذين يرغبون في التوسعة، سيجدون أن Mathematica محبطة بسبب تصميمها المغلق الذي يشبه تصميم Apple.