بوابة:رياضيات متقطعة
نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (الإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية والأنظمة المنهجية.
إن الرسوم البيانية مثل الرسمة الموجودة أعلاه هي أحد المواضيع التي تتم دراستها في الرياضيات المتقطعة، وذلك بسبب خواصها الرياضياتية، وفوائدها في حل مسائل العالم الحقيقي، وأهميتها في تحسين الخوارزميات الحاسوبية.
رياضيات متقطعة: نظرية التشغيل الذاتي - توافقيات - هندسة رياضية توافقية - هندسة رياضية حاسوبية - هندسة رياضية رقمية - هندسة رياضية متقطعة - نظرية المخططات - منطق رياضياتي - استمثال توافيقي - نظرية المجموعات - طوبولوجيا توافيقية - نظرية الأعداد - نظرية المعلومات - نظرية الألعاب.
|
Portal di Ensiklopedia Dunia