lógica aplicada a computação - aquiles...
TRANSCRIPT
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/