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

مبادئ المنطق الرياضي، طرائق البرهان، المجموعات والعمليات عليها، الاستقراء الرياضي، الجداء الديكارتي للمجموعات، العلاقات الثنائية، تجزئة مجموعة، أصناف التكافؤ، التطبيقات، تكافؤ المجموعات، المجموعات القابلة للعد، الأعداد الرئيسة، العمليات الثنائية، التشاكلات، الزمر: تعاريف وأمثلة. الحلقات والحقول: تعاريف وأمثلة.