Nome da Disciplina
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
22000224
Carga Horária
60 horas
Atividade Complementar
Não
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.

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.

Turmas Ofertadas

Turma Período Vagas Matriculados Curso / Horários Professores
T1 2020 / 1 50 0 Ciência da Computação (Bacharelado)
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUI08:00 - 08:50
08:50 - 09:40
T3 2020 / 1 40 0 Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
T2 2020 / 1 45 0 Engenharia de Computação (Bacharelado)
Horários
ManhãTardeNoite
QUA10:00 - 10:50
10:50 - 11:40
SEG15:10 - 16:00
16:00 - 16:50

Disciplinas Equivalentes

Disciplina Curso
LÓGICA FORMAL Ciência da Computação (Bacharelado)
LÓGICA PARA COMPUTAÇÃO Engenharia de Computação (Bacharelado)

Página gerada em 19/01/2020 03:11:10 (consulta levou 0.192341s)