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.

Comandos Condicionais

A videoaula aborda o conceito de comandos condicionais, sua sintaxe, funcionamento e subcategorias: Comando condicionais simples/completos e Comandos condicionais de seleção múltipla. Aborda ainda as necessidades de decisões algorítmicas.

Á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.

Introdução à análise de algoritmos

A videoaula traz uma introdução sobre análise de algoritmos e análise assintótica. A análise de algoritmos possibilita a compreensão do comportamento do algoritmo quando há muito o que processar, e a comparação entre algoritmos diferentes que resolvem um mesmo problema. A análise é feita por causa do tempo de execução, sendo possível fazer uma análise pelo espaço requerido.

Exemplos de análise de algoritmos

A videoaula traz exemplos sobre análise de algoritmos, explanando sobre a análise de trechos com tempo constante, análise de trechos com repetições de incremento constante, e análise de trechos com multiplicação ou divisão do controle de repetição.

Acesso à dados em memória secundária

A videoaula explica o processo de armazenamento e recuperação de dados nos dispositivos de memória secundária. Mostra também como ocorre a transferência de dados: apresenta o buffer de entrada e saída, verifica a organização dos dados do disco em bloco e visualiza o processo de leitura e escrita de dados em disco.

Planejamento Organizacional

A videoaula traz o conceito de planejamento organizacional, seus objetivos, contextos e aplicações. Destaca ainda a administração estratégica com foco no diagnóstico organizacional e elementos organizacionais importantes para o planejamento, como Negócio, Missão, Visão de futuro, Valores, Objetivos e Estratégia.

Técnicas dedutivas

Esta animação apresenta o conceito de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica de um conjunto de premissas. Apresenta também as regras de inferências lógicas , os conhecimentos prévios sobre os problemas e as regras da simplificação na proporção 1.

Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.

O caso de West

O vídeo aplica a lógica de predicados no caso de West. O objetivo deste problema é deduzir se um homem chamado West é criminoso ou não, e é baseado na seguinte informação: “Todo americano que vende armas para o país hostil é considerado um criminoso”.Faz-se então a dedução da afirmação para a lógica, com suposições e premissas.

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.

Grafos Eulerianos

A videoaula traz o conceito de grafo euleriano, aquele em que é possível encontrar um passeio que percorre todos os vértices sem passar duas vezes pela mesma aresta e retorna ao ponto de início. Destaca a trilha euleriana, sendo esta um passeio em um grafo G que atravessa cada aresta exatamente uma vez. Por fim, menciona o tour euleriano, este sendo uma trilha euleriana que começa e termina no mesmo vértice, e o grafo euleriano, um grafo com um tour euleriano.

Aresta e vértices de corte

A videoaula traz conceitos de aresta e vértices de corte. Destaca também as árvores e suas categorias, tipos específicos de grafo.

Funções - operações e propriedades

A videoaula conceitua funções e suas variáveis como uma regra ou um mecanismo de transformação de uma entrada em uma saída. Por fim, traz ainda a definição de função como conjunto de pares; Domínio e Imagem; a representação gráfica das funções e representação gráfica de funções sobre conjuntos finitos; a composição de funções; as funções inversível, injetiva, sobrejetiva, bijetiva, e a contagem de funções e propriedades.