Lógica para Computação

📌 Informações Gerais da Disciplina

• Código: CSECBJI.3
• Período: 1º Período | Núcleo: Profissionalizante | Carga Horária: 60
• Docente Responsável: Ana Mara (ana.figueiredo@iff.edu.br)
• Livro / Material Didático Principal: Elementos de Eletrônica Digital (Capuano & Idoeta)

📋 Ementa e Objetivos Pedagógicos

📋 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.

🔒 Pré-requisitos e Dependências Curriculares (Trancas)

📋 Pré-requisitos Exigidos:

• Nenhum pré-requisito exigido (disciplina de entrada).

🔓 Disciplinas Trancadas (Liberadas após conclusão):

• CSECBJI.14 - Matemática Discreta
• CSECBJI.35 - Modelagem de Dados
• CSECBJI.46 - Eletrônica Digital

📖 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.
• 3. 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.
• 4. Aplicações de Lógica na Computação.

📚 Bibliografia Básica e Complementar (ABNT)

📕 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.

📝 Anotações e Arquivos Didáticos

• 📁 Acessar Repositório Dinâmico de Anotações da Disciplina