Lógica Matemática

Ementa

1. 1. Noções básicas: linguagem natural vs linguagens formais; verdade, validade, satisfatibilidade; lógica proposicional (sintaxe e semântica, propriedades e relações semânticas, consequência lógica, simplificação de fórmulas); lógica de primeira ordem (sintaxe e semântica, propriedades e relações semânticas, formas normais);

2. 2. Métodos de validação: métodos diretos de prova; métodos de prova por contradição; indução estrutural.

3. 3. Linguagem para experimentação.

4. 4. Aplicações básicas.

Dados Gerais

1. Núcleo:

   NC

2. Horas teóricas:

   64hrs

3. Horas práticas:

   0hrs

4. Total de horas:

   64hrs

5. Período:

   Segundo

6. Unidade:

   IME

7. Obrigatória:

   Sim

8. Pré-requisitos:

   Fundamentos de Matemática para Computação