12121

1

Das aplicações da lógica na Computação
Bruno Silva Guedes 1
Leonardo Roveda Faganello 2
Matheus de Carvalho Proença3
Thiago Caberlon Santini 4
(artigo escrito para trabalho da disciplina INF05508 – Lógica para Computação)

Resumo
A lógica possui aplicações inesperadas em diversas áreas da Ciência da
Computação. São sobre essas aplicações que o artigo On the Unusual Effectiveness of
Logic in Computer Science versa. A lógica, que teoricamente é considerada derivada da
Matemática, encontra muito mais aplicações práticas na Ciência da Computação, e baseado nos exemplos citados pelo artigo em inglês, resumimos aqui a idéia básica destas aplicações.

1

Graduando em Engenharia de Computação
Universidade Federal do Rio Grande do Sul
E-mail: [e-mail]
2

Graduando em Engenharia de Computação
Universidade Federal do Rio Grande do Sul
E-mail: [e-mail]

3

Graduando em Engenharia de Computação
Universidade Federal do Rio Grande do Sul
E-mail: [e-mail]
4

Graduando em Engenharia de Computação
Universidade Federal do Rio Grande do Sul
E-mail: [e-mail]

Abril de 2008

INF05508 – Lógica para Computação

2

INTRODUÇÃO
Considerada “o Cálculo da Ciência da Computação”, a lógica desempenhou um papel fundamental no desenvolvimento dessa área do conhecimento.
Desenvolvida fortemente no início do século XX, com o objetivo de formalizar e reunir todo o conhecimento matemático até então desenvolvido, a lógica acabou perdendo espaço entre os matemáticos, após Gödel demonstrar que a lógica de primeira ordem não era suficiente para demonstrar a completude da Matemática.
Após a metade do século XX, a lógica se desvinculou da matemática tradicional e seu desenvolvimento está concentrado na sua potencialidade de aplicações. Do mesmo modo que a matemática encontrou aplicações em áreas
“inesperadas” nas Ciências Naturais, como Física, Biologia, Química, a Lógica encontrou amparo na