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.

Retas tangentes, derivação em cadeia e derivadas de funções implícitas

Capítulo 2 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Funções e suas derivadas

Capítulo 1 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Funções trigonométricas e Regras de L'Hopital

Capítulo 6 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Desenhando gráficos de funções, através de limites e derivadas

Capítulo 4 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Noções de Cálculo Diferencial e Integral para Tecnólogos

Livro completo

Cálculo numérico: uma abordagem para a educação a distância

O item não apresenta o texto completo, para aquisição do livro na íntegra você poderá acessar a Editora da UFSCar por meio do link: www.editora.ufscar.br

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.

Limites (cálculo e significado)

Capítulo 3 do Livro "Noções de Cálculo Diferencial e Integral para Tecnólogos"

Funções exponenciais e logarítmicas. O número e

Capítulo 5 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Dependência Linear

Esta videoaula explica sobre a dependência linear, ou seja, um tipo de relação entre os vetores de um conjunto. Um conjunto de vetores é linearmente dependente se, e só se, um dos vetores do conjunto for combinação linear dos demais vetores do conjunto. Assim, quando escrevemos um vetor como combinação linear e seus coeficientes são todos nulos, ele é linearmente dependente. Quando não existe relação linear entre os vetores diz-se que o conjunto é linearmente independente

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.

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.

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.