رياضيات متقطعة: الفرق بين النسختين

[نسخة منشورة][مراجعة غير مفحوصة]
تم حذف المحتوى تمت إضافة المحتوى
JarBot (نقاش | مساهمات)
/ منطق رياضي/
وسمان: تعديلات طويلة تحرير مرئي
سطر 10:
 
== المواضيع التي تدرسها ==
=== توافقيات ===
=== منطق رياضي|المنطق ===
تهتم التوافقيات (بلإنجليزية: Combinatorics) بشكل خاص بعدّ الكائنات في المجموعات، مع تحديد متى يمكن تحديد المعايير المطلوبة، مع دراسة بناء وتحليل الكائنات التي تحقق هذه المعايير (كما في التصميم التوافقي ونظرية الماترويد)، يهتم هذا العلم أيضا بإيجاد الكائنات الأكبر أو الأصغر أو الأفضل optimal (فيما يعرف : بالتوافقيات الحجمية Extremal combinatorics والتوافقيات التحسينية. للمزيد [[تركيبات|توافقيات]]
المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرائق الاستدلال الصحيح وأساليب الاستنتاج ومعقوليتها. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرائق التفكير و صيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. للمزيد [[منطق رياضي]].
=== نظرية المخططات ===
هي نظرية فيالمخططات (بلإنجليزية: الرياضياتGraph وعلومtheory) الحاسب،تهتم تدرسبدراسة خواص المخططات حيث يتم تمثيل مجموعة كائنات تدعى رؤوسا، ترتبط ببعضها بأضلاع و تدعى أحيانا أقواسا، يمكن أن تكون موجهة أي مزودة باتجاه (تستخدم الاسهم بدل الأضلاع) أو بدون اتجاه (أضلاع فقط). التمثيل لهذا المخطط يكون على الورق بمجموعة نقاط تمثل الرؤوس متصلة بخطوط هي حروف (أضلاع أو أسهم) المخطط.
تُمكن الاستعانة بالمخططات من حلحلة الكثير من المشاكل العملية، فمثلا بنية موسوعة ويكيبيديا يمكن تمثيلها بمخطط رؤوسه هي أسماء المقالات ونقوم برسم خط موجه بين مقالتين من أ إلى ب إذا كانت المقالة أ تحوي رابطا إلى المقالة ب. تطبيقات هذه النظرية واسعة جدا ولحل مشاكلها يستخدم الحاسوب بشكل واسع. لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات حيث يمكن معالجة أي مخطط لتمييز خصائصه واستخلاص المعلومات منه. للمزيد [[نظرية المخططات]]
 
=== منطق رياضي|المنطق ===
المنطق الرياضي (بلإنجليزية: Mathematical logic) هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرائق الاستدلال الصحيح وأساليب الاستنتاج ومعقوليتها. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرائق التفكير و صيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. للمزيد [[منطق رياضي]].
 
=== نظرية المجموعات ===
نظرية المجموعات (بلإنجليزية: Group theory) هو فرع من علم المنطق الرياضي، تهتم بدراسة المجموعات والتي هي تجميع لكائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة. للمزيد [[نظرية المجموعات]]
 
=== جبر خطي ===
''' الجبر الخطي''' (بلإنجليزية: Linear Algebra) هو فرع من [[رياضيات|الرياضيات]] يهتم بدراسة [[فضاء متجهي|الفضاءات المتجهية]] (أَو الفضاءات الخطية) و[[تحويل خطي|التحويلات الخطية]] و[[نظام معادلات خطية|النظم الخطية]].
 
تُشكل الفضاءات المتجهية موضوعاً مركزياً في [[رياضيات|الرياضيات]] الحديثة؛ لذا يُستعمل [[جبر|الجبر]] الخطي كثيراً في كلا من [[جبر تجريدي|الجبر المجرد]] و[[تحليل دالي|التحليل الدالي]]. للجبر الخطي أيضاً أهمية في [[هندسة تحليلية|الهندسة التحليلية]]. كما أن له تطبيقات شاملة في [[علوم طبيعية|العلوم الطبيعية]] و[[علوم اجتماعية|العلوم الاجتماعية]]. للمزيد [[جبر خطي]].
=== نظرية الأعداد ===
نظرية الأعداد (بلإنجليزية: Number theory) هي فرع من الرياضيات البحتة يهتم بخصائص الأعداد بشكل عام، و بالأعداد الصحيحة بشكل خاص. يدرس العاملون في نظرية الأعداد الأعداد الأولية وخصائص الكائنات المنبثقة عن الأعداد الصحيحة، الأعداد الجذرية مثالا، أو التعميمات للأعداد الصحيحة كما هو الحال بالنسبة للأعداد الصحيحة الجبرية.
قد يُنظر إلى الأعداد الصحيحة لذاتها وقد ينظر إليها حلولا لمعادلات ما (هندسة ديوفانتية).
وتتضمن عدة مسائل مفتوحة سهلة الفهم، حتى بالنسبة لغير المختصين. بصفة عامة، المجال الذي تدرسه هذه النظرية يهتم بفئة كبيرة من المسائل التي تأتي من دراسة الأعداد الطبيعية.
من الممكن تقسيم نظرية الأعداد إلى عدة مجالات حسب الطريقة المستعملة ونوع المسألة. فهي تهتم بدراسة خواص وعلاقات الأعداد الصحيحة وتوسيعاتها الجبرية والتحليلية. للمزيد [[نظرية الأعداد]]
=== توافقيات ===
تهتم التوافقيات بشكل خاص بعدّ الكائنات في المجموعات، مع تحديد متى يمكن تحديد المعايير المطلوبة، مع دراسة بناء وتحليل الكائنات التي تحقق هذه المعايير (كما في التصميم التوافقي ونظرية الماترويد)، يهتم هذا العلم أيضا بإيجاد الكائنات الأكبر أو الأصغر أو الأفضل optimal (فيما يعرف : بالتوافقيات الحجمية Extremal combinatorics والتوافقيات التحسينية.للمزيد [[تركيبات|توافقيات]]
=== نظرية المخططات ===
هي نظرية في الرياضيات وعلوم الحاسب، تدرس خواص المخططات حيث يتم تمثيل مجموعة كائنات تدعى رؤوسا، ترتبط ببعضها بأضلاع و تدعى أحيانا أقواسا، يمكن أن تكون موجهة أي مزودة باتجاه (تستخدم الاسهم بدل الأضلاع) أو بدون اتجاه (أضلاع فقط). التمثيل لهذا المخطط يكون على الورق بمجموعة نقاط تمثل الرؤوس متصلة بخطوط هي حروف (أضلاع أو أسهم) المخطط.
تُمكن الاستعانة بالمخططات من حلحلة الكثير من المشاكل العملية، فمثلا بنية موسوعة ويكيبيديا يمكن تمثيلها بمخطط رؤوسه هي أسماء المقالات ونقوم برسم خط موجه بين مقالتين من أ إلى ب إذا كانت المقالة أ تحوي رابطا إلى المقالة ب. تطبيقات هذه النظرية واسعة جدا ولحل مشاكلها يستخدم الحاسوب بشكل واسع. لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات حيث يمكن معالجة أي مخطط لتمييز خصائصه واستخلاص المعلومات منه. للمزيد [[نظرية المخططات]]
=== خوارزميات ===
الخوارزمية هي مجموعة من الخطوات الرياضية والمنطقية والمتسلسلة اللازمة لحل مشكلة ما. وسميت الخوارزمية بهذا الاسم نسبة إلى العالم المسلم الطاشقندي الاصل أبو جعفر محمد بن موسى الخوارزمي الذي ابتكرها في القرن التاسع الميلادي. الكلمة المنتشرة في اللغات اللاتينية والأوروبية هي «algorithm» وفي الأصل كان معناها يقتصر على خوارزمية لتراكيب ثلاثة فقط وهي: التسلسل والاختيار (selection) والتكرار.
* التسلسل: تكون الخوارزمية عبارة عن مجموعة من التعليمات المتسلسلة، هذه التعليمات قد تكون إما بسيطة أو من النوعين التاليين.
* الاختيار: بعض المشاكل لا يمكن حلها بتسلسل بسيط للتعليمات، وقد تحتاج إلى اختبار بعض الشروط وتنظر إلى نتيجة الاختبار، إذا كانت النتيجة صحيحة تتبع مسار يحوي تعليمات متسلسلة، وإذا كانت خاطئة تتبع مسار آخر مختلف من التعليمات. هذه الطريقة هي ما تسمى اتخاذ القرار أو الاختيار.
* التكرار: عند حل بعض المشاكل لا بد من إعادة نفس تسلسل الخطوات عدد من المرات. وهذا ما يطلق عليه التكرار.
و قد أثُبت أنه لاحاجة إلى تراكيب إضافية. استخدام هذه التراكيب الثلاث يسهل فهم الخوارزمية واكتشاف الأخطاء الواردة فيها وتغييرها.تُمكن الاستعانة بالمخططات من حلحلة الكثير من المشاكل العملية، فمثلا بنية موسوعة ويكيبيديا يمكن تمثيلها بمخطط رؤوسه هي أسماء المقالات ونقوم برسم خط موجه بين مقالتين من أ إلى ب إذا كانت المقالة أ تحوي رابطا إلى المقالة ب. تطبيقات هذه النظرية واسعة جدا ولحل مشاكلها يستخدم الحاسوب بشكل واسع. لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات حيث يمكن معالجة أي مخطط لتمييز خصائصه واستخلاص المعلومات منه. للمزيد [[خوارزمية]]
=== نظرية المعلومات ===
أحد تخصصات وفروع الرياضيات التطبيقية الذي يتضمن تكمية Quantification (التحويل إلى كميات) البيانات بهدف تمكين نقل أو تخزين البيانات ضمن وسط ما أو نقلها عبر قناة اتصال ما بأكبر قدر ممكن. قياس المعلومات يعرف عادة بإنتروبية المعلومات وهو عبارة عن العدد الوسطي من البتات (متوسط عدد النبضات الثنائية) اللازم للتخزين أو الاتصال. مثلا، إذا كان وصف الطقس اليومي له إنتروبية بمقدار 3، فذا يعني انه على مدى عدد كاف من الأيام يمكننا وصف الطقس اليومي يمعدل 3 بتات (نبضات ثنائية) لليوم الواحد.
 
تطبيقات نظرية المعلومات الأساسية تتضمن : ضغط البيانات غير المنقوص lossless data compression : مثلا زيب (صيغة ملفات) ZIP، ضغط البيانات المنقوص Lossy compression مثل إم.بي.ثري MP3، تشفير قنوات نقل البيانات وسعاتها channel capacity مثل خطوط دي.إس.إل DSL. يقع هذا الفرع عند حدود الرياضيات والإحصاء، وعلوم الحاسب والفيزياء والنيوروبيولوجيا والهندسة الكهربائية. تطبيقاتها كانت أساسية ي نجاح مهمات فوياجير الفضائية، واختراع سي.دي CD، وتطبيقات الهاتف المحمول، وتطور الإنترنت. وحتى دراسة اللسانيات والاستشعار الإنساني، وأيضا فهم ظاهرة الثقوب السوداء وغيرها من الحقول والتطبيقات العلمية.للمزيد [[نظرية المعلومات]]
=== برهان رياضياتي|البراهين ===
المبرهنة الرياضية قانون صحيح دائما، يتم البرهنة على صحته، بواسطة التحليل المنطق، انطلاقا من مسلمات ومبرهنات أخرى.
في حالة عدم التمكن من إثبات صحة أو خطأ نظرية تسمى حدسية، ولا تصبح مبرهنة رياضية إلا بعد البرهنة النهائية عليها.
بعض طرق البرهنة:
# برهان بالاستنتاج
# الاستلزام العكسي
# برهان بفصل الحالات
# برهان بالتراجع
=== نظرية الاحتمالات البدائية وسلاسل ماركوف ===
'''نظرية الاحتمال''' {{إنج|Probability theory}} هي النظرية التي تدرس احتمال الحوادث العشوائية. فالبنسبة للرياضيين، الاحتمالات أعداد محصورة في المجال بين 0 و 1 تحدد احتمال حصول أو عدم حصول حدث معين عشوائي أي غير مؤكد.
السطر 57 ⟵ 46:
إذا كان توزيع الاحتمال الشرطي لX<sub>n+1</sub> على الحالات الفارطة دالة وحده إذن <math> P(X_{n+1}=x|X_0, X_1, X_2, \ldots, X_n) = P(X_{n+1}=x|X_n). \, </math>.
حيث x هي دالة ما في العملية. المعادلة هذه تعرف بالاحتمال الماركوفي. للمزيد [[سلسلة ماركوف]].
=== خوارزميات ===
الخوارزمية هي مجموعة من الخطوات الرياضية والمنطقية والمتسلسلة اللازمة لحل مشكلة ما. وسميت الخوارزمية بهذا الاسم نسبة إلى العالم المسلم الطاشقندي الاصل أبو جعفر محمد بن موسى الخوارزمي الذي ابتكرها في القرن التاسع الميلادي. الكلمة المنتشرة في اللغات اللاتينية والأوروبية هي «algorithm» وفي الأصل كان معناها يقتصر على خوارزمية لتراكيب ثلاثة فقط وهي: التسلسل والاختيار (selection) والتكرار.
* التسلسل: تكون الخوارزمية عبارة عن مجموعة من التعليمات المتسلسلة، هذه التعليمات قد تكون إما بسيطة أو من النوعين التاليين.
* الاختيار: بعض المشاكل لا يمكن حلها بتسلسل بسيط للتعليمات، وقد تحتاج إلى اختبار بعض الشروط وتنظر إلى نتيجة الاختبار، إذا كانت النتيجة صحيحة تتبع مسار يحوي تعليمات متسلسلة، وإذا كانت خاطئة تتبع مسار آخر مختلف من التعليمات. هذه الطريقة هي ما تسمى اتخاذ القرار أو الاختيار.
* التكرار: عند حل بعض المشاكل لا بد من إعادة نفس تسلسل الخطوات عدد من المرات. وهذا ما يطلق عليه التكرار.
و قد أثُبت أنه لاحاجة إلى تراكيب إضافية. استخدام هذه التراكيب الثلاث يسهل فهم الخوارزمية واكتشاف الأخطاء الواردة فيها وتغييرها.تُمكن الاستعانة بالمخططات من حلحلة الكثير من المشاكل العملية، فمثلا بنية موسوعة ويكيبيديا يمكن تمثيلها بمخطط رؤوسه هي أسماء المقالات ونقوم برسم خط موجه بين مقالتين من أ إلى ب إذا كانت المقالة أ تحوي رابطا إلى المقالة ب. تطبيقات هذه النظرية واسعة جدا ولحل مشاكلها يستخدم الحاسوب بشكل واسع. لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات حيث يمكن معالجة أي مخطط لتمييز خصائصه واستخلاص المعلومات منه. للمزيد [[خوارزمية]]
=== نظرية المعلومات ===
أحد تخصصات وفروع الرياضيات التطبيقية الذي يتضمن تكمية Quantification (التحويل إلى كميات) البيانات بهدف تمكين نقل أو تخزين البيانات ضمن وسط ما أو نقلها عبر قناة اتصال ما بأكبر قدر ممكن. قياس المعلومات يعرف عادة بإنتروبية المعلومات وهو عبارة عن العدد الوسطي من البتات (متوسط عدد النبضات الثنائية) اللازم للتخزين أو الاتصال. مثلا، إذا كان وصف الطقس اليومي له إنتروبية بمقدار 3، فذا يعني انه على مدى عدد كاف من الأيام يمكننا وصف الطقس اليومي يمعدل 3 بتات (نبضات ثنائية) لليوم الواحد.
 
تطبيقات نظرية المعلومات الأساسية تتضمن : ضغط البيانات غير المنقوص lossless data compression : مثلا زيب (صيغة ملفات) ZIP، ضغط البيانات المنقوص Lossy compression مثل إم.بي.ثري MP3، تشفير قنوات نقل البيانات وسعاتها channel capacity مثل خطوط دي.إس.إل DSL. يقع هذا الفرع عند حدود الرياضيات والإحصاء، وعلوم الحاسب والفيزياء والنيوروبيولوجيا والهندسة الكهربائية. تطبيقاتها كانت أساسية ي نجاح مهمات فوياجير الفضائية، واختراع سي.دي CD، وتطبيقات الهاتف المحمول، وتطور الإنترنت. وحتى دراسة اللسانيات والاستشعار الإنساني، وأيضا فهم ظاهرة الثقوب السوداء وغيرها من الحقول والتطبيقات العلمية.للمزيد [[نظرية المعلومات]]
=== جبر خطي ===
''' الجبر الخطي''' هو فرع من [[رياضيات|الرياضيات]] يهتم بدراسة [[فضاء متجهي|الفضاءات المتجهية]] (أَو الفضاءات الخطية) و[[تحويل خطي|التحويلات الخطية]] و[[نظام معادلات خطية|النظم الخطية]].
 
تُشكل الفضاءات المتجهية موضوعاً مركزياً في [[رياضيات|الرياضيات]] الحديثة؛ لذا يُستعمل [[جبر|الجبر]] الخطي كثيراً في كلا من [[جبر تجريدي|الجبر المجرد]] و[[تحليل دالي|التحليل الدالي]]. للجبر الخطي أيضاً أهمية في [[هندسة تحليلية|الهندسة التحليلية]]. كما أن له تطبيقات شاملة في [[علوم طبيعية|العلوم الطبيعية]] و[[علوم اجتماعية|العلوم الاجتماعية]]. للمزيد [[جبر خطي]].
=== هندسة رقمية ===
=== مجموعات مرتبة جزئياً ===