Celebrando o QEM e a Engenharia a serviço da Nação.

Em 3 de agosto, comemora-se o DIA DO QUADRO DE ENGENHEIROS MILITARES.

O Quadro de Engenheiros Militares (QEM) constitui pilar de excelência técnica e dedicação que forma o Exército Brasileiro. Integrado por Oficiais formados no IME (Instituto Militar de Engenharia), o QEM representa inovação e o conhecimento mais atualizado da Engenharia aplicado a serviço do Brasil em diversas áreas desde a construção de infraestrutura até o desenvolvimento de tecnologias de ponta.

Atualmente, os membros do QEM, atuando em especialidades como Cartografia, Computação, Comunicações, Construção e Eletricidade, Eletrônica, Fortificação, Mecânica de Armamento, Química, entre outras, e prestando serviços essenciais em momentos de crise, principalmente, em desastres naturais, seguem os passos do notável Engenheiro e Coronel Ricardo Franco de Almeida Serra (1748-1809), nascido no dia 3 de agosto, o qual é o Patrono do QEM do Exército Brasileiro.

DIAS, C. M. C. - 2025

A história do QEM está intrinsecamente ligada ao visionário militar Coronel Ricardo Franco de Almeida Serra cuja atuação na defesa da Engenharia no período colonial do Brasil deixou legado duradouro e que segue incentivando gerações de jovens décadas seguidas.

Ricardo Franco de Almeida Serra, como Engenheiro-Chefe da Fronteira de Mato Grosso, não apenas projetou e construiu fortalezas estratégicas, como o Forte Coimbra, mas, também, se dedicou a estudos geográficos e cartográficos que foram fundamentais para a definição das fronteiras brasileiras. A sua capacidade de aliar a Ciência da Engenharia com a estratégia militar e a defesa do território nacional tornou o Coronel Ricardo Franco de Almeida Serra símbolo da fusão entre técnica e patriotismo. Frequentemente, se refere ao Coronel Ricardo Franco de Almeida Serra como “um homem do dever”.

O QEM, formado por Engenheiros altamente qualificados e inspirados pela história de seu patrono, constroem o futuro mais seguro e próspero para o Brasil reafirmando o compromisso do Exército Verde-Oliva com o desenvolvimento e a soberania da Nação.

O Coronel Ricardo Franco de Almeida Serra tem seu nome citado no hino do Estado de Mato Grosso do Sul e é reconhecido como herói e desbravador de sua época sendo amplamente festejado pelos levantamentos das fronteiras do Brasil entre os séculos XVIII e XIX.

Carlos Magno Corrêa Dias
03/08/2025

Simbiose entre o condicional e o compulsório.

Em primeiro de agosto de 2025 foram completados dez anos (uma década) da publicação de meu livro “LÓGICAS CONDICIONAIS EM REVERSAS EXPOSIÇÕES” (ISBN: 978-85-88925-23-6), de 2015; cujo número de exemplares daquela primeira edição já se esgotou há algum tempo. 

DIAS, C. M. C. - 2025

A obra em referência foi edificada objetivando dar continuidade ao meu trabalho de expor sob a forma de textos posições assumidas frente a diversas situações do mundo real tal qual o fiz na minha obra “CONDICIONAIS NECESSIDADES DE TRANSCENDENTES SUFICIÊNCIAS” (ISBN: 978-85-88925-20-5), na qual foram expostos, de forma, sistematizada, textos de 2012.

A coletânea inserida na obra agora celebrada é de 2013 e, conforme deixei registrado no prefácio, forma conjunto de textos, aforismos, artigos, dentre outros, que se relacionam, intrinsecamente, com necessidades e suficiências que visam contribuir para analisar ou refletir sobre aquelas sempre possibilidades que insistem em condicionar (compulsiva ou compulsoriamente) a sequência da vida, “encontrando no reverso do entendimento, em dadas vezes, as razões regulatórias”.

DIAS, C. M. C. - 2015

A obra é constituída de (exatamente) de 444 (quatrocentos e quarenta e quatro) títulos organizados e apresentados em ordem alfabética, versando sobre “diversas dimensões do observar a realidade para condicionar a continuamente caminhar em frente”.

A escolha por “444 títulos” não é aleatória e/ou, nem tão pouco, esteve condicionada ao acaso. Há razões matemáticas e lógicas para assim ter sido.

Em termos de “simbolismo” o número 4 tem significados especiais dado estar associado à ideia de estabilidade, estrutura, ordem, praticidade e fundamentação como, por exemplo, aos quatro elementos (terra, ar, fogo, água).

Em Matemática, na Geometria, o quadrado e o cubo são formas geométricas fundamentais que são definidas pelo número 4 (quatro lados, quatro vértices, quatro faces laterais). Na Teoria dos Números, 4 é um quadrado perfeito.

Na Lógica Formal o número 4 desempenha um papel significativo quando se trata de princípios lógicos fundamentais. Em Sistemas de Computação Digital o número 4 é utilizado na formação de um “nibble” ("nybble") que é a unidade de medida de informação em computação que consiste em 4 bits. É a metade de um byte, que é composto por 8 (2x4) bits. Um “nibble” pode representar 2x2x2x2=16 valores diferentes, geralmente utilizados para representar números hexadecimais de 0 a 15.

Também na Lógica Proposicional o número 4 é importante sendo inerente à análise de Valores Verdade de forma que para duas proposições simples existem 4 possíveis arranjos de Valores Verdade (Verdade (V), Falsidade (F)). Os 4 arranjos V-V, V-F, F-V, F-F formam a base para a construção das Tabelas-Verdade as quais são ferramentas fundamentais para analisar o Valor Verdade dos operadores binários básicos das Fórmulas Proposicionais na Álgebra da Lógica.

Carlos Magno Corrêa Dias
03/08/2025

Enigmas da igualdade. (BIS)

Antes de cada criação fantástica existe o trabalho anônimo e maravilhoso de diversas individualidades.

DIAS, C. M. C. 

Carlos Magno Corrêa Dias
02/08/2025

O essencial do melhor e do bem existir.

Viver com beleza e dignidade é caminho afiançado para o melhor e o bem existir.

DIAS, C. M. C. - 2925

Carlos Magno Corrêa Dias
01/08/2025

Álgebra do Cálculo dos Predicados.

Seguindo as celebrações das ações realizadas, festejo, neste 2025, com júbilo, os quinze anos do Curso de Extensão Universitária em CÁLCULO DAS FUNÇÕES PREDICATIVAS QUANTIFICADAS EM LÓGICA MATEMÁTICA, o qual fui o proponente e organizador do projeto do curso (Projeto 10.082) e o ministrante do curso.

Realizado no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), no período de 26/04/2010 a 16/06/2010, o curso objetivou apresentar técnicas e procedimentos formais para a estruturação e avaliação de Funções Predicativas e de Funções Proposicionais Quantificadas formalizadas de acordo com a semântica e sintaxe do Cálculo Proposicional e do Cálculo dos Predicados em Lógica Matemática de Primeira Ordem.

DIAS, C. M. C. - 2025

No curso em referência tratei de temas tais como: Termos e Predicados em Lógica Matemática Predicativa; Instanciação de Funções Proposicionais de Várias Variáveis; Conjunto Verdade de Funções Proposicionais de Várias Variáveis; Operações Lógicas sobre Funções Proposicionais; Simplificação de Funções Proposicionais; Quantificação de Funções Predicativas; Variáveis Livres e Variáveis Aparentes; Equivalências entre Funções Quantificadas; Simplificação de Funções Proposicionais Quantificadas; bem como Análise Lógica da Teoria dos Conjuntos.

As Funções Predicativas Quantificadas são a base da Lógica de Predicados a qual é muito mais expressiva que a Lógica Proposicional dado permitir formalizar e analisar sentenças mais complexas e argumentos em Matemática, Ciência da Computação e/ou Filosofia. As Funções Predicativas Quantificadas são uma forma poderosa de expressar afirmações sobre elementos de um conjunto.

Os Predicados (ou Funções Proposicionais) correspondem às sentenças que contém uma ou mais variáveis e que se torna uma proposição (dicotômica e bivalente) quando as variáveis são substituídas por valores específicos de um determinado conjunto (chamado de domínio ou universo de discurso).

Os Quantificadores, por sua vez, são elementos que indicam a "quantidade" de elementos do domínio para os quais o predicado pode ser a Verdade (V). Os dois principais quantificadores são: (a) Quantificador Universal: "Para todo" ou "Para cada" o qual indica que o predicado será a Verdade (V) “para todos os elementos do domínio”; (b) Quantificador Existencial: "Existe um" ou "Pelo menos um" o qual indica que o predicado tem valor Verdade (V) “para pelo menos um elemento do domínio”.

Quando se combinamos as Funções Proposicionais com os Quantificadores surgem as Funções Predicativas Quantificadas, originando o Cálculo dos Predicados em Lógica Matemática. Exatamente a Álgebra deste Cálculo dos Predicados (ou Cálculo das Funções Predicativas Quantificadas) é que desenvolvi no curso aqui rememorado.

Carlos Magno Corrêa Dias
30/07/2025

Inovando em Matemática Computacional.

O ano de 2025 está repleto de celebrações sobre ações que executei desde 1980 seguindo a divulgação das realizações a cada cinco anos. Não que nos intervalos entre estes anos múltiplos de cinco não tenham ações a comemorar. Mas, a escolha da cronologia quinquenal se deve a um planejamento adotando que se julga ser a forma mais objetiva e menos intensa que tanto evita gerar uma visão limitada quanto possibilita impedir uma talvez repetição desnecessária.

As ações assim apresentadas permitem a reflexão sobre os rumos tomados e contribuem com revisões e atualizações periódicas possibilitando adaptações e mesmo mudanças caso sejam necessárias. Apresentar minhas ações de cinco em cinco anos, desde 1980, a cada ano, se consolida como prática eficaz que possibilita análise do progresso atingido em relação a metas e objetivos traçados.

Assim sendo, venho celebrando atividades de extensão conduzidas, livros ou artigos publicados, premiações e distinções recebidas, obras literárias e artísticas produzidas, cursos e palestras ministrados, eventos propostos e/ou coordenados, enfim, trabalhos realizados nas áreas de minha atuação.

Além das ações já mencionadas fui o proponente, redator ou coordenador de Projetos de Cursos de Graduação e de Pós-Graduação como é o caso do Projeto do Curso de Graduação em Bacharelado em Matemática Computacional (com opção para Licenciatura em Matemática), o qual elaborei e coordenei em julho de 1995, para desenvolvimento no CCET (Centro de Ciências Exatas e de Tecnologia) vinculado à Pró Reitoria Acadêmica da PUC-PR (Pontifícia Universidade Católica do Paraná).

DIAS, C. M. C. - 2025

O objetivo do Curso de Bacharelado em referência foi a formação do Profissional da Matemática tanto para atuar na interface entre Matemática e as Ciências Aplicadas quanto desenvolver estudos em Matemática Pura.

A correspondente proposta não pretendia ser a de mais um Curso de Informática ou de um Curso de Matemá­tica com ênfase em Informática; mas, sim, tratava-se, efetiva­mente, de um Curso de Bacharelado em Matemática compatível com a evolução tecno­lógica da época, o qual “tomava os pressupostos da Informática como um instrumento poderoso na im­plementação das soluções propostas pelas teorias da Matemática”.

O Curso foi estruturado para “proporcionar ao educando uma formação sólida e completa quanto ao desenvolvimento do conhecimento matemático e o processo de modelagem em Matemática para a resolução de problemas do mundo real”. O curso foi pensado para “capacitar o educando não somente a utilizar produtos oriundos da Matemática como, também, a projetar e executar mecanismos de otimização dos modelos ma­temáticos implementados através de métodos e técnicas da Informática”; tendo-se, ainda, a opção de se cursar um quinto ano de estudos o qual habilitava legalmente o graduado para exercer o Magis­tério de Matemática e Informática no Primeiro e Segundo Graus do Ensino.

Carlos Magno Corrêa Dias
29/07/2025

Idiotice frente à dor da demência.

Se faz até graça (ridícula, é claro) com a senilidade (caduquice) das pessoas mais velhas; embora a demência (sempre cruel e implacável) sofrida pelos idosos é algo muito triste e doloroso.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa dias
28/07/2025

SBPC divulga “Compêndios de Matemática e Lógica Matemática”.

Seguindo a sequência de celebrações, recordo e festejo a publicação no Jornal da Ciência (JC E-mail), da SBPC (Sociedade Brasileira para o Progresso da Ciência), de 20 de julho de 2000, do texto com o título ““Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea”, livro de Carlos Magno Corrêa Dias”, no qual é divulgado meu livro “Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea” (ISBN: 85-900661-4-2).

DIAS, C. M. C. - 2025

No artigo em referência, a SBPC, elogiando a publicação de meus "Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea", menciona, também, minha atuação como Professor do Centro de Ciências Exatas e de Tecnologia (CCET) da PUC-PR (Pontifícia Universidade Católica do Paraná).

Naquele artigo do Jornal da Ciência da SBPC é observado que aquele meu livro oferece uma perspectiva única sobre Matemática e Lógica Matemática tratando textos selecionados e distintos que abordam tanto temas técnicos quanto tópicos históricos e filosóficos ligados à Matemática e à Lógica Matemática.

É afirmado na publicação que "Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea" (obra que elaborei, editei e publiquei) se diferenciava pela forma de abordagem não tradicional (“extemporânea”), apresentando ponderações sobre diversos temas ligados à Matemática e/ou à Lógica Matemática sem a preocupação de seguir uma sequência rígida de exposição ou um encadeamento sistemático, algo comum em livros sobre Matemática e/ou Lógica convencionais.

"Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea", segundo aposto no corpo do artigo em referência, é “obra destinada a todos que, em certa medida, se interessam por assuntos relacionados à Matemática e à Lógica Matemática” independentemente de sua formação ou área de foco específica.

Neste 2025, completam-se, então, um quarto de século, vinte e cinco anos, da publicação no Jornal da Ciência da SBPC do artigo em questão; seguindo-se, paralelamente, mais de duas décadas e meia (25 anos) da edição da obra divulgada.

Como pretendido o objetivo da obra sempre foi “o de apresentar um conjunto geral de observações que possa ser utilizado [extemporaneamente] pelo Estudante Universitário em disciplinas introdutórias sobre Lógica Matemática e Filosofia da Matemática” estimulando “a natural curiosidade do Aluno na busca do aprofundamento de determinadas questões ligadas aos temas veiculados”.

As edições de “Compêndios de Matemática e Lógica Matemática: Uma Abordagem Extemporânea" estão esgotadas. Todavia, até atualmente, a obra segue sendo inolvidável (bem como inovadora) e vem chamando seguidamente interessados; o que, possibilita pensar em uma nova edição do livro na sequência para completar as correspondentes celebrações.

Carlos Magno Corrêa Dias
27/07/2025

Diário Popular divulga “Transformadas” na PUC-PR.

Embora estivessem, em 1995, programados em disciplinas de Cálculo Diferencial e Integral conteúdos associados às Transformadas de Laplace, de Fourier e Z (em Variáveis Complexas), para muitos Acadêmicos dos Cursos de Ciências Exatas e de Tecnologia eram ainda “desconhecidos” ou, para outros tantos, exigia-se uma atualização; motivo pelo qual organizei e coordenei o “II Ciclo de Palestras sobre a Matemática” com o tema “Transformadas e suas Aplicações”.

O evento foi divulgado em distintos jornais da época tais como no Jornal Diário Popular que publicou matéria com o título “Palestras sobre a matemática”, em edição veiculada no período de 4 a 5 de junho de 1995, que apresentava o evento em seus detalhes para a Sociedade.

DIAS, C. M. C. - 2025

Foi tornando público naquele jornal que o Centro de Ciências Exatas e de Tecnologias (CCET) da Pontifícia Universidade Católica do Paraná (PUC-PR) estava ofertando a segunda edição do “Ciclo de Palestras sobre a Matemática” que trataria da Estruturação e Aplicações das Transformadas de Laplace, de Fourier e Z.

Na correspondente matéria de divulgação o Diária Popular menciona que, de acordo com minha posição, “O estudo das Transformadas de Laplace, Fourier e Z forma o mais fantástico conjunto de informações para a otimização da solução de inúmeros problemas vivenciados no dia a dia quanto à modelagem matemática”.

O texto colocava, também, que durante o II Ciclo de Palestras sobre a Matemática da PUC-PR seriam proferidas conferências sobre as Transformadas aplicadas à solução de problemas do mundo real; problemas aqueles, em particular associados às Engenharias, Física e Computação; ressaltando ser aquela uma oportunidade única para Estudantes, Engenheiros e Profissionais em geral que desejam receber informações correspondentes de forma sistematizada.

Após discriminar as palestras que comporiam o evento, das quais “Sistematização das Transformadas de Laplace” e “Aplicações das Transformadas de Laplace” apresentei, a correspondente matéria do Diário Popular colocou em evidência minha fala sobre as muitas e distintas aplicações das Equações Diferenciais que podem ser resolvidas por intermédio das Transformadas.

O “II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações”, foi pensado desenvolvido com o necessário rigor científico partindo-se do pressuposto que ou ouvintes detinham fortemente a base de Cálculo Diferencial e Integral exigida para tratar as complexidades envolvidas no tratamento das Transformadas de Laplace, Transformadas de Fourier e Transformadas Z.

O evento em referência foi um sucesso na opinião dos participantes e segundo sequência de reportagens apresentadas em Jornais da época sejam eles públicos ou institucionais como Gazeta do Povo (“Matemática Aplicada é o Tema de Ciclo de Palestras na Universidade Católica”), VIDA UNIVERSITÁRIA da Puc-PR (“Ciclo de Palestras sobre Matemática”), por exemplo.

Carlos Magno Corrêa Dias
26/07/2025

Comemorando a escrita.

Em 25 de julho celebra-se o DIA NACIONAL DO ESCRITOR. A data foi instituída em 25 de julho de 1960 quando da realização do Primeiro Festival do Escritor Brasileiro.

Sempre é uma satisfação celebrar o DIA NACIONAL DO ESCRITOR dada a importância atemporal da escrita na aprendizagem, na cultura e no avanço das Nações.

A escrita é mais do que uma ferramenta; é um pilar fundamental para o educar e para o aprendizado, para a preservação cultural, para o progresso e para o desenvolvimento.

“Cada livro é um universo de possibilidades, um convite à reflexão e uma semente para o futuro”. O escrever gera um mundo de possibilidades e de reflexões.

No DIA NACIONAL DO ESCRITOR comemore-se arte da palavra, a arte do escrever.

DIAS, C. M. C. - 2025

Ler é prazer apenas superado pelo escrever.

Se temos que escrever, escrevamos livros.

Carlos Magno Corrêa Dias
25/07/2025