Lógica em ciência da computação

Lógica em ciência da computação:
Émerson Gonçalves da Silva
Lógica em ciência da computação abrange a sobreposição entre o campos da mesma. O tópico pode essencialmente ser dividido em três áreas principais:

1) Fundamentos e análises teóricas 2) Uso da tecnologia de computação para auxiliar os lógicos 3) O uso de conceitos da lógica para aplicações computacionais
1) Fundamentos e análises teórica:
Os fundamentos mais essenciais para a ciência da computação são baseados em lógica e teoria dos conjuntos. O lógico Gottlob Frege que definiu o primeiro cálculo proposicional, essencialmente criou a primeira linguagem de programação. A linguagem que ele definiu tem todos os requisitos formais para uma poderosa linguagem de programação e especificação de computadores. A teoria da computação se baseia em conceitos definidos pelos lógicos e matemáticos, como Alonzo Church e Alan Turing. Além disso, algumas outras grandes áreas de sobreposição teórica entre a lógica e a ciência da computação são:
O teorema da incompletude de Godel, que prova que qualquer sistema lógico conterá declarações que são nem verdadeiros nem falsos. Isso tem aplicação direta em questões teóricas relativas à viabilidade de provar a completude e coerência de software. O "problema do frame" é um problema básico que deve ser superado quando usa-se a lógica para representar os objetivos e estado de um agente de inteligência artificial. A teoria das categorias é a análise formal e transformação dos grafos direcionados*, uma área com inúmeras aplicações em ciência da computação. Por exemplo, os modelos orientados a objetos podem ser representados como categorias e tecnologia de prova de teoremas pode transformar as especificações do objeto-modelo em código.
*A teoria dos grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto. Para tal são empregadas estruturas chamadas de grafos, G(V,A), onde V é um conjunto não vazio de objetos