Tais Cursos, denominados, respectivamente, “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” e “CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA”, estou ministrando para meus Alunos dos Cursos de Engenharia da UTFPR, do Campus Curitiba.
O objetivo dos Cursos em referência é apresentar os principais Métodos e Técnicas em Teoria da Argumentação Lógica Dedutiva e Teoria da Demonstração para a necessária Avaliação de Argumentos Lógicos Dedutivos e para a Correção de Falácias ou Sofismas.
Oferto os Cursos de Extensão Universitária em referência gratuitamente para os Acadêmicos, não cobro da Instituição proventos extras e não há qualquer benefício ou amparo financeiro por Agências de Fomento.
Tais Cursos constituem parcela de meu Projeto de Extensão o qual corrobora parte de minha Contrapartida Educacional e Científica para com a Sociedade enquanto Professor.
Carlos Magno Corrêa Dias
17/05/2014