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/