Introdução à lógica matemática

Leite, Samuel Volkweis

dc.contributor.author	Leite, Samuel Volkweis
dc.date.accessioned	2024-04-02T20:10:06Z
dc.date.available	2024-04-02T20:10:06Z
dc.date.issued	2024
dc.identifier.uri	http://hdl.handle.net/10183/274407
dc.description.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.	pt
dc.format.mimetype	video/mp4
dc.language.iso	por	pt_BR
dc.rights	Open Access (by-nc-sa)	pt_BR
dc.subject	Lógica matemática	pt_BR
dc.subject	Teoria dos modelos	pt_BR
dc.title	Introdução à lógica matemática	pt_BR
dc.title.alternative	Construção de linguagens formais: parte I	pt
dc.title.alternative	Construção de linguagens formais: parte II	pt
dc.title.alternative	Provas formais: parte I	pt
dc.title.alternative	Provas formais: parte II	pt
dc.title.alternative	Completude da lógica de primeira ordem: parte I	pt
dc.title.alternative	Completude da lógica de primeira ordem: parte II	pt
dc.title.alternative	Semântica da lógica de primeira ordem: parte I	pt
dc.title.alternative	Semântica da lógica de primeira ordem: parte II	pt
dc.title.alternative	Teorias e modelos: parte I	pt
dc.title.alternative	Teorias e modelos: parte II	pt
dc.type	Recurso educacional	pt_BR
dc.subject.cnpq	Ciências exatas e da terra	pt_BR
dc.format.duration	18:14; 24:29; 23:14; 33:24; 22:45; 35:01; 24:23; 25:58; 23:53; 24:26	pt_BR
dc.audience.educationLevel	Educação Superior - Graduação	pt_BR
dc.description.installationRemarks	Não é possível instalar um arquivo de vídeo. Apenas transfira-o para seu computador e abra como um arquivo comum. Arquivos de vídeo não podem ser editados, mas podem ser visualizados em players como o VLC Media Player (que é gratuito), o Windows Media Player ou o QuickTime. Os formatos mais comuns de vídeo serão executados normalmente por estes players (avi, mpeg e mp4).	pt_BR
dc.description.learningType	Materiais de cursos e disciplinas	pt_BR
dc.description.learningType	Vídeo	pt_BR
dc.description.usage	Os vídeos apresentados podem ser usados como material de apoio a um curso introdutório à Lógica Matemática. O material também serve, e serviu, de apoio à disciplina Seminários sobre Tópicos de Matemática, do curso de Bacharelado em Matemática, quando abordada a temática da Lógica Matemática.	pt_BR
dc.description.version	1. ed.	pt_BR
dc.type.interactivityLevel	Baixo	pt_BR