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