Objetivando apresentar a Lógica Formal (Analítica) do Cálculo Diferencial e Integral aplicado sobre Funções Hiperbólicas Diretas e Funções Argumento (ou Funções Hiperbólicas Inversas) ministrei, no período de 02/02/2015 a 27/02/2015, o Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS.
Tomando por base a Álgebra da Lógica desenvolvida no Cálculo Proposicional Dedutivo e no Cálculo Predicativo de Primeira Ordem objetivei mostrar como avaliar e analisar a Lógica da Diferenciação e Integração das Aplicações (das Funções) Hiperbólicas (Diretas e Inversas).
Apresentei, também, Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica a partir das Operações e Relações da Álgebra da Lógica Matemática para o correspondente estudo de Diferenciais e Integrais envolvendo as Aplicações Hiperbólicas.
Carlos Magno Corrêa Dias
29/05/2015