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"

Botão "Direita"

Imagem componente do jogo “DigesTower (http://www.loa.sead.ufscar.br/digestower.php)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).