151 ريض

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