---
title: Logic
localeTitle: Lógica
---
## Lógica

A lógica da ciência da computação cobre a sobreposição entre o campo da lógica e o 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 de tecnologia de computadores para ajudar os lógicos Uso de conceitos da lógica para aplicativos de computador

Nesta seção, teremos guias para uma ampla variedade de quebra-cabeças lógicos que são importantes para matemática e programação.