Engenharia Lógica engendrando soluções.

Há mais de três décadas, há mais de 30 (trinta) anos, gerava, em decorrência de meus estudos e pesquisas sobre o “pensar lógico”, os fundamentos da Engenharia Lógica uma forma de engendrar soluções de maneira “consistente e correta” centrada nos Cálculos Lógicos (na Álgebra de Lógica) como uma abordagem analítica inovadora para a construção (o engendrar) de soluções.

Hoje a Engenharia Lógica permeia diversas áreas do saber determinando a resolução de problemas na criação de algoritmos para computadores, na análise de estruturas, no desenvolvimento de sistemas autômatos, na estruturação de linguagens de programação, na elaboração de projetos de sistemas que vão desde circuitos eletrônicos até grandes sistemas de controle industrial, na tomada de decisões em sistemas inteligentes como robôs e sistemas autônomos; dentre muitas outras possibilidades tecnológicas.

Para uma visão geral da Engenharia Lógica (ou Engenharia Inferencial, como em determinados contextos se apresenta) elaborei o artigo intitulado “Engenharia Lógica induzindo disrupção (mudança)”, publicado em 14/01/2025, na página oficial do Seesp (Sindicato dos Engenheiros no Estado de São Paulo), o qual está disponível no endereço https://www.seesp.org.br/site/comunicacao/noticias/item/23084-engenharia-logica-induzindo-disrupcao-mudanca.

Mais recentemente, em 27/01/2025, o artigo em referência foi publicado na página oficial da Federação Nacional dos Engenheiros (FNE), estando disponível no endereço https://www.fne.org.br/index.php/artigos/7279-artigo-engenharia-logica-induzindo-disrupcao.

DIAS, C. M. C. - 2025

No artigo “Engenharia Lógica induzindo disrupção (mudança)” apresento considerações gerias sobre a essência da Engenharia Lógica que criei informado, também, livros de minha autoria nos quais são tratados os pressupostos desta inovadora forma de conduzir os trabalhos nos campos da Engenharia para se atingir a esperada solução de problemas.

A Engenharia Lógica que proponho representa uma abordagem inovadora que busca integrar a Lógica Matemática com diversas áreas da Engenharia e das Tecnologias (em particular) bem como com as Ciências (em geral). Ao invés de ser apenas uma ferramenta teórica, a Engenharia Lógica passou a ser o alicerce para o desenvolvimento de soluções tecnológicas mais eficientes, robustas e capazes de induzir novas abordagens tecnológicas positivas na sociedade.

A Engenharia Lógica é fundada na premissa que a Lógica Matemática, com suas estruturas rígidas e métodos precisos, pode ser utilizada como um “framework” para o desenvolvimento de sistemas cada vez mais complexos. Ao aplicar os princípios da Lógica Matemática a problemas de Engenharia, é possível modelar sistemas complexos; validar soluções; otimizar processos; desenvolver sistemas inteligentes; ampliar e melhorar as relações homem-máquina expandindo sobremaneira a Transformação Digital, a Computação Quântica e as Redes Neurais Artificiais.

Carlos Magno Corrêa Dias
29/01/2025

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