Saída para um futuro melhor.

Muita SAÚDE, SUCESSO e SABEDORIA (os 3 esses da fortuna) para 2025. Que com resiliência e consciência seja possível, neste 2025 que se inicia, mitigar (abrandar, suavizar, “resolver”), adequadamente, logicamente, as consequências dos anos anteriores. Somem-se as forças e expertises adquiridas para multiplicar-se resultados ainda em maior quantidade e melhores. Sempre o próximo ano é uma saída para um futuro melhor.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/01/2025

ENGENHARIA LÓGICA celebrada em extensão.

Em 2024, celebro os dez anos da apresentação de minhas Ações de Extensão Universitária e/ou Tecnológica no campo da ENGENHARIA LÓGICA e das LÓGICAS REVERSAS RECURSIVAS ministradas para Acadêmicos das Ciências Exatas e de Tecnologia.

DIAS, C. M. C. - 2024

A EXTENSÃO deve ser tomada como vetor indutor da indissociabilidade entre ENSINO, PESQUISA e EXTENSÃO. Em 2014, as minhas Ações de EXTENSÃO mostraram, uma vez mais, na prática, como a PESQUISA gera as exigidas soluções de problemas percebidos na Sociedade para, naturalmente, se transformar em bons conteúdos os quais tanto podem ser convertidos em conhecimento do ENSINO a ser transmitido em sala de aula quanto constituem elo crucial no processo contínuo e sustentável do fazer Ciência e do gerar Tecnologias.

As Ações/Atividades de Extensão (Universitária e/ou Tecnológica) que realizei em 2014 foram especiais dado que objetivavam apresentar ao mundo sensível tanto as “LÓGICAS REVERSAS RECURSIVAS” quanto a “ENGENHARIA LÓGICA” as quais são áreas de conhecimento de minha autoria.

Com satisfação tive oportunidades de comprovar que nesta última década os conhecimentos que orbitam as duas áreas que criei já seguiram para diversos outros campos e estão promovendo progressos dos mais expressivos em muitos campos do saber para muito além das distinguidas Ciências Exatas e Tecnologias. “As ‘alfa’ premissas geram ‘beta’ conclusão em processo contínuo, recursivo e permanente”.

Especificamente realizei naquele 2014 as seguintes Ações/Atividades de Extensão Tecnológica e/ou Universitária; quais sejam:

- Palestra/Conferência sobre PDI (Pesquisa - Desenvolvimento - Inovação): Uma questão nacional;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária em Lógica Matemática Inferencial Proposicional de Primeira Ordem;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária em Análise Lógica de Modelos Diferenciais e Integrais Nas Engenharias;

DIAS, C. M. C. - 2014

- I SIDELOFIC - Seminário Inovação e Desenvolvimento em Lógica e Filosofia da Ciência: Engenharias em Inovação Científica e Tecnológica;

DIAS, C. M. C. - 2014

- II COENTELOG - Colóquio Entelechia Logicae: Inovação em Engenharia Lógica;

DIAS, C. M. C. - 2014

- Palestra/Conferência sobre Cálculo Lógico Inferencial;

DIAS, C. M. C. - 2014

- Lançamento do livro Cálculo Lógico Inferencial;

DIAS, C. M. C. - 2014

- III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária em Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária em Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS;

DIAS, C. M. C. - 2014

- Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS;

DIAS, C. M. C. - 2014

Em 2024, comemoro com júbilo a já passada uma década da realização daquelas Ações/Atividades de Extensão. “Ao infinito e além”, muito além.

Carlos Magno Corrêa Dias
31/12/2024

Dilemas surfam nas ondas da inovação.

Se não é possível resolver com o Cálculo Diferencial e Integral ou com a Lógica, então, de fato, é um problema.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
17/12/2024

Crime aparente de amplas implicações.

Aquele que é chamado a praticar o bem e não o faz por mera conveniência é apenas um miserável que sequer merece alguma piedade.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
01/12/2024

Softwares algébricos multiplicando soluções matemáticas.

Em 2004, desenvolvia estudos sobre a utilização da Matemática no mundo tecnológico dos computadores no sentido de utilizar métodos numéricos e algoritmos computacionais para a determinação de soluções numéricas dos modelos matemáticos que estava desenvolvendo. Buscava, na época, soluções analíticas passíveis de rápida e eficiente implementação por meio de programas de computador.

Foi quando conheci o Software Algébrico Maple V, uma “ferramenta” desenvolvida inicialmente na Universidade de Waterloo, no Canadá, o qual permitia, já naquela época (há duas décadas), manipular satisfatoriamente praticamente todo conhecimento matemático, principalmente o acadêmico desenvolvido nas Universidades.

O Maple V vinha se tornando um dos principais softwares de cálculo simbólico e numérico do mundo devido combinar com muita eficiência um “motor matemático poderoso” com uma interface amigável a qual facilitava, em muito, a resolução de problemas de forma rápida e precisa; além, também, de permitir a criação de gráficos 2D (bidimensionais) e 3D (tridimensionais), bem como possibilitar a programação de soluções usando uma boa linguagem de programação. Entretanto, o Maple V parecia meio desconhecido nos meios universitários de todo o Brasil.

Por entender ser necessário (e urgente) a utilização daquele “aplicativo” na Academia na análise, exploração e resolução de problemas matemáticos em áreas como Álgebra, Cálculo Diferencial e Integral, Equações Diferenciais, Estatística, Física, entre outras; escrevi o artigo “Cálculo diferencial e integral através do Maple V”; o qual foi publicado na época na Revista Tecnologia & Humanismo do então Cefet-PR (Centro Federal de Educação Tecnológica do Paraná).

O conteúdo do artigo em foco tornou-se referência para todo aquele que necessita estabelecer soluções matemáticas nos campos de atuação quando são exigidas rapidez e eficiência por meio do uso de softwares algébricos. Uma das importantes vantagens de utilização de softwares algébricos como o Maple V, tanto naqueles tempos de publicação do artigo quanto nos dias de hoje, segue sendo a possibilidade de realizar um maior número de experimentos em um tempo muito menor.

DIAS, C. M. C. - 2024

O artigo já há muito encontra-se disponibilizado, na íntegra, no PERI (Periódicos Científicos) da UTFPR (Universidade Tecnológica Federal do Paraná), podendo ser acessado livremente, mediante acesso aberto (“open access”), no endereço: https://tinyurl.com/yjd3528u.

Então neste 2024 celebro, com júbilo, duas décadas, vinte anos, da publicação do meu artigo “Cálculo diferencial e integral através do Maple V” que mesmo atualmente ainda tem ajudado inúmeros Acadêmicos dos Cursos das Ciências Exatas e das Tecnologias (tanto quanto Profissionais, principalmente das Engenharias) a resolverem problemas e proporem soluções cada vez mais inovadoras e determinantes.

Carlos Magno Corrêa Dias
04/11/2024

Afronta brutal à inteligência.

Interessante observar que o homem, detentor de racionalidade única, segue criando bombas e formas perversas de aniquilar o próprio homem. Mas, nem os ratos, nenhum ser irracional na verdade, seria capaz de gerar armas para a extinção da própria espécie, pois de tudo fazem para se preservar. Mas, dirão, é claro, que os demais animais (não racionais) não o fazem porque são “brutos” e não possuem sequer a possibilidade (ou competência, ou “inteligência”) de inventar quanto mais construir semelhantes dispositivos de aniquilamento. É óbvio mesmo.

DIAS, C. M. C. - 2024

Carlos Magno Corrêa Dias
01/11/2024

A força do livro transforma mentes.

Em 29 de outubro, celebra-se DIA NACIONAL DO LIVRO ao mesmo tempo em que se prestam homenagens, também, à fantástica Biblioteca Nacional do Brasil fundada em 29 de outubro de 1810. Pela Lei número 5191, de 18 de dezembro de 1966, ficou instituído, no Brasil, o dia 29 de outubro como sendo o DIA NACIONAL DO LIVRO.

O livro chama o intelecto transformando mentes.

DIAS, C. M. C. - 2018

Quaisquer que sejam os livros, de alguma forma, sempre serão revolucionários e transformadores de mentes ampliando experiências adquiridas para formar o repositório do então vivido pela humanidade.

DIAS, C. M. C. - 1999

Neste 29 de outubro de 2024 tenho a grata satisfação de comemorar, também, os 25 (vinte e cinco) anos, um quarto de século, de publicação de minha obra “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” (ISBN: 85-900661-2-6) na qual tem-se a origem de minha Engenharia Lógica e pela qual nutro especial apreço dado conter parte importante da base que estrutura meu conhecimento e saber.

DIAS, C. M. C. - 2024

No DIA NACIONAL DO LIVRO, e em todas as ocasiões nas quais os livros são necessários, viva-se a força de cada livro que empodera e dá soluções.

Carlos Magno Corrêa Dias
29/10/2024