O rio do mar corre para a irreversibilidade

As mesmas praias não levam a idênticos mares.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/11/2026

Retrospectiva dos Escritos de Outubro de 2016 e 2021

A trajetória da produção intelectual e acadêmica ganha profundidade e amplitude quando observada sob a ótica da periodização cronológica. O hábito sistemático de registrar, publicar e revisitar artigos nos espaços de difusão digital permite identificar a evolução de reflexões fundamentais que articulam a Lógica Matemática, a Filosofia da Ciência, a Engenharia, a Inovação e a Responsabilidade Social. 

Ao rever minhas publicações efetuadas em mídias digitais nos meses de outubro de 2016 e outubro de 2021, constato a vigência do compromisso contínuo assumido com o rigor inferencial, a preservação da memória científica e o desenvolvimento do país.

DIAS, Carlos Magno Corrêa - 2026

O conjunto de textos veiculados em outubro de 2016 traz à tona um vigoroso debate entre os limites formais da cognição e as transformações tecnológicas e sociais em curso.

Além das fronteiras tecnológicas, outubro de 2016 destacou-se pela defesa inconteste do civismo e da memória histórica.

Passados cinco anos, as produções de outubro de 2021 renovam e ampliam as premissas humanistas e científicas, agora sob a perspectiva da Agenda 2030, da aceleração digital e da integração entre universidade e setor produtivo.

No âmbito do ensino e da pesquisa universitária, outubro de 2021 resgatou marcos fundamentais de extensão tecnológica e de valorização das ciências exatas.

Ao celebrar a publicação dessas duas coletâneas de artigos veiculadas nos meses de outubro de 2016 e 2021, evidencia-se uma práxis acadêmica que não se limita ao espaço estrito da sala de aula ou dos laboratórios. A escrita sistemática nos blogs de divulgação científica cumpre o papel de registrar a memória institucional, estimular a reflexão crítica e manter viva a interlocução com a comunidade.

Seja pela investigação dos limites da bivalência e dos sistemas formais, seja pelo apelo à cidadania, ao respeito às instituições e ao compromisso social, os textos de 2016 e 2021 reafirmam uma premissa perene: a ciência e a tecnologia adquirem seu pleno sentido quando voltadas à elevação da dignidade humana e ao progresso coletivo.

No endereço https://drive.google.com/file/d/1-qmR0hh1A1uloXp5u17Gy6QXCUzkiwU9/view?usp=sharing encontram-se as publicações citadas de outubro de 2016.

No endereço https://drive.google.com/file/d/1-Ffoqca2XhPDVJyJrxzEnKrwRttJWF7z/view?usp=sharing encontram-se as publicações citadas de outubro de 2021.

Carlos Magno Corrêa Dias
31/10/2026

A Lógica para o bem pensar no PETI da PUCPR

Em 30 de outubro de 1996, nascia uma fecunda parceria entre a rigorosa disciplina da Lógica Formal e a sensibilidade transformadora do Programa de Estudos da Terceira Idade (PETI) da Pontifícia Universidade Católica do Paraná (PUCPR), quando tive a satisfação de ministrar a palestra intitulada "A Lógica para o bem pensar".

Hoje, aquela minha Ação de Extensão cumpre o seu trigésimo aniversário (1996–2026), revelando-se não apenas como um registro de passado, mas como um testemunho vivo da força da Extensão Universitária.

A gênese da participação em questão reveste-se de profundo significado institucional. Convidado pela Pró-Reitoria de Pós-Graduação, Pesquisa e Extensão, por intermédio da Coordenação do PETI/PUCPR, o atendimento ao chamado foi guiado por uma convicção inegociável: a de que o saber acadêmico só cumpre sua plenitude social quando transborda os muros da sala de aula tradicional.

Conforme registrado na memória institucional da época (que ressaltou que "o Programa de Estudos da Terceira Idade da Pontifícia Universidade Católica do Paraná (PETI/PUCPR) sentia-se honrado com minha participação"), a satisfação foi mútua. Colocar os conhecimentos em Lógica Matemática e Argumentação a serviço de um público tão ávido por saberes quanto o do PETI exemplifica a essência da extensão como via de mão dupla.

DIAS, Carlos Magno Corrêa - 2026

A exposição teve como eixo central a apresentação da Lógica Formal como instrumento indispensável para se pensar corretamente. Numa época em que o debate público e a complexidade social exigiam o aprimoramento do pensamento crítico, a palestra estruturou-se sobre bases teóricas sólidas: a exploração de métodos para a estruturação da Teoria da Argumentação e a precisa análise inferencial em nível dedutivo; o exame detalhado de raciocínios dedutivos válidos, capacitando os participantes a identificarem a correta conexão entre premissas e conclusões; bem como o estudo crítico de falácias e sofismas, municiando os presentes com ferramentas intelectuais de defesa contra argumentos falaciosos ou manipulativos.

Criado no final da década de 1980 e consolidado ao longo dos anos 1990, o programa firmou-se como uma das iniciativas pioneiras em gerontologia educacional e inclusão socioeducativa no Estado do Paraná. Alinhado ao movimento global das Universidades Abertas à Terceira Idade (UATI), o PETI operou como um laboratório vivo de ensino, pesquisa e responsabilidade social.

Vinculado à então Pró-Reitoria de Pós-Graduação, Pesquisa e Extensão, o programa integrou equipes multidisciplinares e produziu conhecimento científico sobre o envelhecimento ativo. Serviu de matriz para as atuais políticas institucionais da PUCPR voltadas à longevidade, inspirando núcleos de atendimento, eventos de gerontologia e ações de voluntariado.

Carlos Magno Corrêa Dias
30/10/2026

Um quarto de século de Lógica Matemática no Vida Universitária

A publicação da resenha e divulgação de minha obra "Lógica Matemática: introdução ao cálculo proposicional" (ISBN: 85-900661-3-4) nas páginas do jornal VIDA UNIVERSITÁRIA representa um marco significativo para o registro da produção acadêmica e para o fortalecimento do Ensino das Ciências no Estado do Paraná.

DIAS, Carlos Magno Corrêa - 2026

Veiculada na edição número 128 (Ano XVI) de outubro de 2001, na página 12 da publicação oficial da Pontifícia Universidade Católica do Paraná (PUCPR), a nota divulga meu livro elaborado entre os anos de 1997 e 1998 e lançado no segundo semestre de 1999, cujo prefácio é, também, de minha autoria.

Com 405 páginas estruturadas para aproximar tanto estudantes do Ensino Médio quanto da Educação Superior dos fundamentos da Lógica Formal, "Lógica Matemática: introdução ao cálculo proposicional" trata o Cálculo Proposicional de forma progressiva indo do elementar (fundamental) ao complexo.

O livro cumpre o papel essencial de desmistificar a linguagem matemática e instrumentalizar o leitor no raciocínio estruturado, uma competência indispensável para diversas áreas do conhecimento humano e tecnológico (como o tenho afirmado já há décadas).

A visibilidade dada pelo jornal VIDA UNIVERSITÁRIA reafirma a relevância histórica de publicações independentes de caráter científico-didático. Ao registrar o lançamento e a recepção do livro no âmbito universitário de Curitiba, o veículo institucional contribuiu para a difusão da literatura acadêmica que transcendeu o local e abraçou o mundo exterior. Celebra-se, portanto, uma contribuição duradoura para o ensino da Matemática e da Lógica, cujo impacto e valor formativo permanecem preservados no acervo da memória universitária.

“Se a obra encerra alguma pretensão não revelada, esta não pode ser mais do que a pretensão de constituir uma experiência de iniciação, sem, entretanto, isentar, de todos os riscos teórico-didáticos que possam surgir em decorrência.”

Conforme observo também no prefácio da obra “o objetivo do livro, em essência, é introduzir, com desejável rigor e grau de aprofundamento, algumas das técnicas dedutivas do cálculo sentencial, partindo-se do estudo das proposições e dos elementos que sistematizam o raciocínio dedutivo comum em Matemática. São introduzidas, informalmente, por um lado, considerações sobre formalização, validade, interpretação, consequência, e, por outro, são precisadas e desenvolvidas considerações sobre notações, simbolismo lógico e não lógico, semântica e sintaxe da linguagem lógica”.

Carlos Magno Corrêa Dias
29/10/2026

Servindo à Coletividade e ao Interesse Público

Originalmente chamado de DIA DO FUNCIONÁRIO PÚBLICO, o dia 28 de outubro, atualmente denominado DIA DO SERVIDOR PÚBLICO, está diretamente ligado ao processo de modernização e estruturação do Estado no Brasil.

A escolha da data remete ao dia 28 de outubro de 1939, data na qual foi assinado o Decreto-Lei número 1.713 que aprovava o primeiro Estatuto dos Funcionários Públicos Civis da União, estabelecendo as primeiras regras e diretrizes unificadas sobre: provimento de cargos e concursos públicos; direitos, deveres e estabilidade funcional; bem como promoções, licenças e regimes de trabalho.

Com a Constituição Federal de 1988, a terminologia oficial passou por uma mudança conceitual importante, sendo o termo “Funcionário Público” associado à ideia de exercente de uma "função" estatal, enquanto “Servidor Público” passava a denotar o caráter social e republicano do trabalho (aquele que serve à coletividade e ao interesse público).

DIAS, Carlos Magno Corrêa - 2026

Ao longo dos anos, quando da celebração do DIA DO SERVIDOR PÚBLICO, tenho apresentado reflexões que procuram se enquadrar em minha particular visão de mundo.

Em 28/10/2016, há dez anos, publicava a reflexão a seguir reproduzida conforme registrada a época.

“As Universidades BRASILEIRAS (sejam elas Públicas ou Privadas), obedecendo ao princípio de indissociabilidade entre Ensino, Pesquisa e Extensão, conforme estabelecido no artigo 207 de nossa Constituição Federal, deveriam formar (sempre) Profissionais habilitados para gerar CONHECIMENTO ÚTIL e INOVADOR para resolver problemas do “MUNDO REAL” promovendo, necessariamente, o Desenvolvimento e o Progresso de nossa Nação e garantindo, obrigatoriamente, uma VIDA MELHOR para cada um de nós CIDADÃOS.”

Hoje, 28 de outubro de 2026, sirvo-me da mesma observação para saudar mais este DIA DO SERVIDOR PÚBLICO.

Carlos Magno Corrêa Dias
28/10/2026

Inovação pela Lógica Formal e Filosofia Analítica

O cenário acadêmico e tecnológico brasileiro guarda marcos profundos quando a rigorosidade do pensamento formal encontra o imperativo criativo da Inovação. No panorama em questão, a segunda edição do Secafunp (Seminário de Cálculo das Funções Predicativas em Lógica Matemática) consolidou-se como um divisor de águas na reflexão científica desenvolvida no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR).

Tive a grata satisfação de idealizar, coordenar e conduzir o II Secafunp, evento que se erigiu como um manifesto da simbiose entre o Rigor Analítico e o Desenvolvimento Produtivo, baseando-se na premissa de que a Ciência da Academia e as Tecnologias da Indústria devem manter simbioses relacionais constantes e contínuas para o progresso da Nação.

Se a primeira edição do evento, realizada em 2010, abriu clareiras investigativas ao debater as “Instâncias Sentenciais e Funções Quantificadas”, o ano de 2011 viu o II Secafunp mostrar-se especial na correspondente empreitada intelectual. Em 26 de outubro de 2011, o II Secafunp aportou no Câmpus Curitiba da UTFPR trazendo como tema central: Lógica Formal e Filosofia Analítica como Fator de Inovação.

DIAS, Carlos Mgano Corrêa - 2026

O II Secafunp cumpriu um papel estruturante no amadurecimento e consolidação das pesquisas em Engenharia Lógica (a qual já desenvolvo há décadas), demonstrando que os Cálculos Predicativos e as Linguagens Analíticas não constituem meras abstrações, mas são ferramentas vivas e poderosas capazes de solucionar dilemas do mundo real de forma a catapultar os resultados obtidos pela Inovação.

Consubstanciado na conferência que ministrei Intitulada “Lógica Formal e Filosofia Analítica como Fator de Inovação”, o Secafunp 2011 mostrou que a Inovação está indissoluvelmente ligada à forma lógica de pensar; sendo praticamente impossível exercer o pensamento lógico genuíno sem flertar com a Inovação.

O evento desmistificou a noção simplista de que a Inovação decorre exclusivamente do ineditismo vazio. Pelo contrário, evidenciou-se que muitas vezes, velhos gargalos tecnológicos e científicos são superados simplesmente ao se identificarem as estruturas lógicas ou as correntes filosóficas subjacentes que antes permaneciam obscuras.

O II Secafunp chamou a comunidade acadêmica a projetar sistemas lógicos centrados na análise dos processos circundantes. Os Cálculos Lógicos desvinculados da materialidade imediata convocam a Inovação a trabalhar em conjunto, expandindo horizontes e potencialidades sistêmicas.

Celebrar os 15 anos do Secafunp é exaltar o pensamento autônomo, a precisão do Cálculo Predicativo em Lógica e a convicção de que o avanço tecnológico genuíno floresce onde a razão encontra seu solo mais fértil.

Carlos Magno Corrêa Dias
27/10/2026

Os Cinco Anos do Alerta Sobre a Longa Sombra

Em outubro de 2021, em meio aos escombros e às incertezas que sucederam os momentos mais agudos da crise sanitária global gerada pela pandemia da Covid-19, quando ainda se contavam os óbitos imediatos e se buscava a retomada da normalidade, escrevi um artigo com reflexões prevenindo a sociedade sobre os graves riscos que viriam no pós-pandemia principalmente no campo neurológico.

Ao celebrar os cinco anos daquele relato, impõe-se revisitar suas premissas para compreender a real magnitude do fardo pós-pandêmico que ainda segue afetando sistemas de saúde e famílias em escala global.

Rompendo a visão restrita de que a periculosidade da Covid-19 se esgotava no ato do falecimento ou na fase aguda da infecção respiratória, a reflexão em tela chamou a atenção para o fato de que a infecção sistêmica, a inflamação vascular generalizada e o estresse hipóxico inerentes à doença grave funcionavam como catalisadores potentíssimos de declínio cognitivo.

Organizações científicas e sanitárias citadas à época já projetavam cenários alarmantes, como a multiplicação acentuada de novos casos de demência entre as populações idosas e mesmo em faixas etárias intermediárias que sofreram com formas severas da moléstia.

Passada meia década, o que antes era uma projeção baseada em prognósticos preliminares consolidou-se em uma realidade epidemiológica mensurável, frequentemente associada ao espectro da chamada "Covid longa" (“long COVID”).

A relevância de trazer esse debate para o centro da discussão pública demonstra a transversalidade dos impactos de uma crise sanitária. A infraestrutura de um país não se resume a pontes, estradas e redes lógicas; ela reside primordialmente em sua capacidade de cuidar das pessoas, de antecipar vulnerabilidades e de estruturar redes de assistência médica e social capazes de absorver demandas complexas.

Embora incômodo, o assunto referenciado permanece atual e faz recordar que as verdadeiras cicatrizes de uma pandemia não se fecham com a decretação do fim de uma emergência sanitária global, mas ecoam por gerações, exigindo vigilância constante, empatia institucional e a certeza de que a saúde mental e neurológica é um pilar inegociável da dignidade humana.

DIAS, Carlos Magno Corrê - 2026

O artigo encontra-se disponível no portal da FNE (Federação Nacional dos Engenheiros) sob o título “Para além da morte Covid-19 intensifica casos de Demência” (datado de 21/10/2021 em https://www.fne.org.br/index.php/artigos/6450-artigo-para-alem-da-morte-covid-19-intensifica-casos-de-demencia) e no portal do SEESP (Sindicato dos Engenheiros no Estado de São Paulo) com ligeira alteração no título, publicado como “Para além da morte, Covid-19 intensifica casos de demência” (datado de 26/10/2021 em https://www.seesp.org.br/site/index.php/comunicacao/noticias/item/20663-para-alem-da-morte-covid-19-intensifica-casos-de-demencia).

Carlos Magno Corrêa Dias
26/10/2026

O Marco Histórico do 3D em Curso de Maple V

No cenário da educação superior e da evolução tecnológica da década de 1990, a transição entre o cálculo analítico tradicional e a computação algébrica representou uma verdadeira revolução pedagógica. Entre os dias 21 e 30 de outubro de 1996, ministrei na Pontifícia Universidade Católica do Paraná (PUC-PR) o curso de extensão universitária e atualização intitulado "Representação de Superfícies e Volumes em 3D através do Maple V".

DIAS, Carlos Magno Corrêa - 2026

Com uma carga horária total de 20 horas-aula, o evento estruturou-se como um mergulho na intersecção entre a Lógica Matemática, a Geometria Espacial e os Recursos Computacionais emergentes da época.

O objetivo central da capacitação residiu em dotar os participantes de ferramentas conceituais e operacionais indispensáveis sobre a sintaxe do Software Maple V (Release 3). Em uma época em que a visualização tridimensional de funções exigia rigor sintático e domínio computacional apurado, o curso cumpriu o papel de desmistificar a edição eletrônica de superfícies e relações matemáticas no espaço real tridimensional.

Sob minha proposição e coordenação, o evento realizado tratou desde os fundamentos até complexidades avançadas, apresentando: introdução estruturada às potencialidades do Maple V na manipulação simbólica e gráfica, edição de gráficos de funções e relações na forma paramétrica, bem como a transição para coordenadas cilíndricas e esféricas, permitindo aos estudantes e profissionais modelar superfícies complexas com precisão, bem como exploração de rotinas sofisticadas para otimizar o fluxo de trabalho computacional.

O curso "Representação de Superfícies e Volumes em 3D através do Maple V" foi desenvolvido visando, também, a análise gráfica de conceitos fundamentais do Cálculo Diferencial e Integral. Foram inseridas considerações cruciais sobre a edição e interpretação de limites, derivadas e integrais de funções em três dimensões.

A abordagem permitiu que a comunidade acadêmica vislumbrasse o comportamento dinâmico de superfícies e volumes, conferindo intuição geométrica a formulações analíticas abstratas. A simulação computacional atuou, assim, como uma extensão lógica do raciocínio matemático, consolidando a simbiose entre o rigor formal e a percepção visual.

O curso de extensão em referência permanece como um marco indelével na trajetória de inovação no Ensino das Ciências Exatas no Paraná. Ao capacitar discentes e profissionais na exploração de superfícies e volumes por meio da computação algébrica, a iniciativa fomentou a cultura do uso de ferramentas computacionais avançadas na engenharia e na matemática aplicada.

Assim, em 2026, celebram-se três decênios daquele evento reconhecendo a importância de antecipar paradigmas tecnológicos, transformando linhas de código e sintaxes matemáticas em pontes sólidas para a compreensão da complexidade do universo tridimensional.

Carlos Magno Corrêa Dias
24/10/2026

Celebrando 120 Anos do Feito Memorável de Alberto Santos Dumont

A aeronave "Ave de Rapina" (“Oiseau de Proie”, em francês), o emblemático 14-Bis, com seu design e funcionalidade inovadores e inesquecíveis, transformou para sempre o mundo até então limitado. O 14-Bis, sucessor do Balão número 14, ergue-se como um marco incontestável na história da aviação mundial.

DIAS, Carlos Magno Corrêa - 2024

"Em 23 de outubro de 1906, no Campo de Bagatelle, em Paris, o extraordinário Alberto Santos Dumont (1873–1932) decolava a bordo do 14-Bis. Impulsionado por um motor a gasolina, sem o auxílio de dispositivos externos de propulsão e sem a necessidade de rampas ou trilhos de lançamento, percorreu 60 metros em sete segundos, atingindo a altura de aproximadamente 2 metros. Um feito notável, incrível e fantástico, cujo elevado grau de inovação transcendeu possibilidades e mudou definitivamente os rumos do desenvolvimento da humanidade."

Após projetar e testar 13 aeronaves e dirigíveis que antecederam o 14-Bis, a segunda versão deste décimo quarto projeto tornou-se a primeira aeronave movida a motor (mais pesada que o ar) a voar de forma autônoma, controlada e sustentada por seus próprios meios, utilizando unicamente as quatro forças aerodinâmicas fundamentais do voo: peso, sustentação, empuxo e arrasto. Uma criação verdadeiramente monumental de quem, por excelência, sempre foi um visionário e inovador.

O aeronauta e aviador Alberto Santos Dumont é um verdadeiro divisor de águas na história da aviação global. Existe uma história simples antes de Santos Dumont e outra, infinitamente mais vasta e determinante, depois dele. O Aviador, Engenheiro do Ar e verdadeiro Pai da Aviação abriu os céus para a humanidade e transformou a civilização com a invenção e validação do voo autônomo.

Neste 23 de outubro, celebra-se, com júbilo e sempre renovada satisfação, o Dia do Aviador e o Dia da Força Aérea Brasileira (FAB), em homenagem ao seu insigne Patrono. O Marechal do Ar Alberto Santos Dumont transcendeu os limites da terra e das águas ao conquistar a terceira dimensão: o ar.

Naquele memorável 23 de outubro de 1906, o primeiro voo sob a definição concreta de um avião foi realizado com pleno sucesso, alterando para sempre a trajetória do nosso planeta.

No artigo “Celebrando o mestre dos ares e o engenheiro da aviação prática”, apresento homenagem ao incrível aeronauta inventor brasileiro, AVIADOR, MESTRE DOS ARES, Alberto Santos Dumont. O correspondente texto está disponível nos endereços: https://www.fne.org.br/index.php/artigos/6903-artigo-celebrando-o-mestre-dos-ares-e-o-engenheiro-da-aviacao-pratica e https://www.seesp.org.br/site/comunicacao/noticias/item/22027-celebrando-o-mestre-dos-ares-e-o-engenheiro-da-aviacao-pratica.

Carlos Magno Corrêa Dias
23/10/2026

Marco histórico do primeiro COLENLOG

A trajetória do pensamento científico e tecnológico exige, de maneira imperativa, a constante maturação dos fundamentos que sustentam a racionalidade formal. Foi sob essa premissa essencial que concebi, realizei e coordenei, no âmbito do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), o primeiro COLÓQUIO ENGENHARIA LÓGICA (I COLENLOG), centrado no tema ANÁLISE INFERENCIAL E COMPUTABILIDADE EM ENGENHARIA LÓGICA.

Integrado à programação oficial da Semana Nacional de Ciência e Tecnologia do MCTI, a formulação do I COLENLOG nasceu de um diagnóstico acerca das lacunas presentes na formação acadêmica. Já naquela época, a evolução vertiginosa das tecnologias de computação evidenciava uma carência sensível: a ausência de meios sistêmicos para a avaliação e correção formal de raciocínios estruturados por meio da codificação e decodificação de proposições.

O evento foi realizado no período de 17 a 20/10/2016, em um total de 20 (vinte) horas, apresentando os pressupostos necessários para a instanciação da Engenharia Lógica como área de conhecimento para engendrar e desenvolver métodos e técnicas para a avaliação e correção formal de raciocínios estruturados a partir da codificação e decodificação de proposições utilizadas na fundamentação das Ciências (em geral) e das Ciências Exatas (em particular).

DIAS, Carlos Mgno Corrêa - 2026

Em conformidade, também, com a evolução e o alcance da Álgebra da Lógica e da Filosofia Analítica, foram postuladas as razões pelas quais a Engenharia Lógica é instanciada como Modelo Inferencial Analítico Axiomático necessário para avaliação formal de Inferências Dedutivas centradas na Computabilidade dos Cálculos Lógicos.

Baseando-se nos fundamentos da Análise Inferencial e da Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva), em associação com o engendrar nas Engenharias, no I COLENLOG apresentei as seguintes palestras: Álgebra da Lógica em Engenharia Lógica (em 17/10/2016); Engenharia Lógica como Modelo Analítico Inferencial (em 17/10/2016); Lógica Computacional (em 19/10/2016); Lógicas Recursivas Inferenciais (em 19/10/2016); Computabilidade de Sistemas Algébricos (em 20/10/2016); e, Pressupostos da Lógica Fuzzy (em 20/10/2016).

Historicamente, a Álgebra da Lógica e a Filosofia Analítica muitas vezes permaneceram restritas a recortes teóricos isolados, distantes das necessidades operacionais da modelagem de sistemas e da cognição computacional. A correspondente vacância acadêmica gerava óbices consideráveis à plena capacitação de estudantes e futuros profissionais, dificultando o desenvolvimento de soluções rigorosas, livres de falácias e respaldadas pela Teoria da Prova e pela Análise Inferencial. O I COLENLOG ergueu-se como uma resposta direta a esse desafio formativo.

Carlos Magno Corrêa Dias
22/10/2026