620b.surfista.prateado.v1.001 2.GIBIHQ.a.origem.do.Vigia.18AGO09.Aquiles Grego.br
Lógica Aplicada a Computação - Aquiles...
Transcript of Lógica Aplicada a Computação - Aquiles...
LÓGICA APLICADA A COMPUTAÇÃO
Aquiles Burlamaqui2009.3
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
Unidade I
A Teoria Formal da Lógica Proposicional
Teorias Formais
Teoria Formal da Lógica Proposicional
Teorema da Dedução
Teorias Formais
Prova e Teorema
Consequência
Equivalentes
Teoria Formal da Lógica Proposicional
Observações
Teorema da Dedução
Teoremas
Outras Teorias Formais
Lógica Proposicional
Exercícios
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/