Lógica na ciência da computação
De Wikipedia, a enciclopédia encyclopedia
A lógica na ciência da computação cobre a sobreposição entre o campo da lógica e o da ciência da computação. O tema pode ser essencialmente dividido em três áreas principais:
- Fundamentos teóricos e análise
- Uso de tecnologia de computador para ajudar os lógicos
- Uso de conceitos da lógica para aplicativos de computador