COMPONENTE CURRICULAR |
Componente Curricular | ||||
---|---|---|---|---|
MATA47 - LÓGICA PARA COMPUTAÇÃO | ||||
Carga Horária - Total: 68 horas | ||||
Teórica | Prática | Estágio | Departamento | Semestre Vigente |
68 | 0 | 0 | Ciência da Computação | 2007.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 | |||||
---|---|---|---|---|---|
Dia | Horário | Turma | Docente | Vinculação | Título |
TER | 18:30 às 20:20 | T01 | Steffen Lewitzka | REGIME JURIDICO UNICO | Doutorado |
QUI | 18:30 às 20:20 | T01 | Steffen Lewitzka | REGIME JURIDICO UNICO | Doutorado |