COMPONENTE CURRICULAR

Componente Curricular
MATA47 - LÓGICA PARA COMPUTAÇÃO
Carga Horária - Total: 68 horas  
TeóricaPráticaEstágioDepartamentoSemestre Vigente
6800Ciência da Computação2007.2
Ementa
Técnicas de demonstração. Conceito de Lógica: sintaxe, semântica. Propriedades da lógica clássica. Lógica Proposicional e de Primeira Ordem. Métodos dedutivos como: axiomático, dedução natural, cálculo de sequentes, tableaux, resolução. Conceito de correção e completeza. Aplicações da lógica.
Programa
Objetivo
Não há Objetivo cadastrado
Conteúdo
Não há Conteúdo cadastrado
Bibliografia
Não há Bibliografia cadastrada


Lista de Turmas - Semestre 20241
DiaHorárioTurmaDocenteVinculaçãoTítulo
TER18:30 às 20:20T01Steffen LewitzkaREGIME JURIDICO UNICODoutorado
QUI18:30 às 20:20T01Steffen LewitzkaREGIME JURIDICO UNICODoutorado