Em muitas das vezes quando da oferta de meus Cursos de Extensão Universitária e/ou Tecnológica ocorre que nem sempre uma única edição foi suficiente para atender todos os interessados exigindo ofertar (em seguida ou em paralelo) uma segunda (ou até uma terceira) turma. Tal foi o caso, lá em 2014, quando ministrei o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA o qual constituiu uma segunda versão do Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL.
Diferentemente, entretanto, do Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL anterior, o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA foi desenvolvido exclusivamente para meus Alunos de Cursos de Engenharia do Sistema UTFPR (Universidade Tecnológica Federal do Paraná).
DIAS, C. M. C. - 2024
É importante ressaltar que no Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA apresentei, também, procedimentos técnicos para avaliar especificamente questões relacionadas à Lógica Reversa e/ou à Recursão Lógica (em atendimento à solicitação dos próprios interessados).
Assim, completa-se neste 30 de junho de 2024, dez anos, uma década, da realização da correspondente Ação de Extensão a qual ministrei no período de 14/05/2014 a 30/07/2014 tratando o Cálculo Proposicional e a Álgebra da Lógica instituídos em Lógica Matemática Dedutiva de Primeira Ordem necessários para o desenvolvimento de Métodos e Técnicas para a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular), bem como desenvolvendo Procedimentos Técnicos de Decisão Semânticos e Sintáticos estabelecidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica.
Carlos Magno Corrêa Dias
30/07/2024