Construção de tabelas verdade

Esta apresentação busca mostrar como deve ser feito para criar tabelas verdade para uma proposição compostas. São exibidos os passos a serem seguidos para a construção segundo um problema. Tem como inicio o entendimento do problema, a manipulação das variáveis do problema, a ordenação das mesmas e a construção propriamente dita da tabela. Seguidamente, é feita o preenchimento das linhas e colunas de acordo com o conceito abordado, este passo precede o entendimento de como fica a tabela-verdade populada aplicando os conceitos relacionados ao operador “ou” e a negação de uma proposição.

Construção de tabelas verdade - Parte 1

O vídeo explica a construção de uma tabela verdade para uma proposição composta e seus procedimentos. A tabela verdade é composta de 8 linhas e três passos de elaboração: o primeiro defini os valores de cada variável, o segundo defini as colunas de cada sub-fórmula e o terceiro defini o valor final de cada proposição.

Construção de tabelas verdade - Parte 3

O vídeo explica a construção de uma tabela verdade através de uma proposição composta. O primeiro passo é definir os valores de cada variável de forma direta. Depois, definir as colunas de cada sub-fórmula e preencher as colunas aplicando operadores, e com isso, definir os valores lógicos da proposição final.

Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Tabela periódica

Este item é parte de um conjunto de modelos produzido pela equipe do Laboratório de Objetos de Apredizagem (LOA)/UFSCar para o jogo LabTecA

Conhecimento, linguagem e legitimação no processo de aprendizagem acadêmico-científica

O item não apresenta o texto completo, para aquisição do livro na íntegra você poderá acessar a Editora da UFSCar por meio do link: www.editora.ufscar.br

Cálculo Diferencial e Integral - Integrais

Neste material é apresentado primeiramente um teorema muito importante que é o teorema do valor médio, com exemplos de aplicação. Na sequência temos a definição de antiderivada ou primitiva de uma função. No segundo tópico segue a definição de integral indefinida e a apresentação de algumas integrais importantes e básicas. Uma tabela de integrais básicas também é disponibilizada. Finalizando, foram listados propriedades e exemplos de integrais.

Operações sobre tabelas sem ordenação

Apresentação das principais características das tabelas de ordenação. Esta animação tem por objetivo ilustrar o funcionamento de tabelas sem ordenação. É ilustrada nesta animação como é feito o processo de criação de tabelas sem ordenação, a inserção de dados nesta tabela, bem como a remoção, a atualização e pesquisas dos dados armazenados neste tipo de tabela.

Operações sobre tabelas ordenadas

Apresentação das principais características das tabelas ordenadas. Esta animação tem por objetivo ilustrar o funcionamento de tabelas ordenadas segundo algum critério de ordenação. É ilustrada nesta animação como é feito o processo de criação de tabelas ordenadas pelo RA do aluno, a inserção de dados nesta tabela, bem como a remoção, a atualização e pesquisas dos dados armazenados neste tipo de tabela.

Podcast CCHS - recuperação de conceitos da disciplina

O podcast consiste em uma retomada do conteúdo e conceitos vistos durante a disciplina CCHS nas unidades 1 (sujeito, realidade e conhecimento) e 2 (razão e verdade).