| Componente Curricular |
|---|
| MATB29 - LÓGICA MATEMÁTICA |
| Carga Horária - Total: 68 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 34 | 34 | 0 | Matemática | 2007.2 |
| Ementa |
|---|
| Linguagem proposicional e de primeira ordem. Sintaxe e Semântica. Dedução natural de Gentzen-Prawitz. L-estrutura e modelo. Igualdade. Completude do cálculo da primeira ordem. Teorema da compacidade. Teoremas de Loewennheim, Skolem. Método das constantes. Morfismo de L-estruturas. Representabilidade. Os teoremas da Incompletude de Gödel. |
| Programa |
|---|
| Objetivo |
|---|
| Não há Objetivo cadastrado |
| Conteúdo |
|---|
| Não há Conteúdo cadastrado |
| Bibliografia |
|---|
| Não há Bibliografia cadastrada |