🇺🇸 EN🇧🇷 PT🇪🇸 ES🇫🇷 FR

Bem-Vindo!

Lógica para Computação

Leitura de 2 min

Criado em: · Modificado em:

Sobre esta disciplina

Período: 1º Período · Núcleo: Profissionalizante · Carga Horária: 60h Tópicos: Lógica para Computação; Lógica Proposicional; Lógica de Predicados de Primeira Ordem; Aplicações de Lógica

CampoValor
CódigoCSECBJI.3
NúcleoProfissionalizante
Carga Horária60
Período1º Período
Pré-requisitos—

🔒 Trancas

📋 Ementa

Lógica para Computação; Lógica Proposicional; Lógica de Predicados de Primeira Ordem; Aplicações de Lógica

🎯 Objetivos

  • Dominar os conceitos lógicos fundamentais de dedução e validade, correção e completude do Cálculo Proposicional e de Predicados.
  • Entender e aplicar os conceitos da lógica proposicional e de predicados na construção do raciocínio utilizado pelo computador em um software.

📖 Conteúdo Programático

  1. Introdução à Lógica para Computação;
  2. Lógica Proposicional
  • Linguagem, Sintaxe, Semântica e Propriedades Semânticas;
  • Métodos para Determinação da Validade de Fórmulas;
  • Sistemas de Dedução de Lógica Proposicional.
  1. Lógica de Predicados de Primeira Ordem:
  • Linguagem, Quantificadores, Sintaxe, Semântica e Propriedades Semânticas;
  • Sistemas de Dedução na Lógica de Predicados.
  1. Aplicações de Lógica na Computação.

📚 Materiais de Apoio (acesso aberto)

Todos os materiais abaixo são de distribuição legal e gratuita — pode baixar e compartilhar.

📕 Bibliografia Básica

  1. FILHO, E. A. Iniciação à Lógica Matemática. Nobel, 1999.
  2. SILVA, F. S. C., FINGER, M., MELO, A. C. V. Lógica para Computação. Cengage Learning, 2017.
  3. SOUZA, J. N. Lógica para Ciência da Computação e Áreas Afins. 3ª Edição. Elsevier, 2014.

📗 Bibliografia Complementar

  1. GERSTING, J. L. Fundamentos Matemáticos para Ciência da Computação e suas Aplicações. 7ª Edição. LTC, 2016.
  2. MENEZES, P. B. Matemática Discreta para Computação e Informática. 4ª Edição. Bookman, 2013.
  3. MENEZES, P. B., TOSCANI, L. V., LÓPEZ, J. G. Aprendendo Matemática Discreta com Exercícios.
  4. Bookman, 2009.
  5. ROSEN, K. H. Matemática Discreta e Suas Aplicações. 6ª Edição. Mc Graw Hill, 2009.
  6. SCHEINERMAN, E. Matemática Discreta: Uma Introdução. 3ª Edição. Cengage Learning. 2016.

📎 Meu material da disciplina

(anotações, listas e trabalhos próprios — não são material oficial do curso)

Visão de gráfico

Backlinks