Há mais de cinco anos passados, em 19 de fevereiro de 2016 concluí o Curso de Extensão Universitária e Tecnológica que denominei ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS o qual ministrei na TECNOLÓGICA (UTFPR – Universidade Tecnológica Federal do Paraná) para meus Alunos dos Cursos de Engenharia da UTFPR.
DIAS, C. M. C. - 2016
O Curso, realizado entre os dias 04/02/2016 e 19/02/2016, foi ofertado gratuitamente para os participantes em um total de 30 horas e sem ônus para a Instituição haja vista entender que a Extensão Universitária e Tecnológica deva sempre ser gratuita quando ofertada.
O Curso objetivou apresentar a Álgebra da Lógica Formal Dedutiva em associação com Sistemas Axiomáticos 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 centradas na Completude e na Corretude.
Carlos Magno Corrêa Dias
25/03/2021