حساب التقارير، التكافؤ المنطقي، الحجج، طرائق البرهان، العلاقات، علاقة التكافؤ، علاقة الترتيب، الجبر البولي، الدارات المنطقية وتبسيطها، الرسوم، الترابط، التماثل، الرسوم المستوية، الأشجار، تطبيقات. Propositional Calculus, logical equivalence, arguments, methods of proof. Relations, equivalence relations, order relations. Boolean algebras, logic circuits, simplification of circuits. Graphs, connectedness, isomorphisms, planar graphs, trees, applications.