LÓGICA APLICADA A COMPUTAÇÃO
2009.3
Aquiles Burlamaqui
Apresentação da Disciplina
Planejamento
Conteúdo Programático
Metodologia
Bibliografia
Definição
Motivação
Planejamento
Semestre
Local
3B5
Carga Horária
2009.3
4 / 60
Horários
23456M34
23456T34
Página:
http://aquilesburlamaqui.wikidot.com
Conteúdo Programático
Unidade I
Linguagens Formais
Linguagens Formais
Sigma Álgebras
Relação entre Linguagens Formais e Sigma Álgebras
Sigma Domínios
Lógica Proposicional
A linguagem da lógica proposicional
A linguagem formal da lógica Proposicional
Lógica Proposicional
A Teoria Formal da Lógica Proposicional
Teorias Formais
Teoria Formal da Lógica Proposicional
Teorema da Dedução
Computação na Lógica Proposicional
Método de Eliminação de Literais Complementares
Resultados de Completude
Conteúdo Programático
Unidade II
Lógica de Predicados: Linguagem e Semântica
Tradução do português para a Lógica
Quantificadores e Tipos
Quantificadores como Conjunções e Disjunções Infinitas
Linguagem de Primeira Ordem
Verdade
A Teoria Formal da Lógica de Predicados
Teoria Formal do Calculo de Predicados
Teorema da Dedução
Computação na Lógica de Predicados
Resolução
Resultados de Completude
Conteúdo Programático
Unidade III
Lógicas
não clássicas
Dedução
Natural
Lógica Modal
Lógica Linear
Lógica Temporal
Tableux
Prolog
Lógica Fuzzy
Lógica Paraconsistente
Metodologia
Aulas
Teórico-Expositivas:
Serão
utilizadas aulas teórico expositivas, slides, bem como
exercícios e seminários.
Avaliação:
A
avaliação será feita de forma contínua. E baseada em
duas provas escritas e uma apresentação de seminário.
Assim como trabalhos em sala aula.
Bibliografia
Callejas, Bedregal. Lógica para a Ciência da
Computação, Natal, 2001.
Alencar, E. F., Iniciação à Lógica Matemática,
Nobel, São Paulo, 1986.
Castrucci, B., Introdução à Lógica Matemática,
Nobel, São Paulo, 1984.
Motivação
Definição
O que é
Lógica?
Definição
A lógica ,do grego logos, que significa palavra,
pensamento, idéia, argumento, relato, razão lógica
ou princípio lógico;
É uma ciência de índole matemática e fortemente
ligada à Filosofia.
Ramo da filosofia que cuida das regras do bem
pensar, ou do pensar correto, sendo, portanto, um
instrumento do pensar.
Motivação
Por que estudar
Lógica?
Motivação
Background para Outras disciplinas de
Computação
Circuitos Lógicos
Verificação formal de programas
Terminar o curso ???
Concursos ???
Motivação
Pergunta 1
Você
está numa cela onde existem duas portas, cada
uma vigiada por um guarda. Existe uma porta que dá
para a liberdade, e outra para a morte. Você está
livre para escolher a porta que quiser e por ela sair.
Poderá fazer apenas uma pergunta a um dos dois
guardas que vigiam as portas. Um dos guardas sempre
fala a verdade, e o outro sempre mente e você não
sabe quem é o mentiroso e quem fala a verdade. Que
pergunta você faria?
Motivação
Pergunta 2:
Você
é prisioneiro de uma tribo indígena que conhece
todos os segredos do Universo e portanto sabem de
tudo. Você está para receber sua sentença de morte. O
cacique o desafia: "Faça uma afirmação qualquer. Se
o que você falar for mentira você morrerá na fogueira,
se falar uma verdade você será afogado. Se não
pudermos definir sua afirmação como verdade ou
mentira, nós te libertaremos. O que você diria?
Motivação
Respostas
1. Pergunte a qualquer um deles: Qual a porta que o seu companheiro
apontaria como sendo a porta da liberdade?
2.
Explicação: O mentiroso apontaria a porta da morte como sendo a porta
que o seu companheiro (o sincero) diria que é a porta da liberdade. E o
sincero, sabendo que seu companheiro sempre mente, diria que ele
apontaria a porta da morte como sendo a porta da liberdade.
Conclusão: Os dois apontariam a porta da morte como sendo a porta que o
seu companheiro diria ser a porta da liberdade. Portanto, é só seguir pela
outra porta.
Afirme que você morrerá na fogueira.
Explicação: Se você realmente morrer na fogueira, isto é uma verdade,
então você deveria morrer afogado, mas se você for afogado a afirmação
seria uma mentira, e você teria que morrer na fogueira.
Referencias
Callejas, Bedregal. Acióly, Bendito. Lógica para a
Ciência da Computação, Natal, 2001.
http://pt.wikipedia.org/wiki/L%C3%B3gica
http://www.pucsp.br/~logica/
