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