ЭЕМ қатысуымен шешілетін еспетердің ішінде, әдетте логикалык деп аталатын есептер де аз емес. Логика - бұл адам ойлауының түрлері мен заңдары туралы, оның ішінде дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым.Ғылыми пән ретінде логиканың формалъды, математикалык ықтималдықты логика және т.б. түрлері қалыптасқан.Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты.Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме-дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді.Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды, ол алғаш рет ХІХ ғасырдың ортасында ағылшын математигі Джордж Бульдің еңбектерінде пайда болды. Бұл - дәстүрлі  логикалық есептерді алгебралық әдістермен шешуге талаптанудың нәтижесі информатикада жақсы меңгерілген.