Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
22000224
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
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.
Objectives
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
• 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.
Turmas Ofertadas
Turma | Período | Vagas | Matriculados | Curso / Horários | Professores | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
T1 | 2024 / 1 | 55 | 47 |
Ciência da Computação (Bacharelado) Horários
|
DIOGO JOÃO CARDOSO Professor responsável pela turma |
||||||
T2 | 2024 / 1 | 45 | 35 |
Engenharia de Computação (Bacharelado) Horários
|
RENATA HAX SANDER REISER Professor responsável pela turma |
Disciplinas Equivalentes
Disciplina | Curso |
---|---|
LÓGICA FORMAL | Ciência da Computação (Bacharelado) |
LÓGICA PARA COMPUTAÇÃO | Engenharia de Computação (Bacharelado) |