31 de julho de 2014

Acadêmicos de Engenharia Recebem Certificação em Lógica Formal.

  
No último dia 28/07/2014 conclui o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL o qual ministrei para Acadêmicos de Cursos de Engenharia da Universidade Tecnológica Federal do Paraná (UTFPR). 

Ao longo do Curso apresentei aspectos da Álgebra da Lógica necessários para a implementação de técnicas dirigidas objetivando a avaliação formal da legitimidade de raciocínios dedutivos de primeira ordem estruturados no campo da Teoria da Argumentação e da Análise Inferencial. 

Parabéns para aqueles que conseguiram a correspondente Certificação. Que a força da LÓGICA mantenha o poder esperado para o bem raciocinar e comandar.

Carlos Magno Corrêa Dias
31/07/2014