Aprofundando a reflexão sobre os conteúdos em Ciências Naturais

Partindo do pressuposto que a ciência é uma produção humana, os conceitos trabalhados nessa área se dão a partir de modelos, ou seja, quando estamos em contato com a realidade interagimos com o mundo e, dessa forma, criamos modelos para explicar o que observamos ou sentimos. Portanto, podemos afirmar que os modelos são criados para explicar aquilo que percebemos do mundo. É nesse sentido que quando pensamos em transposição didática levamos em conta o conhecimento científico e escolar, ou seja, de que maneira o professor irá transmitir o saber científico na escola e como esse irá seguir a lógica escolar. É nesse contexto que a criança passa a ter o conceito para si, sendo necessário que ela exerça uma reflexão diante do conhecimento adquirido. Podemos afirmar que o conceito é criado para interpretar a nossa relação com o mundo.

Desempenho de computadores

Esta animação descreve as representações de números binários sem sinal, representação de sinal e magnitude, complemento de 1, complemento de 2. Também são apresentadas a adição de números sem sinal, a subtração em complemento de 2, o conceito de overflow e exceção. O projeto de uma unidade lógica e aritmética (ULA) é descrito, assim como alguns exemplos das operações: slt e beq. Três versões da operação de multiplicação, que é mais complicada que a de soma, são apresentadas por meio de figuras e algoritmos. A representação de ponto flutuante e o padrão IEEE 754 também são descritos.

Etapas da pesquisa científica

Descrever brevemente as principais etapas de um trabalho de pesquisa realizado segundo o método de científico. Entre os principais pontos abordados estão a determinação do tema-problema, o levantamento da bibliografia, a construção lógica do trabalho e a redação do texto. Para satisfazer estes itens, alguns conceitos são trabalhados, tais como: a pesquisa cientifica, as etapas da pesquisa, a forma correta de se fazer o levantamento bibliográfico, as técnicas da construção lógica do trabalho, a correta identificação do tema-problema. Por ter estudantes de graduação, estudantes de pós-graduação e pesquisadores como os principais públicos alvos o vocabulário é simples e direto, visando transmitir o âmago do assunto discutido.

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.

Técnicas dedutivas

Esta animação apresenta os conceitos de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica a partir de um conjunto de premissas. Alguns passos são exemplificados para se chegar ao objetivo. Dentre esses estão a aplicação da regra de Simplificação, da regra de Modus Tollens, da regra de Modus Penens e da regra de adição. Alguns conceitos também devem já ser entendidos como o a da dedução, da conclusão e do uso de axiomas. Aplicando todas essas regras em conjunto em determinadas etapas da resolução do problema encontra-se a solução por dedução a partir de premissas. Este material é indicado a alunos dos cursos de graduação em que se depararem com disciplinas que contém algum tipo de lógica matemática ou que necessitam da aplicação destas regras.

Representação de categorias

Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.

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.

Solução Geral de Sistema Linear

Quando a matriz de um sistema linear se encontra na forma escalonada reduzida por linhas é fácil escrever sua solução nesse sistema. Assim, esta videoaula explica como obter a solução geral apresentando as metodologias que serão usadas dependendo de cada caso e as maneiras distintas de achar uma solução geral de um sistema.