Clique para ir ao início Universidade de Brasília - UnB
Decanato de Ensino de Graduação - DEG
Secretaria de Administração Acadêmica - SAA
MatrículaWeb
GRADUAÇÃO
  Seja bem-vindo(a).
  Para ter acesso ao menu de Aluno, faça o login.
MatrículaWeb  clique aqui para fazer o login.
 


Período Atual
2017/2


Disciplina - Listagem de Ementa/Programa
Disciplina: 117358 - Lógica Matemática e Computacional
(Ver Oferta)

Graduação

Curso
Oferta
Telefones
Calendário
Mensagem da SAA
Benefícios DAC


Órgão: MAT - Departamento de Matemática.
Código: 117358
Denominação: Lógica Matemática e Computacional
Nível: Graduação
Vigência: 1971/2
Pré-req: Disciplina sem pré-requisitos
Ementa:

Lógica Proposicional - sintaxe e semântica; Argumento válido e dedução; O Método da Resolução na Lógica Proposicional; Lógica de Predicados - sintaxe e semântica; Argumento válido e Dedução; O Método da Resolução na Lógica de predicados.

Programa:



1. Lógica Proposicional: linguagem e fórmulas; algoritmo para verificação de fórmulas bem definidas, traduções, tabelas-verdade, tautologias, contradições, fórmulas equivalentes; regras de dedução, argumentos válidos e dedução; correção e completude da Lógica Proposicional; forma normal conjuntiva e disjuntiva; O método da resolução na Lógica Proposicional.

2. Lógica de Predicados: linguagem, quantificadores e fórmulas, regras de dedução do " e $; traduções; fórmula válida, argumentos válidos e dedução; correção e completude da Lógica de Predicados; forma prenex, regras de equivalência prenex, forma normal de Skolem, cláusulas, substituição, unificação; o método da resolução na Lógica de Predicados; apresentação da linguagem PROLOG.

Bibliografia:

(A) Lógica para Ciência da Computação - João Nunes de Souza; Editora Campus Ltda - 2002

(B) Logic for Computer Science - Stanley N. Burris; Prentice Hall, Inc. - 1998

© 2017 CPD - Centro de Informática
UnB - Universidade de Brasília