Textos Publicados em Blogs em fevereiro/2021.

“O tempo, em sua marcha inexorável, conduz, frequentemente, a portos de contemplação”. Em 2021 o quinquênio se completou a partir de 2016 chamando, então, a revisão das “pegadas deixadas em meus Blogs” dando continuidade ao recordar aquelas preocupações que continuam buscando novas perspectivas.

Em fevereiro de 2021, o mundo ainda tateava saídas e buscava resiliência. Meus textos daquele período publicados nos meus Blogs, agora rememorados em ordem alfabética, foram reflexões gestadas com a intenção de provocar soluções e motivar questionamentos diante das incertezas da época.

Ao revisitar a história, em “A COBRA FUMOU em Monte Castelo”, busquei honrar a memória e a bravura, enquanto em “Vacinação segue rumo à solução”, registrei a esperança tangível que a Ciência (sempre) proporciona. A valorização do intelecto e da inclusão também se fez presente, seja “Comemorando a participação de meninas e mulheres nas ciências” ou explorando como a “Engenharia Lógica” é capaz de transcender possibilidades técnicas para alcançar dimensões existenciais.

Houve, por exemplo, espaço para a análise crítica da condição humana, como na reflexão sobre a “Máxima incontroversa de consequências desastrosas”, e para o reconhecimento da sensibilidade artística como ferramenta de cura, detalhada em “Método baseado na arte revolucionou tratamento psiquiátrico” criado pela fantástica Nise Magalhães da Silveira (Maceió, 15 de fevereiro de 1905 - Rio de Janeiro, 30 de outubro de 1999).

Por entender que é sempre um exercício necessário olhar para o retrovisor intelectual para avaliar o caminho percorrido e seguindo a prerrogativa de revisar a cada cinco anos (conforme o “lustro romano”) a minha produção, outro quinquênio se passou de 2016 até 2021 exigindo, então, o recordar os textos que produzi em 2021 os quais publiquei, exclusivamente, em meus Blogs.

Os títulos em referência foram os seguintes:
- A COBRA FUMOU em Monte Castelo (Publicado em 21/02/2021);
- Comemorando a participação de meninas e mulheres nas ciências (Publicado em 11/02/2021);
- E a vida segue comemorando participações na história (Publicado em 26/02/2021);
- Engenharia Lógica transcendendo possibilidades (Publicado em 28/02/2021);
- Máxima incontroversa de consequências desastrosas (Publicado em 09/02/2021);
- Método baseado na arte revolucionou tratamento psiquiátrico (Publicado em 15/02/2021);
- Vacinação segue rumo à solução (Publicado em 19/02/2021)
- Vida presenteia com núpcias dos filhos (Publicado em 27/02/2021).

DIAS, Carlos Magno Corrêa - 2026

Publicado com o título “Postagens do Autor em Blogs do Autor em fevereiro/2021” os referidos textos, rememorados, podem ser revistos no endereço https://drive.google.com/file/d/1GTlvTCb3dVt3anZsKEhouwaTu7lsaiUI/view?usp=sharing.

A escrita é, afinal, o testemunho de que, embora os quinquênios passem, as reflexões que buscam a lógica e a humanidade permanecem como bússolas para o futuro.

Carlos Magno Corrêa Dias
04/03/2026

A conjunção entre “o laço no tempo” e “o nó no cérebro”.

Escrever sobre o passado vai muito além de um exercício de memória, pois envolve ato de celebração da própria existência compartilhada. Ao olhar para trás, especificamente para o ano de 1992, vejo-me diante de uma plateia de Jovens mentes (sempre) inquietas da Turma BCC-1995 da PUCPR (Turma de Formandos de 1995 do Curso de Bacharelado em Ciência da Computação da Pontifícia Universidade Católica do Paraná - PUCPR).

Digitalização Foto - Convite Formatura - 1996

O tempo faz lembrar momentos incríveis compartilhados com aqueles Jovens quando se enfrentava a necessária Lógica Formal. Rememoro o semblante dos meus Afilhados quando as sentenças da Álgebra da Lógica Matemática começavam a ocupar o quadro extenso das salas da PUCPR. "Lá vem o Professor Carlos Magno dar um nó no nosso cérebro", diziam os então Jovens, entre o receio e a curiosidade (predominante).

A capacitação para se “destruir falácias” sempre foi o objetivo principal ao se enfrentar os procedimentos analíticos e a correção do pensamento impostos pela Lógica Matemática a qual vinha com suas ferramentas (densas e nada amigáveis à primeira vista) alicerçar a formação sólida dos futuros Profissionais Bacharéis em Ciência da Computação que o mundo exigia.

O ápice da jornada com os Jovens Afilhados se deu no palco do SESC da Esquina, em Curitiba, naquela data singular de um ano bissexto, em 29 de fevereiro de 1996, quando fui Homenageado, Padrinho, da Turma BCC-1995 da PUCPR.

As palavras gravadas na placa de homenagem - "Àquele que dedicou seu tempo e sua experiência para que nossa formação fosse também um aprendizado de vida, nosso carinho e nossa homenagem” – coroam a relação Professor/Acadêmicos que transbordou para a lógica da vida tornando os então Estudantes da disciplina de Lógica Matemática de outrora em afluentes de uma história comum sendo Afilhados para sempre.

DIAS, Carlos Magno Corrêa - 1996

Os enormes desafios de 1992 a 1995 vencidos pela persistência e extrema dedicação vividos na Graduação do Curso de Ciência da Computação da internacional PUCPR já configurava vitória a ser comemorada com grande júbilo. Participar na Formatura como Homenageado da correspondente Turma de Formandos foi especial. Mas, ver hoje que muitos dos Afilhados seguem os passos da Docência na área é das condecorações uma daquelas que não têm preço. Poder presenciar que muitos dos ex-Alunos se transformaram em Colegas de Profissão como Professores mostra que o conhecimento foi, de fato, semeado.

Hoje, passadas mais de três décadas desde aquele primeiro encontro diante dos conteúdos da (assustadora, mas fundamental) Lógica Matemática, ministrados com o devido rigor científico e a necessária intensidade, celebro tanto a Homenagem recebida quanto o vínculo criado. A Lógica Matemática ensina a deduzir verdades dando às vezes aquele “nó no cérebro” e “o laço no tempo” promove relações eternas.

Carlos Magno Corrêa Dias
03/03/2026

Textos Publicados em Blogs em fevereiro/2016.

Seguindo a ideia de rememorar a produção anterior a cada cinco anos (de acordo com o “lustro romano”) listo a seguir os textos que produzi em 2016 e publiquei, exclusivamente, em meus Blogs.

Os textos (ordenados em ordem alfabética de títulos) constituem artigos de opinião, aforismos, comunicações, comentários, dentre outras maneiras de narrativas; os quais (condicionalmente ou compulsivamente), como de costume, representam “refle­xões e/ou questionamentos para exigir o despertar de preocupa­ções, possibilitar soluções e motivar novas perspectivas”.

DIAS, Carlos Magno Corrêa - 2026

Os títulos em referência foram os seguintes:
- Autonomia Universitária é Definir o Próprio Caminho a Percorrer (Publicado em 14/02/2016);
- Brasil do Quimono Tem Judocas no Top10 (Publicado em 11/02/2016);
- Câmpus Toledo Fortalecendo Sistema Multicampi (Publicado em 05/02/2016);
- Colosso da Genialidade Humana Surpreende (Publicado em 20/02/2016);
- Domínios do Sentir Infinito (Publicado em 12/02/2016);
- Eliminação Pela Própria Existência (Publicado em 25/02/2016);
- Engendrar CONHECIMENTO ÚTIL é função da Engenharia (Publicado em 06/02/2016);
- Engenharia Lógica e Revolução Industrial 4.0 Traçam os Caminhos do Futuro (Publicado em 29/02/2016);
- Exclusão Intencional como Prejuízo Intelectual (Publicado em 24/02/2016);
- Incompreensão e Medo Gerando Pobreza Intelectual (Publicado em 25/02/2016);
- Inovação é Determinante na Revolução Industrial 4.0 (Publicado em 08/02/2016);
- Legado e Excelência Transcendendo o Individual (Publicado em 28/02/2016);
- O Legado Está Acima das Pessoas (Publicado em 21/02/2016);
- Percalço de Condicional Condenação (Publicado em 13/02/2016);
- Repetindo continuamente até o ENTENDIMENTO (Publicado em 16/02/2016);
- Revolução Industrial 4.0 Chama responsabilidades (Publicado em 07/02/2016);
- RI 4.0 Chama Responsabilidades (Publicado em 09/02/2016);
- Transposição Modal de Relevância Mortal (Publicado em 12/02/2016);

Neste 2026, publico, com o título “Postagens do Autor em Blogs do Autor em fevereiro/2016”, os referidos textos para rememorar uma década da divulgação inicial ocorrida.

No endereço https://drive.google.com/file/d/13w9nSXPmLt9M2sT0qLUwlG5UguNJt_gL/view?usp=sharing encontram-se disponíveis os correspondentes conteúdos das postagens referenciadas.

Carlos Magno Corrêa Dias
02/03/2026

O pincel invisível que retrata o além da moldura.

A escrita não é uma pintura, mas bem pode pintar tudo aquilo que a arte não consegue retratar.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/03/2026

Uma História Acadêmica sobre a Matemática.

A passagem do tempo raramente é apenas uma sucessão linear de dias; é, antes, uma progressão geométrica de experiências e uma consolidação de estruturas fundamentais. Ao atingir a marca de 30 anos, a partir de 24 de fevereiro de 1996, data da Colação de Grau da Turma LM-1995/PUCPR (Turma de Formandos de 1995 do Curso de Licenciatura em Matemática da Pontifícia Universidade Católica do Paraná - PUCPR), vejo as lembranças inspirarem seguidas extensões a despeito do tempo que segue implacável continuamente.

Digitalização Foto - Convite Formatura - 1996

Para compreender a magnitude deste trigésimo aniversário de Formatura da Turma LM-1995/PUCPR, é necessário retornar à gênese desta relação, iniciada em 1992. O que começou como um “desafio acadêmico” nas fantásticas disciplinas de Lógica Matemática I e II transformou-se em um vínculo que agora completa 34 anos de história compartilhada.

Naquele período de quatro anos de graduação (1992-1995), compartilhou-se o rigor da Lógica Formal de Primeira Ordem. Entre os Cálculos Proposicional e Predicativo, buscou-se não apenas o "bem pensar", mas o alicerce científico necessário para que os (sempre) Jovens Acadêmicos se tornassem os Professores que o Brasil precisava.

Releio, com o mesmo júbilo de outrora, as palavras que meus Afilhados me dedicaram na cerimônia de 1996: “Talvez representemos apenas mais uma turma que parte, e não sejamos mais que uma rotina. Mas, a convivência nos tornou amigos e, na partida, levaremos saudades deixando o agradecimento pela dedicação”.

DIAS, Carlos Magno Corrêa - 1996

Aquelas palavras gravadas na homenagem recebida seguem ecoando com força renovada mantendo viva na lembrança a história da Turma LM-1995/PUCPR.

Pensar nos 30 anos passados desde a Formatura é observar como as sementes do rigor cartesiano e da paixão pela Ciência frutificam na prática docente de cada um daqueles hoje Profissionais. Os integrantes da Turma LM-1995/PUCPR não foram apenas "mais uma turma que partiu"; tornaram-se a extensão viva de um ideal educativo que se muito se defende na internacional PUCPR desde sempre.

Neste 2026, as comemorações não são apenas sobre o passado, mas sobre a continuidade. A relação iniciada há 34 anos mostra que o júbilo se mantém constante e não se altera, independentemente da variável tempo.

Como Professor das disciplinas de Lógica Matemática I e II tive a grata satisfação de desenvolver, com intensidade e complexidade próprias a Lógica Formal de Primeira Ordem (tanto Proposicional quanto Predicativa) perspectivando, sempre, ulteriores extensões decorrentes do necessário rigor científico. Foram momentos marcantes que, renovados continuamente na lembrança, seguem contribuindo, fortemente, para fazer cumprir a tarefa como Professor de Matemática.

Siga-se continuamente com a plena dedicação ao ensinar e/ou ao aprender Matemática para viver momentos de "raríssima inspiração" os quais são capazes de sustentar a busca pelo saber.

Carlos Magno Corrêa Dias
28/02/2026

A Engenharia Lógica no caminho da disrupção.

Em fevereiro de 2016, no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) desenvolvi evento que se tornou o epicentro de uma discussão fundamental tanto para o avanço da Computação quanto da Filosofia da Ciência.

Como proponente, organizador e coordenador do III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), realizado no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), tive o privilégio de conduzir imersão técnica na correspondente área do saber. O III SIDELOFIC teve como tema central “Máquinas Lógicas Virtuais em Engenharia Lógica”.

DIAS, Carlos Magno Corrêa - 2026

O III SIDELOFIC foi a resposta necessária aos desenvolvimentos teóricos que amadureceram ao longo do tempo. Percebia que para dar continuidade ao processo de inovação pretendido, era necessário consolidar o conceito de Engenharia Lógica não apenas como um exercício abstrato, mas como uma ferramenta aplicada.

DIAS, Carlos Magno Corrêa - 2016

Basicamente, o III SIDELOFIC levou em consideração a necessária “Análise Inferencial Dedutiva Computacional” na geração de Produtos, Serviços ou Processos associados ao gerenciamento de Metadados por intermédio da Engenharia Lógica levando em conta as Nanotecnologias (em geral) e, especificamente, as Nanomáquinas (em particular).

Na abertura do evento, em 22/02/2016, proferi a Palestra (Conferência) intitulada “Análise Inferencial Dedutiva Computacional” na qual defendi que a “geração de inteligência em sistemas complexos depende da capacidade de processar inferências lógicas de forma dedutiva e automatizada”.

“Sem a Estrutura Lógica o gerenciamento de Metadados torna-se um oceano de informações sem propósito”. A realização do III SIDELOFIC na TECNOLÓGICA (UTFPR) confirmou que a aplicabilidade da Engenharia Lógica é o caminho para transformar dados brutos em produtos e serviços inovadores.

Ministrei, também, no III SIDELOFIC, respectivamente, em 23/02/2016 e 24/02/2016, as Palestras intituladas “Engenharia Lógica Aplicada às Nanomáquinas” e “Máquinas Lógicas Virtuais”.

Em “Engenharia Lógica Aplicada às Nanomáquinas” considerei que a aplicação da Engenharia Lógica às Nanomáquinas permite que a funcionalidade seja programada e prevista com rigor matemático; utilizando a Lógica como a "planta baixa" para a construção de sistemas em escalas nanométricas, garantindo que o comportamento esperado seja obtido através de processos inferenciais.

Em “Máquinas Lógicas Virtuais” evidenciei conceito que representa o ápice da abstração operacional: um ambiente onde a Lógica não apenas descreve o sistema, mas é o “próprio motor de execução”. As “Máquinas Lógicas Virtuais” funcionam como “camadas de inteligência capazes de gerir a complexidade inerente às novas tecnologias de informação e materiais”.

Carlos Magno Corrêa Dias
27/02/2026

Waldomiro Grotto integra a Galeria dos Imortais.

A história do Brasil é escrita por muitos nomes, mas poucos carregam o peso e a honra de terem moldado o destino do mundo livre. Com a partida do Cabo Waldomiro Grotto o Brasil despede-se não apenas de um veterano da Força Expedicionária Brasileira (FEB), mas de um símbolo vivo de resistência, disciplina e amor à Pátria.

Nascido em 15 de novembro de 1922, no município de Mococa no estado de São Paulo, Waldomiro Grotto “personificou os valores republicanos de dever e sacrifício, sendo sua jornada nos campos da Itália durante a Segunda Guerra Mundial um testemunho da bravura brasileira que, contra todas as apostas, ajudou a derrotar a tirania que pretendia se impor”.

DIAS, Carlos Magno Corrêa - 2026

Integrante do icônico Regimento Ipiranga, o 6º Regimento de Infantaria (6º RI), Waldomiro Grotto não foi um espectador da história; ele foi seu protagonista no barro e na neve. No teatro de operações europeu, ele enfrentou: o rigor do inverno com temperaturas negativas e terrenos implacáveis que testaram o limite humano; a adaptação rápida à interoperabilidade com as forças aliadas e ao combate técnico contra tropas experientes; o compromisso inabalável com princípios universais de liberdade, colocando a vida em risco por nações que sequer conhecia.

Sua atuação foi coroada com a Medalha Ordem e Progresso, um reconhecimento ao seu espírito altruísta; recebendo, também, outras várias honrarias ao longo de sua vida centenária. Como cabo, Waldomiro Grotto foi o elo fundamental da liderança direta, garantindo que a coesão de sua fração de combate permanecesse intacta sob o fogo inimigo.

A longevidade de Waldomiro Grotto permitiu que ele se tornasse uma ponte histórica. Enquanto muitos de seus companheiros tombaram no solo italiano ou partiram cedo após o regresso, Waldomiro Grotto permaneceu firme além dos cem anos servindo como uma biblioteca viva para pesquisadores, militares e civis.

A partida de Grotto, ocorrida em 24 de fevereiro de 2026, em São Paulo, deixa uma lacuna física, mas consolida um mito. Ele pertence à "Geração Grandiosa", aqueles que não hesitaram quando a história os convocou.

“Sua trajetória em Mococa (SP) e nos quartéis do Sudeste será lembrada como a de um homem que, embora silencioso em sua humildade, foi ensurdecedor em seu exemplo”. “Waldomiro Grotto não apenas serviu ao Brasil; ele o honrou”. "A liberdade sempre tem um preço elevando, e Waldomiro Grotto foi um dos que aceitaram pagá-lo com suor e renúncia pessoal". A missão foi cumprida com distinção. O Brasil reverencia a memória do Pracinha Waldomiro Grotto.

A Galeria dos Imortais recebe mais um ilustre representante. Hurra! Hurra! Hurra! Salve, Salve! Salve! Salve Cobra Fumante Pracinha FEBiano Herói Imortal Cabo Waldomiro Grotto!

Carlos Magno Corrêa Dias
26/02/2026

Engenharia Lógica e a transição para o futuro.

No início de 2016, enquanto alguns conceitos inovadores sobre Tecnologia ainda ganhavam tração no Brasil, identifiquei a necessidade de transpor os muros da Academia e fomentar uma discussão prática sobre o papel da Lógica nas Engenharias da época. Foi sob semelhante premissa que propus, organizei, coordenei e ministrei a Oficina intitulada "Engenharia Lógica nos Caminhos da Quarta Revolução Industrial".

DIAS, Carlos Magno Corrêa - 2016

Desenvolvi a Oficina em referência no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) a qual foi chancelada pelo DAMAT (Departamento Acadêmcio de Matemática) da TECNOLÓGICA (UTFPR).

A Engenharia Lógica foi o fio condutor de um cronograma que planejei para desmistificar o impacto das novas Tecnologias (disruptivas) no Mercado de Trabalho e na Pesquisa na área das Engenharias. A organização daquela Oficina exigiu uma articulação entre a teoria e a aplicação. O objetivo era claro: preparar os participantes para um cenário onde a eficiência produtiva estaria intrinsecamente ligada à capacidade de modelagem lógica e algorítmica.

Especificamente, partindo de uma contextualização histórica sobre as três primeiras Revoluções Industriais que transformaram o mundo, na Palestra (Oficina) em questão tratei dos “pressupostos da Engenharia Lógica que determinam os fundamentos lógicos e necessários da Quarta Revolução Industrial no que diz respeito, especificamente, à necessária fusão de tecnologias e combinação da Internet dos Objetos com os Metadados para se estabelecer as indistinguíveis linhas delimitadoras entre as esferas físicas e digitais que transformam o panorama econômico e político mundial”.

A experiência da Oficina de 2016 serviu como um laboratório de ideias. Ao olhar para trás, percebo que os fundamentos da Engenharia Lógica lá discutidos na recordada Oficina tornaram-se, hoje, requisitos básicos para a sobrevivência técnica. A Oficina foi espaço de construção de pensamento crítico sobre como a tecnologia deve servir ao progresso humano de forma estruturada.

Passados mais de dez anos, a Engenharia Lógica continua a sinalizar possibilidades simbióticas entre Consciência Humana e Metadados. O "pensar cibernético" das “máquinas”, centrado na Engenharia Lógica, segue evoluindo.

Como afirmei na época “as máquinas inteligentes herdarão o campo do bem raciocinar. O futuro da "Consciência Cibernética" (CC) já havia começado. Um novo "mundo possível" já se fazia presente e se desenvolvia com velocidade espantosa. A Engenharia Lógica avançou.

DIAS, Carlos Magno Corrêa - 2026

Naquele tempo a Engenharia Lógica já evidenciava a exigência de uma Lógica Condicional no mundo das Tecnologias para se perspectivar novas extensões e evitar os erros cometidos de se tratar as Ciências e as Tecnologias com distanciamento inaceitável (distanciamento aquele que em muito delimitou desenvolvimentos e progressos).

Carlos Magno Corrêa Dias
25/02/2026

Algebrização e Axiomatização de Sistemas Lógicos.

A Lógica Matemática e a Teoria de Sistemas Formais constituem o cerne do desenvolvimento tecnológico e computacional contemporâneo. No início de 2016, propus e coordenei o Curso de Extensão Universitária e Tecnológica intitulado "Algebrização e Axiomatização de Sistemas Lógicos", realizado no Câmpus Curitiba da UTFPR.

DIAS, Carlos Magno Corrêa - 2016

O objetivo central daquele evento de extensão foi transitar da intuição lógica para o rigor das estruturas algébricas, fornecendo aos Estudantes de Engenharia da TECNOLÓGICA (UTFPR) “ferramentas” para a fundamentação de sistemas complexos.

O projeto foi desenhado para abranger uma carga horária dividida entre o planejamento acadêmico, a organização metodológica e a execução docente. Como coordenador, a prioridade foi estabelecer uma ponte entre a Lógica Proposicional Clássica e as Lógicas Não-Clássicas, utilizando o Método Axiomático como fio condutor.

A organização estruturou-se em dois pilares fundamentais: (1) Axiomatização: a definição de um conjunto mínimo de axiomas e regras de inferência capazes de derivar todos os teoremas de um sistema; (2) Algebrização: a tradução desses sistemas para uma linguagem algébrica (como a Álgebra Booleana), permitindo o tratamento de problemas lógicos por meio de ferramentas matemáticas.

Na etapa de ministração do curso explorei a Semântica e a Sintaxe dos Sistemas Lógicos. O foco recaiu sobre a capacidade de provar a Completude e a Correção (“Corretude”) de Sistemas, competências essenciais para as Engenharias, Computação e Matemática.

“O Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS teve por principal objetivo apresentar a Álgebra da Lógica Formal Dedutiva de Primeira Ordem em associação com Sistemas Axiomáticos necessários para a instituição da Teoria da Prova e da Teoria da Argumentação Lógica aplicadas na Análise Lógica da Validade e da Consistência de Argumentos e Inferências Proposicionais e Predicativas centradas na Completude e na Corretude”.

A experiência demonstrou que a formalização lógica não é apenas um exercício teórico, mas uma necessidade técnica. Por meio do curso em referência foi possível: fomentar o pensamento analítico rigoroso; discutir a aplicação de Sistemas Axiomáticos na verificação de Software e Hardware, bem como consolidar a extensão universitária como um espaço de alta densidade técnica e teórica.

A Algebrização da Lógica permite uma compreensão mais profunda da estrutura da “verdade formal”, transformando conceitos abstratos em modelos operacionais prontos para a aplicação tecnológica.

DIAS, Carlos Magno Corrêa - 2026

A Axiomatização permite que a mente siga regras lógicas consistentes e a Algebrização transforma as correspondentes regras em operações matemáticas que a máquina pode processar.

Carlos Magno Corrêa Dias
24/02/2026

Estruturas Algébricas Bivalentes e Dicotômicas.

A Docência Universitária não se encerra nos limites das grades curriculares da Graduação uma vez que se expande, ganha fôlego e dialoga com a Comunidade por intermédio das Atividades de Extensão, as quais formam um território onde o rigor teórico encontra a aplicação prática e o compartilhamento do saber. Em fevereiro de 2011, materializei, uma vez mais, semelhante visão ao propor, organizar e coordenar o Curso de Extensão Universitária e Tecnológica em ESTRUTURAS ALGÉBRICAS EM SISTEMAS LÓGICOS BIVALENTES E DICOTÔMICOS.

DIAS, Carlos Magno Corrêa - 2026

Ministrei o Curso de Extensão Universitária e Tecnológica em ESTRUTURAS ALGÉBRICAS EM SISTEMAS LÓGICOS BIVALENTES E DICOTÔMICOS no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), no período de 07/02/2011 a 23/02/2011, com chancela do DAMAT (Departamento Acadêmico de Matemática) da UTFPR.

DIAS, Carlos Magno Corrêa - 2011

Naquela época assumi a responsabilidade não apenas do encargo administrativo, mas, também, da curadoria do correspondente conteúdo visando acrescentar à formação dos futuros Engenheiros conteúdos densos e acessíveis no campo da Álgebra Moderna e da Lógica Formal.

Desenvolvi a ação ~extensionista exclusivamente para meus alunos dos Cursos de Engenharia do Câmpus Curitiba da UTFPR quando tratei (formalmente, analiticamente) as relações de impregnação entre a Inteligência Lógica e a Engenharia Inferencial (ou Engenharia Lógica) que sou o proponente e que já há algum tempo venho desenvolvendo.

No Curso de Extensão Universitária e Tecnológica em ESTRUTURAS ALGÉBRICAS EM SISTEMAS LÓGICOS BIVALENTES E DICOTÔMICOS abordei, também, com o necessário rigor, a Teoria da Demonstração Dedutiva e as principais Estruturas Algébricas dos Cálculos Lógicos aplicados à Teoria da Argumentação em Sistemas Algébricos Dicotômicos e Bivalentes.

Assim, para além da coordenação, estive à frente do ministrar o correspondente curso o qual constituiu, efetivamente, um exercício de transposição didática quando explorei os Sistemas Bivalentes e Dicotômicos tratando cada Operação Lógica como Operação Algébrica (precisa). Durante o curso meu objetivo foi demonstrar como a “abstração matemática” por meio de Sistemas Algébricos serve de alicerce para a Computação, a Teoria dos Circuitos de Chaveamento e a própria fundamentação do Raciocínio Lógico Formal.

De um lado a realização do Curso de Extensão Universitária e Tecnológica em ESTRUTURAS ALGÉBRICAS EM SISTEMAS LÓGICOS BIVALENTES E DICOTÔMICOS reafirmou o papel da TECNOLÓGICA como um polo irradiador de conhecimento técnico-científico desde sempre e, de outro, contribuiu para mostrar que “Estruturas Bivalentes e Dicotômicas” são ferramentas capazes de bem organizar o pensamento analítico.

Extensão Universitária e Tecnológica é o caminho mais curto para manter o conhecimento vivo, relevante e em constante diálogo com a Sociedade.

Carlos Magno Corrêa Dias
23/02/2026