Saltar para o conteúdo
Topos Uranos
Português

Nível 1 · 28 aulas

Lógica Matemática I: Lógica Proposicional

Sintaxe, dedução e semântica do cálculo proposicional clássico.

Conteúdo do curso

Unidade 0Apresentação do curso

  1. 01Plano de estudos de Lógica Matemática I

Unidade 1Linguagem

  1. 02Linguagem: introdução
  2. 03O que é a lógica matemática
  3. 04A linguagem da lógica proposicionalCom conta
  4. 05Indução sobre os números naturais e sobre as fórmulasCom conta
  5. 06Formalização da linguagem naturalCom conta
  6. 07Linguagem: síntese e desafiosCom conta

Unidade 2Dedução

  1. 08Dedução: introduçãoAssinaturaCom conta
  2. 09Sistemas dedutivos formaisAssinaturaCom conta
  3. 10Quatro técnicas de deduçãoAssinaturaCom conta
  4. 11As simetrias dos conectivosAssinaturaCom conta
  5. 12As técnicas da lógica clássicaAssinaturaCom conta
  6. 13Leis de De Morgan e leis distributivasAssinaturaCom conta
  7. 14Dedução: síntese e desafiosAssinaturaCom conta

Unidade 3Semântica

  1. 15Semântica: introduçãoAssinaturaCom conta
  2. 16Semântica da lógica proposicionalAssinaturaCom conta
  3. 17Consequência e equivalência semânticasAssinaturaCom conta
  4. 18Leis generalizadas de De Morgan e distributivasAssinaturaCom conta
  5. 19Completude funcionalAssinaturaCom conta
  6. 20Formas normaisAssinaturaCom conta
  7. 21O algoritmo das formas normais e as suas aplicaçõesAssinaturaCom conta
  8. 22Semântica: síntese e desafiosAssinaturaCom conta

Unidade 4Metateoria

  1. 23Metateoria: introduçãoAssinaturaCom conta
  2. 24Correção e completudeAssinaturaCom conta
  3. 25O teorema da compacidadeAssinaturaCom conta
  4. 26O método de resoluçãoAssinaturaCom conta
  5. 27Metateoria: síntese e desafiosAssinaturaCom conta

Unidade 5Encerramento do curso

  1. 28Balanço final de Lógica Matemática IAssinaturaCom conta