Lógica em ciência da computação
De Wikipedia, a enciclopédia encyclopedia
Lógica em ciência da computação abrange a sobreposição entre o campo da Lógica e o da ciência da computação. O tópico pode ser essencialmente dividido em três áreas principais:
- Fundamentos e análises teóricas.
- Uso da tecnologia da computação para auxiliar na lógica.
- O uso de conceitos da lógica para aplicações computacionais.
Foram assinalados vários problemas nesta página ou se(c)ção:
|