No período de 03 de abril a 13 de abril de 2012, ministrei o Curso de Extensão Universitária intitulado ENGENHARIA INFERENCIAL.
O Curso objetivou apresentar aos participantes técnicas formais de avaliação de processos dedutivos direcionadas para a aquisição de conhecimentos, bem como, propor métodos algébricos de gerenciamento sistemático de informações tomando por suporte os Cálculos Algébricos da Lógica Matemática Sentencial e Predicativa de Primeira Ordem.
Neste curso apresentei, também, os fundamentos da Engenharia que denomino ENGENHARIA INFERENCIAL, onde Inferências Lógicas constituem a base para a criação, aperfeiçoamento ou implementação de soluções.
Está forma estrita de Engenharia objetiva engendrar modelos formais de solução de problemas equacionáveis algébrica e logicamente, bem como, produzir dispositivos automáticos para aferir a validade de raciocínios dedutivos originalmente identificados.
Carlos Magno Corrêa Dias
Curitiba-PR, 20/04/2012