Arquivos de autores:giorgio.reveco

Sou Licenciado em Física, Mestre em Engenharia Industrial e Docente Universitário. Dedico-me a desmitificar a física e a matemática. Meu objetivo é tornar esses campos facilmente compreensíveis para todos, fornecendo as ferramentas para explorar não apenas o mundo ao nosso redor, mas também as profundezas de nossa própria existência e a ordem natural que nos conecta com o cosmos.

Fundamentos de Probabilidades e Problemas Práticos

0 Comentários em Fundamentos de Probabilidades e Problemas Práticos
Fundamentos de Probabilidades e Problemas Práticos
Problemas Práticos com Conceitos Fundamentais de Probabilidades Resumo Nesta aula, revisaremos exercícios práticos, como a confiabilidade de um sistema de controle, estratégias de jogos de cartas e cálculos de probabilidades em situações cotidianas. As soluções dos problemas são apresentadas em vídeo, de modo que você poderá fortalecer sua compreensão e...

Completude e Solvência na Lógica Proposicional

0 Comentários em Completude e Solvência na Lógica Proposicional
Completude e Solvência na Lógica Proposicional
Completude e Solvência na Lógica Proposicional RESUMOEsta aula aborda a relação entre completude e solvência na lógica proposicional. Embora as técnicas de dedução e semântica na lógica proposicional tenham sido amplamente discutidas, pouca atenção foi dada à relação entre essas duas facetas. A solvência refere-se à propriedade de um sistema...

Provas por Indução: Generalização de De Morgan e Distribuição

0 Comentários em Provas por Indução: Generalização de De Morgan e Distribuição
Provas por Indução: Generalização de De Morgan e Distribuição
Provas por Indução: Regras Generalizadas de De Morgan e Distribuição RESUMOEsta aula aborda o tema das provas por indução em matemática e lógica proposicional. São explicados os dois tipos de provas existentes: as provas internas ou dedutivas, que se baseiam nas regras da lógica, e as provas externas ou metamatemáticas,...

Indução sobre a Complexidade das Fórmulas

0 Comentários em Indução sobre a Complexidade das Fórmulas
Indução sobre a Complexidade das Fórmulas
Indução sobre a Complexidade das Fórmulas RESUMONesta aula você aprenderá sobre uma variante da indução matemática, conhecida como "indução sobre a complexidade das expressões", que é muito útil para demonstrar propriedades na lógica proposicional. Através de um exemplo simples, o teorema de substituição, você verá como essa técnica é aplicada...

Formas Normais e suas Propriedades

0 Comentários em Formas Normais e suas Propriedades
Formas Normais e suas Propriedades
Formas Normais e suas Propriedades RESUMOA lógica proposicional é uma ferramenta fundamental na matemática e na informática. Nesta aula, será apresentado um resultado interessante e útil relacionado às formas normais. Para isso, serão definidos os conceitos de literal, forma normal conjuntiva (FNC) e forma normal disjuntiva (FND). Além disso, será...

Probabilidade Condicional e Independência entre Eventos

0 Comentários em Probabilidade Condicional e Independência entre Eventos
Probabilidade Condicional e Independência entre Eventos
Probabilidade Condicional e Independência entre Eventos ResumoNesta sessão, exploraremos o conceito de probabilidade condicional e a interação entre eventos. Vamos adquirir as habilidades para calcular probabilidades condicionais e determinar a dependência ou independência entre eventos. Aplicaremos exemplos práticos, como o estudo da prevalência de cáries em consumidores de doces, para...

Teorema de Bayes e a Probabilidade Composta

0 Comentários em Teorema de Bayes e a Probabilidade Composta
Teorema de Bayes e a Probabilidade Composta
Teorema de Bayes e a Probabilidade Composta ResumoNesta aula, foram abordados dois conceitos fundamentais em probabilidade: a probabilidade condicional e a probabilidade composta. Foi enfatizada a diferença entre e . O Teorema da probabilidade composta estabelece que a probabilidade de um evento pode ser expressa como a soma das probabilidades...