لغة الترميز الرياضية

لغة الترميز الرياضي هي تدوين حاسوبي يُستخدم لتمثيل الصيغ الرياضية ، ويعتمد على الترميز الرياضي . تُعدّ لغات الترميز المتخصصة ضرورية لأن الحواسيب تتعامل عادةً مع النصوص الخطية ومجموعات الأحرف المحدودة (مع أن الدعم المتزايد لليونيكود يُلغي استخدامات بسيطة للغاية). كما يسمح بناء الجملة الموحد رسميًا للحاسوب بتفسير المحتوى الغامض، سواءً للعرض أو حتى للتقييم. ومن أشهر لغات الترميز القابلة للتفسير الحاسوبي: TeX / LaTeX ، وMathML (لغة الترميز الرياضي)، وOpenMath، و OMDoc .

رموز لإدخال البيانات البشرية

تشمل اللغات الشائعة لإدخال البيانات من قبل البشر وتفسيرها بواسطة أجهزة الكمبيوتر TeX [ 1 ] / LaTeX [ 2 ] و eqn . [ 3 ]

تتميز أنظمة الجبر الحاسوبي مثل Macsyma و Mathematica ( لغة Wolfram ) و Maple و MATLAB بصيغتها الخاصة.

عندما يكون الغرض هو التواصل غير الرسمي مع الآخرين، غالبًا ما تكون الصيغة مخصصة، وتُسمى أحيانًا "ترميز ASCII الرياضي". يستخدم الأكاديميون أحيانًا صيغة مبنية على TeX نظرًا لألفةهم بها من خلال كتابة الأبحاث. وقد يستخدم من اعتادوا على لغات البرمجة اختصارات مثل "!" للدلالة على¬{\displaystyle \neg }قد تستخدم صفحات الويب أيضًا كمية محدودة من لغة HTML لتمييز مجموعة فرعية صغيرة، على سبيل المثال، الكتابة المرتفعة . [ 4 ] يتطلب بناء الجملة المخصص سياقًا لتفسير بناء الجملة الغامض، على سبيل المثال، يمكن أن تعني "<=" "مُضمَّن في" أو "أصغر من أو يساوي"، ومن المرجح أن تشير "dy/dx" إلى مشتقة ، ولكن بالمعنى الدقيق للكلمة، يمكن أن تعني أيضًا كمية محدودة dy مقسومة على dx .

يُحسّن نظام يونيكود دعم الرياضيات، مقارنةً بنظام ASCII فقط. [ 5 ] [ 6 ]

أمثلة

TeXمعادلةASCII مخصصيونيكود مخصصصيغة
$a^2$a sup 2أ^2أ²أ2{\displaystyle a^{2}}
$\sum_{k=1}^N k^2$المجموع من { k = 1 } إلى N { k sup 2 }مجموع_{k=1}^N k^2Σ_{k=1}^N k²ك=1شمالك2{\displaystyle \sum _{k=1}^{N}k^{2}}
$\neg(a > 2)\Rightarrow a \le2$neg (a > 2) drarrow a <= 2!(a > 2) => a <= 2¬(a > 2) ⇒ a ≤ 2¬(أ>2)أ2{\displaystyle \neg (a>2)\Rightarrow a\leq 2}

لغات الترميز لتبادل البيانات بين أجهزة الكمبيوتر

تتضمن لغات الترميز المُحسّنة للتواصل بين أجهزة الحاسوب MathML ، [ 7 ] وOpenMath ، و OMDoc . صُممت هذه اللغات لتحقيق الوضوح وسهولة التحليل وتقليل الغموض، على حساب الإسهاب. مع ذلك، يجعل هذا الإسهاب من الصعب على البشر كتابتها مباشرةً. [ 7 ]

تحويل

توجد العديد من أدوات الإدخال والعرض والتحويل.

كان برنامج مايكروسوفت وورد يتضمن محرر المعادلات ، وهو نسخة محدودة من برنامج MathType ، حتى عام 2007. تتيح هذه الميزة إدخال الصيغ باستخدام واجهة مستخدم رسومية ، وتحويلها إلى لغات ترميز قياسية مثل MathML. مع إصدار مايكروسوفت لحزمة مايكروسوفت أوفيس 2007 وتنسيقات ملفات Office Open XML ، قدمت الشركة محرر معادلات جديدًا يستخدم تنسيقًا جديدًا، وهو لغة ترميز الرياضيات Office (OMML). أدى عدم التوافق إلى رفض بعض المجلات العلمية المرموقة قبول المخطوطات التي أُنتجت باستخدام مايكروسوفت أوفيس 2007. [ 8 ] [ 9 ]

SciWriter هو واجهة مستخدم رسومية أخرى يمكنها إنشاء MathML و LaTeX. [ 10 ]

يمكن لبرنامج ASCIIMathML ، وهو برنامج مكتوب بلغة جافا سكريبت ، تحويل رموز ASCII المخصصة إلى MathML. [ 11 ]

انظر أيضاً

مراجع

  1. دونالد إي. كنوث. كتاب TeXbook ( الحاسوب والتنضيد ، المجلد أ). ريدينغ، ماساتشوستس: أديسون-ويسلي، 1984. ISBN 0-201-13448-9.
  2. لامبورت. LaTeX: نظام إعداد المستندات، الطبعة الثانية. دليل المستخدم ودليل المرجع .
  3. برايان دبليو. كيرنيغان ولوريندا إل. تشيري. نظام لطباعة الرياضيات ، اتصالات ACM 18 (1975)، 151 157.
  4. جامعة دريكسل (2007). "طباعة المعادلات الرياضية للإنترنت" . مؤرشف من الأصل بتاريخ 7 مارس 2021. تم الاطلاع عليه بتاريخ 16 أبريل 2007 .
  5. دعم يونيكود للرياضيات
  6. يونيكود ماث، ترميز شبه نصي للرياضيات
  7. 1 2 بوسويل، ستيفن؛ ديفيت، ستان؛ دياز، أنجيل؛ وآخرون . (7 يوليو 1999). "مواصفات لغة ترميز الرياضيات (MathML) 1.01 (ملخص)" . تم الاسترجاع في 13 أبريل 2007. على الرغم من أن لغة MathML قابلة للقراءة البشرية، فمن المتوقع أن يستخدم المؤلفون، في جميع الحالات باستثناء أبسطها، محررات المعادلات وبرامج التحويل وغيرها من أدوات البرمجيات المتخصصة لإنشاء MathML. 
  8. "مجلة ساينس آند نيتشر تتخلى عن مايكروسوفت أوفيس" . زد نت. 18 يونيو 2007. تاريخ الاطلاع: 27 أكتوبر 2012 .
  9. "يواجه العلم والطبيعة صعوبات مع الرياضيات في برنامج Word 2007 - موراي سارجنت: الرياضيات في Office - الصفحة الرئيسية للموقع - مدونات MSDN" . 2007-06-04 . تم الاطلاع عليه بتاريخ 2012-10-27 .
  10. "SciWriter" . مؤرشف من الأصل بتاريخ 22-01-2007 . تم الاطلاع عليه بتاريخ 13-04-2007 .
  11. بيتر جيبسن (أغسطس 2005). "ASCIIMathML" . تم الاسترجاع في 13 أبريل 2007 .