Escola Online de Ciências Formais

Bem vindo ao módulo “Escola Online de Ciências Formais”, do nosso projeto de divulgação Número Imaginário.

Nesta página você tem à disposição os cursos do nosso site. Esses cursos são constituídos por séries de videoapresentações, nas quais faço uma exposição introdutória dos temas tratados, em geral, com base em algum livro previamente selecionado.

Lógica

• Introdução à Lógica I – Primeiros Passos na Lógica (acessar)
• Introdução à Lógica II – Um Brevíssimo Panorama dos Escritos Lógicos de Aristóteles (aguarde…)
• Introdução à Lógica III – Introdução à Lógica Tradicional (aguarde…)
• Introdução à Lógica V – Introdução à Lógica Simbólica (aguarde…)

Lógica Matemática

• Lógica Matemática I  – Introdução aos Sistemas Formais (acessar)
• Lógica Matemática II – Metalógica do Cálculo Proposicional (acessar)
• Lógica Matemática III – Método Axiomático e Teorias Formais (acessar)
• Os Teoremas da Incompletude de Gödel (aguarde…)
• Novos estudos sobre Sistemas Formais (aguarde…)

Teoria dos Conjuntos

• Teoria Axiomática dos Conjuntos I – Axiomas e Definições Iniciais da Teoria Zermelo-Fraenkel – ZF (acessar)
• Teoria Axiomática dos Conjuntos II – Números Naturais (acessar)
• Teoria Axiomática dos Conjuntos III – Números Inteiros, Racionais e Reais (aguarde…)
• Teoria Axiomática dos Conjuntos IV – Números Ordinais e Cardinais (aguarde…)
• Teoria Axiomática dos Conjuntos V – Introdução à Teoria de Conjuntos NBG (aguarde…)

Lógica e Computação

• Os Limites Teóricos da Computação (acessar)
• Elementos de Teoria da Recursão (aguarde…)
• Lógica de Programação (aguarde…)

História e Matemática

• Primeiros Passos na Matemática Superior (aguarde…)
• Conceitos Fundamentais do Cálculo Diferencial e Integral (aguarde…)
• Fundamentos da Análise Matemática Clássica (aguarde…)
• Uma Brevíssima Introdução aos Fundamentos da Matemática (acessar)
• Construções Geométricas com Régua e Compasso (aguarde…)

Colabore com nosso projeto!

Todo o nosso conteúdo é gratuito. Você pode ajudar na manutenção do nosso projeto tornando-se um dos nossos patrocinadores! Saiba como neste link.