Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
22000224
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
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

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 / 2 56 55 Ciência da Computação (Bacharelado)
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA08:00 - 08:50
08:50 - 09:40
RENATA HAX SANDER REISER
Professor responsável pela turma

ALESSANDER OSORIO
Professor Regente

Disciplinas Equivalentes

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

Page generated on 2024-12-23 09:04:16 (query took 0.122497s)