Meu artigo “Álgebra booleana e lógica digital: uma aplicação da lógica matemática” era publicado lá em setembro de 1994, há 30 anos, há três décadas, na Revista Acadêmica da Puc-PR quando estava lotado no Departamento de Matemática da mesma Puc-PR, ministrando as importantes disciplinas de Lógica Matemática, Fundamentos de Matemática e Cálculo Diferencial e Integral.
DIAS, Carlos Magno Corrêa - 2024
No caminho contínuo e permanente das novas aplicações da Matemática e da própria Lógica Formal (Lógica Matemática) no vasto campo da Computação e da Engenharia o artigo em referência além de ser a base de diversas outras pesquisas inovadoras serviu, ao longo das décadas, para a instituição de teorias revolucionárias e/ou transformadoras.
Com conteúdo técnico embasado em forte formalismo, o correspondente texto fez sua história e segue desde sua publicação sendo crucial para outras descobertas e desenvolvimentos que mostram, seguidamente, a força do Logicismo quando associado à qualificação da Álgebra da Lógica a qual permeia a Lógica de Classes (batizada de Álgebra Booleana) e a Lógica Sentencial (difundida como a Álgebra das Relações Binárias) para comporem as múltiplas estruturas da denominada Lógica Digital.
O trabalho em referência, disponível na íntegra no Riut (Repositório Institucional da UTFPR) no endereço https://repositorio.utfpr.edu.br/jspui/handle/1/424, apresenta método de análise centrado nos extraordinários recursos técnicos da Lógica Matemática para o desenvolvimento da Lógica Digital a qual, levando-se em conta a Álgebra de Boole, dá origem às Portas Lógicas e aos Circuitos de Comutação que compõem os Sistemas Digitais; sendo, também, denominada, Álgebra (ou Matemática) de Comutação.
A Lógica Digital é a base da Eletrônica Digital e envolve a manipulação de valores binários (0 e 1) para realizar operações lógicas. Os principais componentes da Lógica Digital, os circuitos básicos denominados Portas Lógicas, permitem realizar operações lógicas específicas para analisar, simplificar ou alternar entre diferentes estados e para controlar fluxos de corrente elétrica em dispositivos eletrônicos complexos tornando-os mais eficientes e confiáveis.
Carlos Magno Corrêa Dias
24/09/2024