Lógica de Predicados

2025/1 - Turma 0607

Ementa

Operadores Lógicos. Tabelas-Verdade. Formalização de Argumentos. Regras de Inferência. Verificação da validade de fórmulas por Árvores de Refutação. Verificação da validade de fórmulas por Tabelas-Verdade. Cálculo Proposicional. Cálculo de Predicados.

Competências

Objetivos

Programa

Metodologia

Avaliação

Bibliografia

Básica

Complementar

Material Digital

Informações da Turma
Curso
Engenharia de Software
Período: 1
Carga Horária: 76h
Horário: 2N
Sala:
Professores