موسوعة:رياضيات متقطعة


الرياضيات المتقطعة أو الرياضيات المنفصلة هي دراسة الهياكل الرياضية المنفصلة أساسًا وليس المستمرة. على عكس الأرقام الحقيقية التي لها خاصية التباين "بسلاسة"، فإن الأشياء التي تدرس في الرياضيات المنفصلة - مثل الأعداد الصحيحة والرسومات البيانية والبيانات في المنطق- لا تختلف بشكل سلس بهذه الطريقة، ولكن لها قيم منفصلة.

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

مقالة مختارة
Automaton-ar.png
نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (الإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية والأنظمة المنهجية.
صورة مختارة
6n-graf.svg

إن الرسوم البيانية مثل الرسمة الموجودة أعلاه هي أحد المواضيع التي تتم دراستها في الرياضيات المتقطعة، وذلك بسبب خواصها الرياضياتية، وفوائدها في حل مسائل العالم الحقيقي، وأهميتها في تحسين الخوارزميات الحاسوبية.