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.

Divisor e Máximo Divisor Comum

A videoaula traz o teorema da divisão no contexto dos números inteiros e o Máximo Divisor Comum (MDC). Destaca ainda o algoritmo de Euclides, sendo este usado para cálculo do máximo divisor comum.

Relações entre conjuntos

A videoaula apresenta as relações entre conjuntos. Uma relação é uma comparação entre objetos, onde dois objetos podem ou não estar relacionados por alguma regra, bem como por alguma forma de associação. A videoaula também destaca a relação menor que; o produto cartesiano; o domínio e imagem, as relações sobre um conjunto, as operações entre relações, e as representações gráficas de relações sobre conjuntos finitos.

Propriedades de relações e relações de equivalência

A videoaula traz as propriedades de relações, com foco nas relações reflexiva, irreflexiva, simétrica, antissimétrica, transitiva, e nas classes de equivalência.

Aritmética Modular

A videoaula traz o conceito de aritmética modular, como sendo o estudo das operações básicas sobre um contexto diferente, que é o sistema dos números inteiros módulo n. As operações básicas são: adição mod n, subtração mod n, multiplicação mod n, e divisão mod n. O material destaca ainda a adição e multiplicação modulares, a subtração e a divisão modular, o inverso modular e seus elementos e, por fim, o cálculo de equações.

Conjuntos parcialmente ordenados

A videoaula traz o conceito de conjunto parcialmente ordenado e o conceito de relação de ordem parcial. Destaca também o Diagrama de Hasse, os elementos comparáveis e não comparáveis, o máximo e o mínimo divisor comum, a regra da tricotomia, as extensões lineares e as ordenações lineares.

Teoria dos Grafos

A videoaula conceitua a teoria dos grafos, que oferece a base de estruturas de representação para diversos problemas como listas, árvores, pilhas, filas, e outras. Destaca também a adjacência, laços e arestas múltiplas, o grau de um vértice, a notação, os subgrafos, os grafos isomorfos, o passeio e caminho, e, por fim, os grafos cíclicos e acíclicos.

Bate-papo sobre processos e threads

O material apresenta explicações e exemplos de processos e threads (tarefas). Destaca ainda a multitasking (capacidade do Sistema Operacional de ter mais de um processo em execução ao mesmo tempo), a estrutura interna de um Sistema Operacional, as interrupções síncronas e assíncronas, o gerenciamento de múltiplos processos (tarefas, ou tasks) e a técnica de multiprogramação. O material também cita e descreve o sistema operacional multiusuário; o multiprocessamento e as múltiplas threads (tarefas) em um mesmo processo.

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.