Introdução à lógica matemática

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorLeite, Samuel Volkweis-
Data de aceite: dc.date.accessioned2024-04-24T20:50:16Z-
Data de disponibilização: dc.date.available2024-04-24T20:50:16Z-
Data de envio: dc.date.issued2024-04-02-
Data de envio: dc.date.issued2024-04-02-
Data de envio: dc.date.issued2023-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10183/274407-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10183/274407-
Descrição: dc.descriptionEm 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.-
Descrição: dc.descriptionNã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).-
Descrição: dc.descriptionMateriais de cursos e disciplinas-
Descrição: dc.descriptionVídeo-
Descrição: dc.descriptionOs 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.-
Descrição: dc.description1. ed.-
Formato: dc.formatvideo/mp4-
Formato: dc.format18:14; 24:29; 23:14; 33:24; 22:45; 35:01; 24:23; 25:58; 23:53; 24:26-
Idioma: dc.languagept_BR-
Direitos: dc.rightsOpen Access (by-nc-sa)-
Palavras-chave: dc.subjectLógica matemática-
Palavras-chave: dc.subjectTeoria dos modelos-
Palavras-chave: dc.subjectCiências exatas e da terra-
Título: dc.titleIntrodução à lógica matemática-
Título: dc.titleConstrução de linguagens formais: parte I-
Título: dc.titleConstrução de linguagens formais: parte II-
Título: dc.titleProvas formais: parte I-
Título: dc.titleProvas formais: parte II-
Título: dc.titleCompletude da lógica de primeira ordem: parte I-
Título: dc.titleCompletude da lógica de primeira ordem: parte II-
Título: dc.titleSemântica da lógica de primeira ordem: parte I-
Título: dc.titleSemântica da lógica de primeira ordem: parte II-
Título: dc.titleTeorias e modelos: parte I-
Título: dc.titleTeorias e modelos: parte II-
Tipo de arquivo: dc.typetexto-
Aparece nas coleções:Repositório Institucional - LUME UFRGS

Não existem arquivos associados a este item.