Mathematics and computer science are closely linked with each other, and in many respects, the functions of computer related elements might be interpreted using mathematical approaches. In this paper the strong correlation that exist between computer software and hardware elements (logic devices, digital circuits and logical processing) and discrete mathematics (propositions and quantified assertions) will be demonstrated. This will pave the way for a better understanding of the operations of basic computer circuits and lay the foundation for developing new computer related algorithms.

يهدف هذا البحث لعرض بعض تطبيقات الرياضيات المنفصلة (العبارات والجمل المسورة ) في مجال الحاسوب (تصميم بعض الدوائر المتكاملة وأحياناً في منطق عمل المعالج المايكروي)