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.

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.

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.

Comportamento PVT de substâncias puras

Apresenta as substâncias puras e o comportamento PVT dessas substâncias esclarecendo que o dimensionamento de vasos e tubulações é feito através das propriedades PVT. Apresenta conceitos de temperatura de saturação, líquido saturado, sub-resfriado, comprimido, vapor saturado, superaquecido, qualidade ou título. Apresenta os diagramas TV e PT para substâncias puras, com considerações. Define grau de liberdade. Apresenta o diagrama PVT da água, interpretando-o. Apresenta o diagrama PVT para a água, bem como as tabelas de propriedades termodinâmicas, tabelas de vapor de água, equações de estado e equação do virial. Descreve quando um gás real assume comportamento ideal. Apresenta as equações de estado do terceiro grau, cúbicas, que podem ser utilizadas para líquidos, gases e vapor.

Perspectivas teóricas no estudo das organizações: parte 2

Unidade 4

Apostila - “Construção de algoritmos”

Este material contém a apostila “Construção de algoritmos” da disciplina Algoritmos e programação I do curso de Sistemas de informação. O conteúdo programático a ser abordado é composto de 11 unidades, sendo: “Unidade 1: Conceitos básicos sobre algoritmos”; “Unidade 2: Conceitos básicos para o desenvolvimento de algoritmos”; “Unidade 3: Expressões algorítmicas”; “Unidade 4: Estratégia de desenvolvimento de algoritmos”; “Unidade 5: Comandos condicionais”; “Unidade 6: Comandos de repetição”; “Unidade 7: Ponteiros”; “Unidade 8: Estruturas compostas heterogêneas: registros”; “Unidade 9: Sub-rotinas”; “Unidade 10: Estruturas compostas homogêneas: arranjos”; “Unidade 11: Estruturas compostas mistas: homogêneas e heterogêneas”. O material possui figuras ilustrativas, algoritmos usados como exemplos e tabelas

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.