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.

Introdução a algoritmos: visão geral

A videoaula traz uma visão geral, conceitos e principais características dos algorítimos computacionais. Algoritmos correspondem a uma sequencia finita de ações que, quando executadas, levam à solução de um problema em um tempo finito. A partir de um problema, passa-se pela aplicação de uma sequência de ações e no final o problema é resolvido. Algoritmos possuem como características a execução sequencial das instruções; cada instrução é executada por completo antes de se proceder para a próxima, não sendo ambíguas e dependentes de interpretação.

Árvores B: Visão Geral

Árvore B é uma estrutura de dados na forma de uma árvore de busca composta por uma organização de nós que permitem buscas eficientes. A videoaula traz uma visão geral deste conceito de Árvore B e explana sobre suas características.

Visão geral de subsistemas de E-S.

O material apresenta uma visão geral de subsistemas de entrada e saída (E/S) de dados, destacando seu gerenciamento. O texto traz também as atuações do Sistema Operacional nas operações de E/S (emitir comandos para os dispositivos, atender interrupções geradas pelos dispositivos, tratar erros nas operações desses dispositivos, prover uma interface para utilização dos dispositivos), os aspectos de hardware, os aspectos de software e seus objetivos (independência de dispositivo, nomeação uniforme; manipulação de erros; transferência síncrona (bloqueante) e assíncrona (orientada a interrupções); dispositivos compartilhados e dedicados). Por fim, destaca uma forma de estruturação do software de E/S através de: Tratadores de interrupção, controladores de dispositivos, software de E/S independente de dispositivo e Software de E/S ao nível do usuário.