Eventos Científicos Ministrados no Ano de 2023
Ministrou o Selocog (Seminário de Engenharia Lógica e Cognição) de 2023, realizado em 04/07/2023, com o tema “RSC a despeito da RSC”.
Ministrou o Primeiro Simpósio de Lógica e Neurociência (Simlogneu), realizado em 10 de abril de 2023, com o tema “LÓGICA DOS DISTÚRBIOS COGNITIVOS E NEUROLÓGICOS”.
Eventos Científicos Ministrados no Ano de 2022
Ministrou o Selocog (Seminário de Engenharia Lógica e Cognição) de 2022, realizado em 13/07/2022, com o tema “RSC TRILHANDO OS CAMINHOS DA INOVAÇÃO NO MUNDO DISRUPTIVO”.
Eventos Científicos Ministrados no Ano de 2019
Ministrou o Selocog (Seminário de Engenharia Lógica e Cognição) de 2019, realizado em 21/10/2019, com o tema “Engenharia Infinita em um Mundo Sem Lixo”.
Eventos Científicos Ministrados no Ano de 2018
Ministrou o IV SEQUANTEI (Seminário de Quantificação Aplicada em Engenharia e na Indústria) com o tema “OS ODS COMO FATOR DE DISRUPÇÃO NA INDÚSTRIA 4.0”, realizado em 10/12/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição) em parceria com o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) do Paraná.
Ministrou o COENTELOG (Colóquio Entelechia Logicae) 2018, realizado em 26/03/2018, com o tema “Consciência Cibernética em Engenharia Lógica”, desenvolvido no Cenenlocog (Centro de Engenharia Lógica e Cognição).
Eventos Científicos Ministrados no Ano de 2017
Ministrou o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos, com o tema Consistência e Validade Dedutiva, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 03/04/2017 a 20/04/2017, em um total de 40 (quarenta) horas.
Ministrou o VI Colóquio Entelechia Logicae (COENTELOG), com o tema Lógica da Cognição Computacional e Consciência Cibernética, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/02/2017 a 03/02/2017, em um total de 12 (doze) horas.
Eventos Científicos Ministrados no Ano de 2016
Ministrou o Colóquio ENGENHARIA Lógica, com o tema Análise Inferencial e Computabilidade em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/10/2016 a 20/10/2016, em um total de 20 (vinte) horas.
Ministrou o Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL), desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 15/08/2016 a 19/08/2016, em um total de 20 (vinte) horas.
Ministrou o Curso de Extensão Universitária e Tecnológica em CÁLCULO LÓGICO DEDUTIVO SENTENCIAL, promovido pela Universidade Tecnológica Federal do Paraná (UTFPR), realizado no Câmpus Curitiba da UTFPR, no período de 12/04/2016 a 18/06/2016, em um total de 30 (trinta) horas.
Ministrou a oficina de ENGENHARIA LÓGICA NOS CAMINHOS DA QUARTA REVOLUÇÃO INDUSTRIAL, promovida pela Universidade Tecnológica Federal do Paraná (UTFPR), realizada no Câmpus Curitiba da UTFPR, no período de 11/02/2016 a 12/02/2016, em um total de 6 (seis) horas.
Ministrou o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS, promovido pela Universidade Tecnológica Federal do Paraná (UTFPR), realizado no Câmpus Curitiba da UTFPR, no período de 04/02/2016 a 19/02/2016, em um total de 30 (trinta) horas.
Ministrou o V COLÓQUIO ENTELECHIA LOGICAE (COENTELOG) com o tema METADADOS, NANOCIÊNCIA E REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 03/02/2016, em um total de 4 (quatro) horas.
Eventos Científicos Ministrados no Ano de 2015
Ministrou o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/09/2015 a 24/10/2015, em um total de 30 (trinta) horas-aula, conforme Projeto número 134/2015/DIREC/CT/UTFPR o qual foi desenvolvido no período de 01/09/2015 até 30/10/2015, em um total de 80 (oitenta) horas-aula. O Curso em referência integrou a programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015 cujo tema da edição de 2015 foi LUZ, CIÊNCIA e VIDA.
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/05/2015 a 29/06/2015, em um total de 30 (trinta) horas-aula.
Ministrou o Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/03/2015 a 28/03/2015, em um total de 30 (trinta) horas-aula.
Ministrou o IV COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) - ENGENHARIA LÓGICA APLICADA NA INDÚSTRIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 16/03/2015 a 20/03/2015, em um total de 12 (doze) horas-aula.
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 02/02/2015 a 27/02/2015, em um total de 20 (vinte) horas-aula.
Eventos Científicos Ministrados no Ano de 2014
Ministrou o 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 Universidade Tecnológica Federal do Paraná (UTFPR), no período de 05/11/2014 a 11/12/2014, em um total de 30 (trinta) horas-aula.
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, realizado o Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/10/2014 a 30/10/2014, em um total de 30 (trinta) horas-aula.
Ministrou o III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 16/05/2014, em um total de 2 (duas) horas.
Ministrou o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/05/2014 a 30/07/2014, em um total de 20 (vinte) horas-aula.
Ministrou o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 12/05/2014 a 28/07/2014, em um total de 20 (vinte) horas-aula.
Ministrou o segundo COLÓQUIO ENTELECHIA LOGICAE: INOVAÇÃO EM ENGENHARIA LÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/03/2014 a 27/03/2014, em um total de 14 (quatorze) horas-aula.
Ministrou o Curso de Extensão Universitária em ANÁLISE LÓGICA DE MODELOS DIFERENCIAIS E INTEGRAIS NAS ENGENHARIAS, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 24/02/2014 a 28/02/2014, em um total de 10 (dez) horas-aula.
Ministrou o Curso de Extensão Universitária em Lógica Matemática Inferencial Proposicional de Primeira Ordem, nas dependências do Campus Curitiba da UTFPR, no período de 13/02/2014 até 28/02/2014, em um total de 20 horas-aula, sem ônus para a UTFPR e gratuito para os participantes.
Eventos Científicos Ministrados no Ano de 2013
Ministrou o primeiro o primeiro COLÓQUIO ENTELECHIA LOGICAE: Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23 de junho de 2013.
Ministrou o Curso de Extensão Universitária em Cálculo Lógico e Análise Lógica de Funções Enunciativas, nas dependências do Campus Curitiba da UTFPR, no período de 05/08/2013 até 29/08/2013, em um total de 20 horas-aula, sem ônus para a UTFPR e curso gratuito para os participantes.
Ministrou o Curso de Extensão Universitária de Análise de Argumentos Dedutivos em Lógica Matemática, nas dependências do Campus Curitiba da UTFPR, no período de 23/09/2013 até 09/10/2013, em um total de 20 horas-aula, sem ônus para a UTFPR e curso gratuito para os participantes.
Ministrou o Curso de Extensão Universitária de Lógica Matemática Dedutiva Aplicada, no Campus Curitiba, da Universidade Tecnológica Federal do Paraná, no período de 01/04/2013 a 02/05/2013, com duração de 20 horas-aula.
Ministrou o Curso de Extensão Universitária de Lógica Matemática Proposicional e Predicativa, no período de 25/02/2013 a 28/03/2013, no Campus Curitiba, da Universidade Tecnológica Federal do Paraná, com duração de 20 horas-aula.
Ministrou o Curso de Extensão Universitária de Axiomatização da Lógica Matemática de Primeira Ordem, no período de 05/03/2013 a 02/04/2013, com duração de 20 horas-aula.
Ministrou o Curso de Extensão Universitária em LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA, nas dependências do Campus Curitiba da UTFPR, no período de 17/06/2013 até 12/07/2013, em um total de 20 horas-aula, sem ônus para a UTFPR, curso gratuito para os participantes.
Eventos Científicos Ministrados no Ano de 2012
Ministrou o Curso de Extensão Universitária intitulado Engenharia Inferencial, no período de 03/04/2012 a 13/04/2012, em um total de 10 horas.
Ministrou o Curso de Extensão Universitária intitulado Inteligência Lógica nas Ciências Exatas, no período de 23/04/2012 a 03/05/2012, em um total de 10 horas.
Ministrou o Curso de Extensão Universitária intitulado A Lógica da Necessidade, no período de 16/05/2012 a 18/05/2012, em um total de 5 horas.
Ministrou o Curso de Extensão Universitária intitulado Lógica Matemática Sentencial Inferencial, no período de 08/03/2012 a 05/04/2012, em um total de 10 horas-aula.
Ministrou o Curso de Extensão Universitária intitulado Cálculo Inferencial Proposicional em Lógica Matemática, no período de 12/04/2012 a 10/05/2012, em um total de 10 horas-aula.
Eventos Científicos Ministrados no Ano de 2011
Ministrou a palestra Inovação Tecnológica Centrada na Lógica Clássica, no II Seminário de Lógica Matemática Sentencial, realizado no Câmpus Curitiba da UTFPR, em 23/09/2011.
Ministrou o Curso de Extensão Universitária de Lógica Matemática Proposicional de Primeira Ordem, promovido pela Universidade Tecnológica Federal do Paraná - UTFPR, no período de 23/08/2011 a 27/09/2011, com duração de 20 horas-aula.
Ministrou o Curso de Extensão Universitária em LÓGICA MATEMÁTICA PREDICATIVA E QUANTIFICACIONAL DE PRIMEIRA ORDEM, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 28/09/2011 a 08/11/2011, em um total de 20 horas/aula.
Ministrou a palestra Lógica Formal e Filosofia Analítica Como Fator de Inovação, no Câmpus Curitiba da UTFPR, em 26/10/2011, em um total de três horas.
Ministrou o II Seminário de Cálculo Diferencial e Integral em Engenharia (II SCADIENG) com o tema Os Caminhos da Inovação em Engenharia Matemática, realizado em 28/11/2011, nas dependências do Câmpus Curitiba da UTFPR.
Ministrou o Curso de Extensão Universitária de Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva, na Universidade Tecnológica Federal do Paraná, Campus Curitiba, no período de 14/03/2011 a 04/04/2011, com duração de 20 horas/aula.
Ministrou o Curso de Extensão Universitária de Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico, na Universidade Tecnológica Federal do Paraná, Campus Curitiba, no período de 30/05/2011 a 27/06/2011, com duração de 20 horas/aula.
Ministrou o Curso de Extensão Universitária de Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos, na Universidade Tecnológica Federal do Paraná, Campus Curitiba, no período de 07/02/2011 a 23/02/2011, com duração de 20 horas/aula.
Ministrou o Curso de Extensão Universitária de Cálculo Sentencial Dedutivo em Lógica Matemática, na Universidade Tecnológica Federal do Paraná, Campus Curitiba, no período de 17/03/2011 a 14/04/2011, com duração de 10 horas/aula.
Eventos Científicos Ministrados no Ano de 2010
Ministrou o Curso de Extensão Universitária em SISTEMAS ALGÉBRICOS EM LÓGICA MATEMÁTICA, nas dependências do Campus Curitiba da UTFPR, no período de 11/08/2010 até 03/11/2010, em um total de 30 horas-aula, sem ônus para a UTFPR, curso gratuito para os participantes, para a comunidade interna da UTFPR.
Ministrou o Curso de Extensão Universitária em LÓGICA SENTENCIAL E PREDICATIVA APLICADA AO CÁLCULO DIFERENCIAL E INTEGRAL, nas dependências do Campus Curitiba da UTFPR, no período de 09/09/2010 até 24/11/2010, em um total de 20 horas-aula, sem ônus para a UTFPR, curso gratuito para os participantes, para a comunidade interna da UTFPR.
Ministrou o Curso de Extensão Universitária FUNÇÕES RECURSIVAS PARCIAIS, no período de 13/09/2010 a 27/09/2010, no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em um total de 20 horas.
Ministrou o I SEMINÁRIO DE CÁLCULO DAS FUNÇÕES PREDICATIVAS EM LÓGICA MATEMÁTICA, realizado de 30/11/2010 até 01/12/2010, nas dependências do Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), cujo tema foi INSTÂNCIAS SENTENCIAIS E FUNÇÕES QUANTIFICADAS, com carga horária de três horas.
Ministrou o I SELOGMAS - SEMINÁRIO DE LÓGICA MATEMÁTICA SENTENCIAL do Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), realizado em 06/12/2010, das 19h30min às 22h50min, nas dependências do Campus Curitiba da UTFPR, com o tema COMPLETUDE DOS FUNDAMENTOS NECESSÁRIOS E SUFICIENTES DA MATEMÁTICA.
Ministrou o I SCADIENG - SEMINÁRIO DE CÁLCULO DIFERENCIAL E INTEGRAL EM ENGENHARIA do Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), realizado em 29/11/2010, das 19h30min às 22h50min, nas dependências do Campus Curitiba da UTFPR, com o tema MODELAGEM DIFERENCIAL E INTEGRAL NAS ENGENHARIAS.
Ministrou o Curso de Extensão Universitária em ANÁLISE LÓGICA DE PREDICADOS EM LÓGICA MATEMÁTICA, nas dependências do Campus Curitiba da UTFPR, no período de 26/04/2010 até 09/06/2010, em um total de 20 horas-aula, sem ônus para a UTFPR, curso gratuito para os participantes, para a comunidade interna da UTFPR.
Ministrou o Curso de Extensão Universitária em TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL, nas dependências do Campus Curitiba da UTFPR, no período de 15/03/2010 até 14/04/2010, em um total de 20 horas-aula, sem ônus para a UTFPR, curso gratuito para os participantes, para a comunidade interna da UTFPR.
Ministrou o Curso de Extensão Universitária FUNÇÕES COMPUTÁVEIS E FUNÇÕES RECURSIVAS, no período de 05/04/2010 a 26/04/2010, no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em um total de 20 horas.
Eventos Científicos Ministrados no Ano de 2009
- Álgebra enunciativa de primeira ordem no cálculo proposicional. 2009.
- Álgebra proposicional e implicações lógicas. 2009. Carga horária de 20 horas.
- Análise lógica da teoria dos conjuntos através do cálculo proposicional e dos predicados. 2009.
- Argumentos dedutivos e teoria da demonstração de primeira ordem. 2009.
- Aritmética de Peano e os fundamentos da aritmética. 2009.
- Aritmética de primeira ordem e linguagem. 2009.
- Axiomatização da lógica proposicional de primeira ordem. 2009.
- Axiomatização do corpo ordenado completo dos números reais. 2009.
- Cálculo sentencial e predicativo em lógica matemática. 2009.
- Completude da lógica proposicional clássica. 2009.
- Consistência em matemática e a incompletude. 2009.
- Demonstração segundo o princípio da indução finita ou indução matemática. 2009.
- Demonstrações recursivas em análise inferencial. 2009.
- Paradoxos matemáticos e paradoxos lógicos. 2009.
- Teorema da dedução e provas como procedimento computável. 2009.
- Teorema de Gödel e a lógica de primeira ordem. 2009.
- Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem. 2009.
Eventos Científicos Ministrados no Ano de 2008
- Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem. 2008.
- Teoria da demonstração em lógica matemática de primeira ordem. 2008.
Eventos Científicos Ministrados no Ano de 2007
- Modelagem inferencial proposicional em lógica matemática. 2007.
Eventos Científicos Ministrados no Ano de 1999
- Lógica matemática e álgebra booleana através do MAPLE V. 1999.
- Silogística de Aristóteles: a lógica dos enunciados categóricos. 1999.
Eventos Científicos Ministrados no Ano de 1998
- Correntes filosóficas da matemática. 1998.
- Lógica matemática e álgebra booleana através do MAPLE V. 1999.
- Silogística de Aristóteles: a lógica dos enunciados categóricos. 1999.
Eventos Científicos Ministrados no Ano de 1998
- Correntes filosóficas da matemática. 1998.
Eventos Científicos Ministrados no Ano de 1996
- Cálculo diferencial e integral através de aplicativos computacionais. 1996.
- Estruturação da inteligência artificial. 1996.
- Estruturação da lógica digital. 1996.
- Estudo das integrais de superfície. 1996.
- Interface entre lógica digital e inteligência artificial. 1996.
- Lógica de primeira ordem. 1996.
- Modelos aplicados na aquisição do conhecimento. 1996.
- Representação de superfícies e volumes em 3D através do MAPLE V. 1996.
- Representações gráficas em 2D através do MAPLE V. 1996.
- Teorema da divergência e suas aplicações. 1996.
- Teorema de Stokes e suas aplicações. 1996.
Eventos Científicos Ministrados no Ano de 1995
- Álgebra booleana aplicada à lógica digital. 1995.
- Aplicações das transformadas de Laplace. 1995.
- Cálculo proposicional em lógica matemática. 1995.
- Lógica matemática: análise inferencial e teoria da argumentação no cálculo proposicional. 1995.
- Lógica matemática: o cálculo dos predicados aplicado à análise matemática. 1995.
- Lógica matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos. 1995.
- Matemática de comutação: algebrização de circuitos elétricos. 1995.
- Representação em 3D através de aplicativos computacionais. 1995.
- Sistematização das transformadas de Laplace. 1995.
Eventos Científicos Ministrados no Ano de 1994
- Lógica matemática: prolegômenos ao cálculo proposicional em lógica matemática. 1994.
- Lógica matemática: uma introdução ao cálculo proposicional. 1994.
Eventos Científicos Ministrados no Ano de 1991
- Curso de verão em álgebra linear e cálculo numérico. 1991.
- Curso de verão em cálculo diferencial e integral. 1991.
- Cálculo diferencial e integral através de aplicativos computacionais. 1996.
- Estruturação da inteligência artificial. 1996.
- Estruturação da lógica digital. 1996.
- Estudo das integrais de superfície. 1996.
- Interface entre lógica digital e inteligência artificial. 1996.
- Lógica de primeira ordem. 1996.
- Modelos aplicados na aquisição do conhecimento. 1996.
- Representação de superfícies e volumes em 3D através do MAPLE V. 1996.
- Representações gráficas em 2D através do MAPLE V. 1996.
- Teorema da divergência e suas aplicações. 1996.
- Teorema de Stokes e suas aplicações. 1996.
Eventos Científicos Ministrados no Ano de 1995
- Álgebra booleana aplicada à lógica digital. 1995.
- Aplicações das transformadas de Laplace. 1995.
- Cálculo proposicional em lógica matemática. 1995.
- Lógica matemática: análise inferencial e teoria da argumentação no cálculo proposicional. 1995.
- Lógica matemática: o cálculo dos predicados aplicado à análise matemática. 1995.
- Lógica matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos. 1995.
- Matemática de comutação: algebrização de circuitos elétricos. 1995.
- Representação em 3D através de aplicativos computacionais. 1995.
- Sistematização das transformadas de Laplace. 1995.
Eventos Científicos Ministrados no Ano de 1994
- Lógica matemática: prolegômenos ao cálculo proposicional em lógica matemática. 1994.
- Lógica matemática: uma introdução ao cálculo proposicional. 1994.
Eventos Científicos Ministrados no Ano de 1991
- Curso de verão em álgebra linear e cálculo numérico. 1991.
- Curso de verão em cálculo diferencial e integral. 1991.