Em 2024, celebro os dez anos da apresentação de minhas Ações de Extensão Universitária e/ou Tecnológica no campo da ENGENHARIA LÓGICA e das LÓGICAS REVERSAS RECURSIVAS ministradas para Acadêmicos das Ciências Exatas e de Tecnologia.
DIAS, C. M. C. - 2024
A EXTENSÃO deve ser tomada como vetor indutor da indissociabilidade entre ENSINO, PESQUISA e EXTENSÃO. Em 2014, as minhas Ações de EXTENSÃO mostraram, uma vez mais, na prática, como a PESQUISA gera as exigidas soluções de problemas percebidos na Sociedade para, naturalmente, se transformar em bons conteúdos os quais tanto podem ser convertidos em conhecimento do ENSINO a ser transmitido em sala de aula quanto constituem elo crucial no processo contínuo e sustentável do fazer Ciência e do gerar Tecnologias.
As Ações/Atividades de Extensão (Universitária e/ou Tecnológica) que realizei em 2014 foram especiais dado que objetivavam apresentar ao mundo sensível tanto as “LÓGICAS REVERSAS RECURSIVAS” quanto a “ENGENHARIA LÓGICA” as quais são áreas de conhecimento de minha autoria.
Com satisfação tive oportunidades de comprovar que nesta última década os conhecimentos que orbitam as duas áreas que criei já seguiram para diversos outros campos e estão promovendo progressos dos mais expressivos em muitos campos do saber para muito além das distinguidas Ciências Exatas e Tecnologias. “As ‘alfa’ premissas geram ‘beta’ conclusão em processo contínuo, recursivo e permanente”.
Especificamente realizei naquele 2014 as seguintes Ações/Atividades de Extensão Tecnológica e/ou Universitária; quais sejam:
- Palestra/Conferência sobre PDI (Pesquisa - Desenvolvimento - Inovação): Uma questão nacional;
DIAS, C. M. C. - 2014
- Curso de Extensão Universitária em Lógica Matemática Inferencial Proposicional de Primeira Ordem;
DIAS, C. M. C. - 2014
- Curso de Extensão Universitária em Análise Lógica de Modelos Diferenciais e Integrais Nas Engenharias;
DIAS, C. M. C. - 2014
- I SIDELOFIC - Seminário Inovação e Desenvolvimento em Lógica e Filosofia da Ciência: Engenharias em Inovação Científica e Tecnológica;
- II COENTELOG - Colóquio Entelechia Logicae: Inovação em Engenharia Lógica;
DIAS, C. M. C. - 2014
- Lançamento do livro Cálculo Lógico Inferencial;
DIAS, C. M. C. - 2014
- Curso de Extensão Universitária em Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial;
DIAS, C. M. C. - 2014
- Curso de Extensão Universitária em Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva;
- Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS;