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
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