Raciocínio Lógico em Análise Formal.

Em 25/02/2013 dei início ao Curso de Extensão Universitária em LÓGICA MATEMÁTICA PROPOSICIONAL E PREDICATIVA que ministro para alunos dos Cursos de Engenharia Eletrônica e Elétrica.

Neste Curso apresento o Cálculo Proposicional e o Cálculo dos Predicados desenvolvidos em Lógica Matemática de Primeira Ordem para a Enunciação, Avaliação e Resolução de Problemas Dedutivos nas Ciências Exatas partindo-se, exclusivamente, da Álgebra da Lógica e de Sistemas Analíticos Bivalentes e Dicotômicos. Abordarei, também, os principais Métodos e Técnicas desenvolvidos em Teoria da Argumentação Lógica e na Análise Inferencial (Dedutiva).

Carlos Magno Corrêa Dias
27/03/2013