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