“Destruindo” cadeias dedutivas de sequências lógicas complexas em demonstrações formais no Cálculo Lógico Proposicional de Primeira Ordem em Curso que ministrei dias atrás para Engenheiros da Indústria.
DIAS, C. M. C. - 2018
Na oportunidade, objetivando a instanciação de processos lógicos na tomada de decisão dedutiva, avaliei logicamente sistemas formais de relacionamento procedimental entre Inteligência Artificial e “Consciência Cibernética” em desenvolvimento na Indústria 4.0 que estamos vivenciando e construindo.
Intitulado CONSCIÊNCIA CIBERNÉTICA EM ENGENHARIA LÓGICA com o correspondente Curso concluo o COENTELOG 2018 (Colóquio Entelechia Logicae 2018).
Carlos Magno Corrêa Dias
28/03/2018