Introdução à lógica matemática

Abstract

Em 10 vídeos, é apresentada uma introdução à Lógica Matemática, que visa apresentar seus resultados mais fundamentais. O tempo total dos vídeos é de aproximadamente 256 minutos. São 5 capítulos, cada um dividido em dois vídeos. São abordados os seguintes temas nos capítulos: Construção de Linguagens Formais: Metalinguagens e Linguagens Formais; Termos e Fórmulas; Abreviações e Convenções; Formas Conjuntivas, Disjuntivas e com Prenexos. Provas Formais: Lógica Sentencial; Provas Formais em L; Regras Lógicas Derivadas; O Problema da Derivabilidade. Completude da Lógica de Primeira Ordem: Conjuntos Consistentes e Inconsistentes; Extensões de Linguagens; O Modelo dos Termos Constantes. Semântica da Lógica de Primeira Ordem: Estruturas e Avaliações; Teoremas Fundamentais da Teoria de Modelos. Teorias e Modelos: Completude de Teorias; Classes de Modelos e Axiomatizações.