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