دليل المراجعة · GKU 3

دليل مراجعة الهياكل المتقطعة (علوم الحاسب)

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