Relembrar contribuições no campo da Lógica Formal como o Curso de Extensão Tecnológica e Universitária que ministrei para Acadêmicos das Engenharias na TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) com título "INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS" sempre é motivo de júbilo e satisfação.
-CMCD-L-T-F.png)
DIAS, C. M. C. - 2024
Na oportunidade em questão tratei com o exigido rigor científico (de forma intensa e cartesiana) questões técnicas relacionadas com relações entre a Inteligência Lógica e a Engenharia Inferencial (ou Engenharia Lógica) que tenho desenvolvido já há algum tempo.
Na atividade extensionista em referência, realizada já há mais de uma década, apresentei, de forma a mais objetiva possível, Modelos Gerenciais Analíticos e Estruturas Algébricas dos Cálculos Lógicos aplicados à Teoria da Demonstração Dedutiva e à Teoria da Argumentação em Sistemas Algébricos Dicotômicos e Bivalentes.
Entendendo que a Extensão Universitária ofertada nas Instituições de Ensino e Pesquisa Públicas deve estar centrada na gratuidade para os participantes e na não cobrança de proventos por parte dos ministrantes desenvolvi o Curso de Extensão Tecnológica e Universitária sobre "INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS" sem quaisquer gastos financeiros para os participantes ou para a instituição que sediou o evento.
Festejo neste maio de 2024 o aniversário de mais esta atividade extensionista que realizei e que fez ampliar ainda mais o exército de Profissionais das Engenharias com conhecimentos basilares (mas, densos e abrangentes) sobre Lógica Matemática para o bem pensar, os quais, afirme-se, promovem transformações notáveis em seus meios de atuação servindo-se do poder da Lógica.
Carlos Magno Corrêa Dias
10/05/2024