De 02/02/2015 a 27/02/2015 ministrei, no Câmpus Curitiba da UTPR (Universidade Tecnológica Federal do Paraná), o Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS destinado a Alunos ou Ex-Alunos dos Cursos de Graduação de quaisquer Áreas de Conhecimento, oriundos de quaisquer Instituições de Ensino Superior, não sendo exigida qualquer preparação específica prévia no campo da Lógica.
DIAS, C. M. C. - 2025
Entretanto, conforme o edital era recomendado que os participantes possuíssem conhecimentos mínimos de Cálculo Diferencial e Integral sobre Funções Reais de Variáveis Reais e que as inscrições fossem realizadas diretamente comigo mediante encaminhamento de mensagem eletrônica prévia.
Lembro que a concorrência foi enorme ao ponto de me comprometer a realizar uma segunda ou terceira turma caso existisse número excedente de interessados em participar daquela Ação de Extensão. Foram geradas “Lista de Espera” e três edições seguintes se obrigaram concluir.
O principal objetivo do curso em referência foi o de apresentar a Lógica Formal (Analítica, Matemática) do Cálculo Diferencial e Integral de Funções Hiperbólicas Diretas e Funções Argumento (ou Funções Hiperbólicas Inversas) centrada no Cálculos Lógicos (Proposicional e dos Predicados) de Primeira Ordem para o entendimento lógico e o desenvolvimento formal de Modelos de Solução Otimizada em Engenharia associados às Estruturas Hiperbólicas (Diretas e Inversas).
Foram apresentados, 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.
DIAS, C. M. C. - 2015
Como sigo dizendo, um estudo dos Modelos Hiperbólicos dissociado de tratamento Lógico Dedutivo Formal pouco pode contribuir para perspectivar novas soluções e extensões. Motivo pelo ministrei o Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS no qual apresentei um tratamento Lógico Formal Dedutivo dos Modelos Hiperbólicos centrados na Álgebra da Lógica na qual as Operações Lógicas e Relações Lógicas do Cálculo Sentencial e do Cálculo Predicativo passavam a ser o fundamento necessário para a aquisição dos conhecimentos relacionados. Desnecessário dizer, mas o curso foi inovador e inédito na época.
Categoricamente, no Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS mostrei como possibilitar a Avaliação Lógica Dedutiva dos Modelos Hiperbólicos surgidos no Cálculo Diferencial e Integral.
Em 2025, celebro, então, os já mais de dez anos (uma década) da realização do Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS o qual continua sendo um capítulo muito especial no processo de Ações de Extensão que venho desenvolvendo.
Carlos Magno Corrêa Dias
10/03/2025