المواد الدراسية
حساب التقارير، التكافؤ المنطقي، الحجج، طرائق البرهان، العلاقات، علاقة التكافؤ، علاقة الترتيب، الجبر البولي، الدارات المنطقية وتبسيطها، الرسوم، الترابط، التماثل، الرسوم المستوية، الأشجار، تطبيقات. Propositional Calculus, logical equivalence,...