diagrammatic representation computer logic gates '''logic computer science''' covers overlap field logic computer science topic essentially divided three main areas theoretical foundations analysis use computer technology aid logicians use concepts logic computer applications theoretical foundations analysis logic plays fundamental role computer science key areas logic particularly significant computability theory formerly called recursion theory modal logic category theory theory computation based concepts defined
Formal science Computer science Logic in computer science