No último dia 30/10/2014, conclui mais um dos Cursos de Extensão Universitária e Tecnológica que oferto para os meus Alunos das Engenharias do Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
No Curso em referência, intitulado LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, com duração de trinta (30) horas-aula, tratei da Álgebra da Lógica e da Teoria da Demonstração para a Avaliação Formal da Validade e Consistência de Argumentos Dedutivos.
Como de costume, cumprindo minha contrapartida com a Sociedade que nos mantém, ministrei o Curso em referência (como tantos outros) gratuitamente para os Alunos e sem qualquer ônus para a UTFPR.
Semelhantes Cursos nos domínios da LÓGICA FORMAL, em particular nas áreas da Análise Inferencial e da Teoria da Argumentação (em Cálculos Lógicos Formais), têm contribuído, segundo relato dos próprios participantes, para a melhor compreensão dos temas tratados nas disciplinas regulares que estão cursando e, em muitas das vezes, para um melhor rendimento acadêmico; o que constituem motivos de grata satisfação.
Carlos Magno Corrêa Dias
24/11/2014