LÓGICA PARA COMPUTAÇÃO

Nome da Atividade

CÓDIGO

22000224

Carga Horária

60 horas

Tipo de Atividade

DISCIPLINA

Periodicidade

Semestral

Modalidade

PRESENCIAL

Unidade responsável

Centro de Desenvolvimento Tecnológico

CARGA HORÁRIA TEÓRICA

FREQUÊNCIA APROVAÇÃO

75%

CARGA HORÁRIA OBRIGATÓRIA

CRÉDITOS

Ementa

Relação entre Lógica e Computação. Sintaxe e Semântica da Lógica Proposicional. Sintaxe e Semântica da Lógica de Predicados. Sistemas de Prova com Dedução Natural. Formalização e Verificação de Argumentos.

Objetivos

Objetivo Geral:

Apresentar ao aluno os fundamentos da lógica matemática, sistemas de prova, semântica, formalização e aplicações.

Conteúdo Programático

1. Introdução
• Histórico e aplicações
• Utilização da Lógica na Computação
• Noções de argumento, Validade e formalização
2. Lógica Proposicional
• Sintaxe
• Semântica
• Sistemas de provas
• Completude e correção dos cistemas de dedução
3. Lógica de Predicados
• Sintaxe
• Semântica
• Sistemas de provas
• Completude e correção dos sistemas de dedução

Bibliografia

Bibliografia Básica:

HUTH, Michael, RYAN, Mark. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004.
SOUZA, João N. de. Lógica para ciência da computação : fundamentos de linguagem, semântica e sistemas de dedução. Rio de Janeiro: Campus, 2002.
NOLT, John, ROHATYN, Dennis. Lógica. Editora McGraw-Hill, 1991.

Bibliografia Complementar:

ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 1995.
SILVA, Flávio S. C. da, FINGER, Marcelo, MELO, Ana C. V. de. Lógica para computação. São Paulo: Thomson, 2006
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. Editora LTC, 1995.
CASANOVA, Marco A., GIORNO, Fernando A. C., FURTADO, Antonio. Programação em lógica e a linguagem Prolog. São Paulo: Edgard Blucher, 1987.
NERODE, Anil, SHORE, Richard A. Logic for applications. Springer, 2a. ed., 1997.