| Componente Curricular |
|---|
| MATC73 - INTRODUÇÃO À LÓGICA MATEMÁTICA |
| Carga Horária - Total: 60 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 30 | 30 | 0 | Departamento de Ciência da Computação | 2023.1 |
| Ementa |
|---|
| Técnicas de demonstração. Lógica Proposicional: sintaxe, semântica, formas normais conjuntiva e disjuntiva, métodos dedutivos de Resolução e de Tableaux. Lógica de Primeira Ordem: sintaxe, semântica (conceito de interpretação), formalizações de sentenças da língua natural, métodos dedutivos de Resolução e de Tableaux. Propriedades da lógica clássica. 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 |