كتاب الرياضيات المتقطعة

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