Lógica em ciência da computação abrange a sobreposição entre o campo da Lógica e da ciência da computação. O tópico pode essencialmente ser dividido em três áreas principais:

• Fundamentos e análises teóricas
• Uso da tecnologia de computação para auxiliar os lógicos
• O uso de conceitos da lógica para aplicações computacionais