degreeStuff

Logica e Computação

Docentes:

Aulas

Aula Data Tipo Informações
Aula 2 14/02/2022 Teorico-Pratica -

Plano Curricular

  1. Cálculo Proposicional
    1.1. Sintaxe: Conectivos, Fórmulas bem formadas
    1.2. Semântica: Tabelas de Verdade, Fórmulas Válidas e Verdadeiras, Formas Normais, Regras de Inferência
  2. Cálculo de Predicados
    2.1. Limitações do Cálculo Proposicional
    2.2. Quantificação e Demonstrações: Argumentação Informal, Quantificadores Universal e Existencial, Refutação por Contra-exemplo, Demonstração Direta, Demonstração por Contradição
  3. Recursão
    3.1. Definições Recursivas: Termos Recursivos, Relações e Funções Recursivas
    3.2.Demonstração por Indução: Indução nos Números Naturais, Indução Estrutural

Ficheiros

🗂 [parent directory]

📂 LC
  📄Logica proposicional
  📄Logica primeira ordem 1
  📄Logica primeira ordem 2
  📄Notas
  📄logica.py

This site is open source. Improve this page.