Detalhar Componente Curricular
| Tipo / Nível / Modalidade | DISCIPLINA - G - Presencial |
| Código | LMC0012 |
| Nome | INTRODUÇÃO À LÓGICA MATEMÁTICA |
| Equivalências | ( CEA0236 ) |
| Requisitos | |
| Corequisitos | |
| Carga Horária | 60h |
| Departamento | CERES - DEPTO CIÊNCIAS EXATAS E APLICADAS - DCEA/CERES/CERES |
| Ementa | Notação matemática. Linguagem de conjuntos. Introdução ao cálculo proposicional. Modelo axiomático. Teoremas. Demonstrações. Técnicas de demonstrações. |
