18 de set. de 2019

Engenharia Lógica e Lógicas Reversas Recursivas em comemoração.


Meu entendimento é que a Extensão Universitária deve ser tomada (na Universidade) como vetor indutor da indissociabilidade entre Ensino, Pesquisa e Extensão e que bem praticada na Sociedade obriga realizar Pesquisa para gerar as exigidas soluções dos problemas percebidos nas Comunidades, soluções estas que, por sua vez, quando transformadas em conhecimento, deverão ser repassadas para os Estudantes sob a forma de Ensino; processo este que deve se repetir normalmente em um ciclo contínuo, sustentável e indissociável.


DIAS, C. M. C. - 2014

Das centenas de Ações/Atividades de Extensão que já realizei aquelas praticadas em 2014 foram especiais dado que objetivavam apresentar ao mundo sensível tanto as “Lógicas Reversas Recursivas” quanto a “Engenharia Lógica”, áreas em que sou o proponente e cujos estudos venho desenvolvido já há algum tempo.

As Atividades de Extensão realizadas naquele ano foram as seguintes:

01 - Palestra/Conferência sobre PDI (Pesquisa - Desenvolvimento - Inovação): Uma questão nacional, apresentada no Câmpus Curitiba da UTFPR, em 28/01/2014.


DIAS, C. M. C. - 2014

02 - Curso de Extensão Universitária em Lógica Matemática Inferencial Proposicional de Primeira Ordem, realizado no Câmpus Curitiba da UTFPR, no período de 13/02/2014 a 28/02/2014.


DIAS, C. M. C. - 2014

03 - Curso de Extensão Universitária em Análise Lógica de Modelos Diferenciais e Integrais Nas Engenharias, realizado no Câmpus Curitiba da UTFPR, no período de 24/02/2014 a 28/02/2014, em um total de 10 (dez) horas-aula.


DIAS, C. M. C. - 2014

04 - 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, realizado no Câmpus Curitiba da UTFPR, por meio do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) / UTFPR/CNPq, no período de 10/03/2014 a 14/03/2014, em um total de 10 (dez) horas-aula.


DIAS, C. M. C. - 2014

05 - II COENTELOG - Colóquio Entelechia Logicae: Inovação em Engenharia Lógica, realizado no Câmpus Curitiba da UTFPR, no período de 17/03/2014 a 27/03/2014, em um total de 14 (quatorze) horas-aula.


DIAS, C. M. C. - 2014

06 - Palestra/Conferência sobre Cálculo Lógico Inferencial, apresentada no Câmpus Curitiba da UTFPR, em 08/05/2014.


DIAS, C. M. C. - 2014

07 - Lançamento do livro Cálculo Lógico Inferencial, no Câmpus Curitiba da UTFPR, em 08/05/2014.


DIAS, C. M. C. - 2014

08 - III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Câmpus Curitiba da UTFPR, em 16/05/2014, em um total de 2 (duas) horas.


DIAS, C. M. C. - 2014

09 - Curso de Extensão Universitária em Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial, realizado no Câmpus Curitiba da UTFPR, no período de 12/05/2014 a 28/07/2014, em um total de 20 (vinte) horas-aula.


DIAS, C. M. C. - 2014

10 - Curso de Extensão Universitária em Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva, realizado no Câmpus Curitiba da UTFPR, no período de 14/05/2014 a 30/07/2014, em um total de 20 (vinte) horas-aula.


DIAS, C. M. C. - 2014

11 - Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, realizado no Câmpus Curitiba da UTFPR, no período de 01/10/2014 a 30/10/2014, em um total de 30 (trinta) horas-aula.


DIAS, C. M. C. - 2014

12 - Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS, realizado no Câmpus Curitiba da UTFPR, no período de 05/11/2014 a 11/12/2014, em um total de 30 (trinta) horas-aula.


DIAS, C. M. C. - 2014

Em 2019 comemoro, então, os já passados cinco anos da realização daquelas Ações/Atividades de Extensão Universitária e Tecnológica.

Carlos Magno Corrêa Dias
18/09/2019