Há mais de dez anos, no período de 03 de abril a 13 de abril de 2012, ministrei o Curso de Extensão Universitária e Tecnológica intitulado ENGENHARIA INFERENCIAL no qual apresentei Técnicas Formais de Avaliação de Processos Dedutivos (TFAPD) direcionadas para a aquisição de conhecimentos, bem como, considerei Métodos Algébricos de Gerenciamento Sistemático de Informações (MAGSI) tomando por suporte os Cálculos Algébricos da Lógica Matemática Sentencial e Predicativa de Primeira Ordem.
DIAS, C. M. C. - 2012
Naquela oportunidade fiz conhecer os fundamentos da minha ENGENHARIA INFERENCIAL (EI) na qual são tomadas Inferências Lógicas Formais (ILF) como base para a criação, aperfeiçoamento ou implementação de soluções de problemas do mundo real.
Centrado nos pressupostos da EI são engendrados Modelos Formais Especialistas de Solução (MFES) ou construídos Dispositivos (automáticos) de Validação de Raciocínios Dedutivos (DaVRD).
Carlos Magno Corrêa Dias
28/04/2022