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