No último dia 16/07/2014, seguindo projeto proposto no
primeiro semestre de 2014, reiniciei o Curso de Extensão Universitária em
CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA o qual estou
ministrando para meus Alunos dos Cursos de Engenharia do Campus Curitiba da
Universidade Tecnológica Federal do Paraná (UTFPR). Este segundo curso segue
paralelamente àquele reiniciado em 14/07/2014 e tem por proposição a “Avaliação
Formal” do Raciocínio Lógico Dedutivo.
Carlos Magno Corrêa Dias
17/07/2014