Dados Gerais do Componente Curricular
Tipo do Componente Curricular: |
MÓDULO |
Unidade Responsável: |
INSTITUTO DE ENGENHARIA E GEOCIÊNCIAS (11.01.09) |
Código: |
IEG040007 |
Nome: |
LÓGICA E MATEMÁTICA DISCRETA |
Carga Horária Teórica: |
90 h. |
Carga Horária Prática: |
0 h. |
Carga Horária de Ead: |
0 h. |
Carga Horária Total: |
90 h. |
Pré-Requisitos: |
|
Co-Requisitos: |
|
Equivalências: |
( ( PC010001 ) )
|
Excluir da Avaliação Institucional: |
Não |
Matriculável On-Line: |
Sim |
Horário Flexível da Turma: |
Sim |
Horário Flexível do Docente: |
Sim |
Obrigatoriedade de Nota Final: |
Sim |
Pode Criar Turma Sem Solicitação: |
Sim |
Necessita de Orientador: |
Não |
Possui Subturmas: |
Não |
Exige Horário: |
Sim |
Quantidade de Avaliações: |
3 |
Ementa/Descrição: |
Sentido lógico-matemático convencional dos conectivos. A lógica sentenciar. Tabelas-verdade. Implicação e equivalência lógica. Regras de formação de fórmulas. Métodos dedutivos. Lógica sentencial. Decidibilidade da lógica sentencial. A lógica de predicados de primeira ordem. Valores-verdade. Sistemas algébricos. linguagens simbólicas, tabelas-verdade. |
|
|
|