Turma 0700 - Lógica de Predicados - 2021/1


Informações da turma

Curso: Ciência da Computação

Período: 1

Professor(es): Parcilene Fernandes de Brito

Carga horária: 76 h

Ano/Semestre: 2021/1

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.

Ver Plano de Ensino Completo

Selo da responsabilidade social
CENTRO UNIVERSITÁRIO LUTERANO DE PALMAS
Avenida Teotônio Segurado 1501 Sul Palmas - TO CEP 77.019-900
Fone: (63) 3219 8000