Eventos Científicos Ministrados no Ano de 2025
Ministrou o II Selocog (Seminário de Engenharia Lógica e Cognição), realizado em 26/12/2025, com o título “Modelagem Lógica”.
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.
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 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 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 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 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 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 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 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 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 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 “Cálculo das Funções Predicativas Quantificadas em Lógica Matemática”, desenvolvido no período de 26/04/2010 a 16/06/2010, no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em um total de 20 horas.
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.
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.
Ministrou o Curso de Extensão Universitária 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.
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 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 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 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 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 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 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 “Cálculo das Funções Predicativas Quantificadas em Lógica Matemática”, desenvolvido no período de 26/04/2010 a 16/06/2010, no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em um total de 20 horas.
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.
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.
Ministrou o Curso de Extensão Universitária 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.
Eventos Científicos Ministrados no Ano de 2009
Ministrou o Curso de Extensão Universitária intitulado Cálculo Sentencial e Predicativo em Lógica Matemática, no Câmpus Curitiba da UTFPR, no período de 05/10/2009 a 18/11/2009, em um total de 20 horas.
Ministrou o Curso de Extensão Universitária intitulado Cálculo Sentencial e Predicativo em Lógica Matemática, no Câmpus Curitiba da UTFPR, no período de 05/10/2009 a 18/11/2009, em um total de 20 horas.
Ministrou o Curso de Extensão Universitária intitulado Álgebra Proposicional e Implicações Lógicas, desenvolvido no Câmpus Curitiba da UTFPR, no período de 01/09/2009 a 23/10/2009, em um total de 20 horas.
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 2001
TÍTULO DO SEMINÁRIO: A Descoberta do Número: História de uma Grande Invenção
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: As Concepções de Leibniz e Descartes sobre a Filosofia da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: As Principais Correntes Filosóficas sobre a Matemática ao longo da História
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
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 2001
TÍTULO DO SEMINÁRIO: A Descoberta do Número: História de uma Grande Invenção
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: As Concepções de Leibniz e Descartes sobre a Filosofia da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: As Principais Correntes Filosóficas sobre a Matemática ao longo da História
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: O Logicismo em Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: O Formalismo Matemático
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: O Intuicionismo na Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: Logicismo X Formalismo X Intuicionismo
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: Pré-Visões: Existem Fundamentos (únicos) da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: Os Mundos Possíveis em Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
TÍTULO DO SEMINÁRIO: A Questão Carvalho X Figueira
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA TOTAL: 03 horas/aula
- DATA DA APRESENTAÇÃO: Primeiro Semestre de 2001
Eventos Científicos Ministrados no Ano de 2000
TÍTULO DO SEMINÁRIO: História Concisa sobre o Número
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 19/12/2000
TÍTULO DO SEMINÁRIO: A Filosofia da Matemática de Henri Poincaré
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 12/12/2000
TÍTULO DO SEMINÁRIO: Os Fundamentos da Matemática segundo Bertrand Russell
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 05/12/2000
TÍTULO DO SEMINÁRIO: A Proposta Linguística de Rudolf Carnap para a Fundamentação da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 20/11/2000
TÍTULO DO SEMINÁRIO: Ludwig Wittgenstein: o fundamento da matemática é o não fundamento
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 13/11/2000
TÍTULO DO SEMINÁRIO: A Matemática como derivação da Lógica segundo Gottlob Frege
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 30/10/2000
TÍTULO DO SEMINÁRIO: O sintético a priori em Matemática segundo Immanuel Kant
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 16/10/2000
TÍTULO DO SEMINÁRIO: A Influência dos Paradoxos e Antinomias na Fundamentação da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 02/10/2000
TÍTULO DO SEMINÁRIO: A Matemática na Idade Média
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 18/09/2000
TÍTULO DO SEMINÁRIO: A Idade Antiga da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 04/09/2000
TÍTULO DO SEMINÁRIO: O Logicismo
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 26/06/2000
TÍTULO DO SEMINÁRIO: A Lógica na Atualidade
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 20/06/2000
TÍTULO DO SEMINÁRIO: O Período Moderno da Lógica
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 19/06/2000
TÍTULO DO SEMINÁRIO: A Lógica na Idade Média
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 14/06/2000
TÍTULO DO SEMINÁRIO: As Origens da Lógica
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 06/06/2000
TÍTULO DO SEMINÁRIO: Descartes a Matemática Universal
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 30/05/2000
TÍTULO DO SEMINÁRIO: Aristóteles a e Abstração Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 22/05/2000
TÍTULO DO SEMINÁRIO: Platão e o Realismo Matemático
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 09/05/2000
TÍTULO DO SEMINÁRIO: Insignes Pensadores e a Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 04/05/2000
TÍTULO DO SEMINÁRIO: Paradoxos e Antinomias
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 24/04/2000
TÍTULO DO SEMINÁRIO: A Matemática Contemporânea
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 12/04/2000
TÍTULO DO SEMINÁRIO: O Renascimento da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 04/04/2000
TÍTULO DO SEMINÁRIO: A Matemática na Idade Média
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 21/03/2000
TÍTULO DO SEMINÁRIO: A Idade Antiga da Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 14/03/2000
TÍTULO DO SEMINÁRIO: Escorço Histórico sobre a Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 08/03/2000
Eventos Científicos Ministrados no Ano de 1999
TÍTULO DO SEMINÁRIO: Prolegômenos sobre o Desenvolvimento da Lógica na Antigüidade e suas Implicações na Atualidade
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 3 horas/aula
- DATA DA APRESENTAÇÃO: 24/11/99
TÍTULO DO SEMINÁRIO: Observações Extemporâneas sobre a Matemática na Idade Média: As Contribuições de Boécio e Regiomontanus
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 3 horas/aula
- DATA DA APRESENTAÇÃO: 23/11/99
TÍTULO DO EVENTO: Silogística de Aristóteles: A Lógica dos Enunciados Categóricos
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO EVENTO: Descrição da Silogística de Aristóteles. O Quadro de Oposição de Aristóteles. Silogismos Categóricos. Técnicas de Avaliação da Validade e Não-Validade de Silogismos. Silogística: o princípio da Lógica dos Predicados.
- DATA DE REALIZAÇÃO DO EVENTO: De 06/11/99 a 20/11/99
- CARGA HORÁRIA TOTAL: 20 horas-aula
TÍTULO DO SEMINÁRIO: As Concepções de Frege e Kant sobre analítico / sintético ou a priori / a posteriori em relação à Aritmética
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 3 horas/aula
- DATA DA APRESENTAÇÃO: 27/06/99
TÍTULO DO SEMINÁRIO: A Concepção de Rudolf Carnap sobre a Matemática
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 3 horas/aula
- DATA DA APRESENTAÇÃO: 26/06/99
TÍTULO DO SEMINÁRIO: O Pensamento matemático e lógico no Período Medieval Cristão
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 25/06/99
TÍTULO DO SEMINÁRIO: Prolegômenos sobre o desenvolvimento da Lógica no Período Medieval Cristão
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 08/06/99
TÍTULO DO EVENTO: Lógica Matemática e Álgebra Booleana através do MAPLE V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO EVENTO: Sistemas Algébricos e Álgebra Booleana; Operações e Relações em Lógica Matemática de Primeira Ordem; Comandos do MAPLE V relacionados com a Álgebra Booleana; Comandos do MAPLE V relacionados com a Lógica Matemática; Resolução de problemas de Álgebra Booleana e de Lógica Matemática através do MAPLE V.
- DATA DE REALIZAÇÃO DO EVENTO: De 10/04/99 até 24/04/99
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1998
TÍTULO DO SEMINÁRIO: O Pensamento Matemático de Wittgenstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 26/11/98
TÍTULO DO SEMINÁRIO: Observações Extemporâneas sobre a Filosofia da Matemática de Wittgenstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 25/06/98
TÍTULO DO EVENTO: Correntes Filosóficas da Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO EVENTO: A instituição das escolas filosóficas sobre a Matemática; o Problema dos Fundamentos da Matemática; Nominalismo; Conceptualismo e Intuicionismo; Realismo e Platonismo; Logicismo; Formalismo; e as relações entre as concepções filosóficas da Matemática e o atual posicionamento filosófico em Matemática.
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO SEMINÁRIO: O Pensamento Matemático de Wittgenstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 26/11/98
TÍTULO DO SEMINÁRIO: Observações Extemporâneas sobre a Filosofia da Matemática de Wittgenstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 03 horas/aula
- DATA DA APRESENTAÇÃO: 25/06/98
TÍTULO DO EVENTO: Correntes Filosóficas da Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO EVENTO: A instituição das escolas filosóficas sobre a Matemática; o Problema dos Fundamentos da Matemática; Nominalismo; Conceptualismo e Intuicionismo; Realismo e Platonismo; Logicismo; Formalismo; e as relações entre as concepções filosóficas da Matemática e o atual posicionamento filosófico em Matemática.
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1997
TÍTULO DO SEMINÁRIO: Aritmética de Peano e Considerações sobre Modelos Standard e Não-Standard da Aritmética
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 04 horas/aula
- DATA DA APRESENTAÇÃO: 26/11/97
TÍTULO DO SEMINÁRIO: Relação de Dominação e Teorema de Schröder-Bernstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 04 horas/aula
- DATA DA APRESENTAÇÃO: 16/06/97
TÍTULO DO EVENTO: Representações em 3D através de aplicativos computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO EVENTO: Principais comandos do Mathematica. Principais comandos do Maple V. Edição de gráficos matemáticos em 3D em Coordenadas Cartesianas. Edição de gráficos matemáticos em 3D em Coordenadas Polares. Edição de gráficos matemáticos em 3D em Coordenadas Cilíndricas. Edição de gráficos matemáticos em 3D em Coordenadas Esféricas.
- PERÍODO DE REALIZAÇÃO DO EVENTO: 25 e 26/04/1997
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO SEMINÁRIO: Aritmética de Peano e Considerações sobre Modelos Standard e Não-Standard da Aritmética
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 04 horas/aula
- DATA DA APRESENTAÇÃO: 26/11/97
TÍTULO DO SEMINÁRIO: Relação de Dominação e Teorema de Schröder-Bernstein
- INSTITUIÇÃO: Universidade Estadual de Campinas - UNICAMP
- CARGA HORÁRIA: 04 horas/aula
- DATA DA APRESENTAÇÃO: 16/06/97
TÍTULO DO EVENTO: Representações em 3D através de aplicativos computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO EVENTO: Principais comandos do Mathematica. Principais comandos do Maple V. Edição de gráficos matemáticos em 3D em Coordenadas Cartesianas. Edição de gráficos matemáticos em 3D em Coordenadas Polares. Edição de gráficos matemáticos em 3D em Coordenadas Cilíndricas. Edição de gráficos matemáticos em 3D em Coordenadas Esféricas.
- PERÍODO DE REALIZAÇÃO DO EVENTO: 25 e 26/04/1997
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1996
TÍTULO DO EVENTO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO CURSO: Apresentação do software algébrico Maple V. Apresentação da sintaxe necessária para a edição de gráficos matemáticos no Maple V em 3D. Edição de gráficos de funções e relações na forma paramétrica. Edição de gráficos em coordenadas cilíndricas e esféricas. Considerações gerais sobre a edição de limites, derivadas e integrais de funções em 3D e sobre a correspondente análise gráfica de tais conceitos através do Maple V. Comandos avançados do Maple V.
- DATA DE REALIZAÇÃO: 21, 23, 25, 28 e 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Representações Gráficas em 2D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO CURSO: Apresentação dos principais comandos do software algébrico Maple V. Apresentação da sintaxe necessária para a edição de gráficos matemáticos no Maple V em 2D. Edição de gráficos de funções e relações na forma paramétrica. Edição de gráficos em coordenadas polares. Considerações gerais sobre a edição de limites, derivadas e integrais de funções em 2D e sobre a correspondente análise gráfica de tais conceitos através do Maple V.
- DATA DE REALIZAÇÃO: 07, 09, 14, 16 e 18/10/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- Nome criado para anais: Aquisição de Conhecimento através da lógica digital e inteligência artificial
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária.
- TÍTULOS DAS PALESTRAS APRESENTADAS: Lógica de Primeira Ordem; Estruturação da Lógica Digital; Estruturação da Inteligência Artificial; Interface entre Lógica Digital e Inteligência Artificial; Modelos Aplicados na Aquisição do Conhecimento.
- CONTEÚDO DAS PALESTRAS: O conjunto de palestras acima enunciado apresentou, de forma estruturada e compendiada, uma visão geral sobre as relações de impregnação entre a Lógica Digital e a Inteligência Artificial e sobre as correspondentes aplicações na resolução de problemas relacionados à aquisição de conhecimentos artificialmente.
- DATA DAS PALESTRAS: 16, 18, 23, 25 e 30/09/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: III Ciclo de Palestras sobre a Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULOS DA PALESTRAS APRESENTADAS: Estudo das Integrais de Superfície. O Teorema de Stokes e suas aplicações. Teorema da Divergência e suas aplicações.
- CONTEÚDO DA PALESTRA: Definição e Estruturação das Integrais de Superfície e suas aplicações em Modelos Matemáticos para a Resolução de Problemas do Mundo Real. Apresentação e Demonstração dos Teoremas de Stokes e da Divergência, bem como, exemplificação de diversas aplicações dos mesmos na Resolução de Problemas do Mundo Real.
- DATA DA PALESTRA: 25 / 05 / 1996
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Operações Algébricas e Transcendentes através de Aplicativos Computacionais. Limites, Derivadas e Integrais através de Aplicativos Computacionais. Representação de Funções e Relações em 2D (espaço bidimensional) através de Aplicativos Computacionais. Representação de Funções e Relações em 3D (espaço tridimensional) através de Aplicativos Computacionais.
- DATA DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO CURSO: Apresentação do software algébrico Maple V. Apresentação da sintaxe necessária para a edição de gráficos matemáticos no Maple V em 3D. Edição de gráficos de funções e relações na forma paramétrica. Edição de gráficos em coordenadas cilíndricas e esféricas. Considerações gerais sobre a edição de limites, derivadas e integrais de funções em 3D e sobre a correspondente análise gráfica de tais conceitos através do Maple V. Comandos avançados do Maple V.
- DATA DE REALIZAÇÃO: 21, 23, 25, 28 e 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Representações Gráficas em 2D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária.
- CONTEÚDO DO CURSO: Apresentação dos principais comandos do software algébrico Maple V. Apresentação da sintaxe necessária para a edição de gráficos matemáticos no Maple V em 2D. Edição de gráficos de funções e relações na forma paramétrica. Edição de gráficos em coordenadas polares. Considerações gerais sobre a edição de limites, derivadas e integrais de funções em 2D e sobre a correspondente análise gráfica de tais conceitos através do Maple V.
- DATA DE REALIZAÇÃO: 07, 09, 14, 16 e 18/10/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- Nome criado para anais: Aquisição de Conhecimento através da lógica digital e inteligência artificial
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária.
- TÍTULOS DAS PALESTRAS APRESENTADAS: Lógica de Primeira Ordem; Estruturação da Lógica Digital; Estruturação da Inteligência Artificial; Interface entre Lógica Digital e Inteligência Artificial; Modelos Aplicados na Aquisição do Conhecimento.
- CONTEÚDO DAS PALESTRAS: O conjunto de palestras acima enunciado apresentou, de forma estruturada e compendiada, uma visão geral sobre as relações de impregnação entre a Lógica Digital e a Inteligência Artificial e sobre as correspondentes aplicações na resolução de problemas relacionados à aquisição de conhecimentos artificialmente.
- DATA DAS PALESTRAS: 16, 18, 23, 25 e 30/09/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: III Ciclo de Palestras sobre a Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULOS DA PALESTRAS APRESENTADAS: Estudo das Integrais de Superfície. O Teorema de Stokes e suas aplicações. Teorema da Divergência e suas aplicações.
- CONTEÚDO DA PALESTRA: Definição e Estruturação das Integrais de Superfície e suas aplicações em Modelos Matemáticos para a Resolução de Problemas do Mundo Real. Apresentação e Demonstração dos Teoremas de Stokes e da Divergência, bem como, exemplificação de diversas aplicações dos mesmos na Resolução de Problemas do Mundo Real.
- DATA DA PALESTRA: 25 / 05 / 1996
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Operações Algébricas e Transcendentes através de Aplicativos Computacionais. Limites, Derivadas e Integrais através de Aplicativos Computacionais. Representação de Funções e Relações em 2D (espaço bidimensional) através de Aplicativos Computacionais. Representação de Funções e Relações em 3D (espaço tridimensional) através de Aplicativos Computacionais.
- DATA DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1995
TÍTULO DO EVENTO: Semana de Matemática da PUC-PR
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: Matemática de Comutação: Algebrização de Circuitos Elétricos
- CONTEÚDO DA PALESTRA: Sistematização da Lógica da Álgebra ou Álgebra Booleana. Álgebra das Classes. Axiomas Fundamentais da Álgebra Booleana. Relações entre Álgebra Booleana e Lógica Matemática. Aplicação da Álgebra Booleana às Redes de Circuitos Elétricos. Análise de Circuitos Elétricos através das Funções Booleanas. Sistematização da Lógica de Comutação ou Lógica de Interruptores. Portas Lógicas. Considerações sobre Lógica Digital.
- DATA DA PALESTRA: 06/11/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: Álgebra Booleana aplicada à Lógica Digital
- CONTEÚDO DA PALESTRA: Estruturação da Lógica da Álgebra ou da Álgebra Booleana. Relações entre a Álgebra das Classes e a Álgebra Proposicional em Lógica Matemática. Aplicação da Álgebra Booleana às Redes de Circuitos Elétricos. Decodificação de Circuitos Elétricos mediante Funções Booleanas. Conversão de Circuitos Elétricos em Funções Booleanas. Projeto Lógico de Redes Elétricas. Portas Lógicas e a Lógica de Interruptores. Sistematização da Lógica Digital.
- DATA DA PALESTRA: 02/10/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: Cálculo Proposicional em Lógica Matemática
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Sistemas Algébricos Bivalentes. Sistematização da Semântica e da Sintaxe do Cálculo Proposicional em Lógica Matemática. Operações e Relações Lógicas no Cálculo Sentencial. Álgebra Proposicional. Sistematização do Cálculo Proposicional para a Análise de Raciocínios Dedutivos. Teoria da Demonstração. Análise Inferencial aplicada sobre Raciocínios Dedutivos Bivalentes. Aplicações da Lógica Matemática na Avaliação de Raciocínios Matemáticos.
- DATA DE REALIZAÇÃO: De 02/10/1995 a 30/10/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: O Cálculo dos Predicados aplicado à Análise Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Sistematização do Cálculo dos Predicados em Lógica Matemática. Termos e Predicados no Cálculo dos Predicados. Considerações sobre Enunciados Categóricos. Operações e Relações Lógicas no Cálculo dos Predicados. Álgebra das Funções Enunciativas de n-variáveis. Teoria da Quantificação no Cálculo dos Predicados. Teoria da Argumentação no Cálculo dos Predicados. Análise Inferencial no Cálculo dos Predicados. Aplicação da Lógica dos Predicados à Análise Matemática.
- DATA DE REALIZAÇÃO: De 02/08/1995 a 30/08/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Estruturação das Operações e Relações Lógicas no Cálculo Sentencial. Sistemas Algébricos Bivalentes ou Dicotômicos. Álgebra Proposicional: Estruturação da Álgebra da Lógica Matemática. Estruturação e Análise de Inferências em Lógica Matemática. Teoria da Argumentação em Lógica Matemática. Demonstrabilidade. Aplicação das Relações de Equivalência na Avaliação de Argumentos.
- DATA DE REALIZAÇÃO: De 14/06/1995 a 04/07/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações em Problemas do Mundo Real
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Aplicações das Transformadas de Laplace
- CONTEÚDO DA PALESTRA: Aplicações das Transformadas de Laplace na Resolução de Equações Diferenciais Ordinárias e Equações Diferenciais Parciais.
- DATA DA PALESTRA: 07/06/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações em Problemas do Mundo Real
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Sistematização das Transformadas de Laplace
- CONTEÚDO DA PALESTRA: Estruturação das Transformadas de Laplace. Transformadas Inversas de Laplace. Quadro de Transformadas das Funções Elementares. Teorema da Convolução.
- DATA DA PALESTRA: 06/06/1995
- CARGA HORÁRIA TOTAL: 4 horas/aula
TÍTULO DO EVENTO MINISTRADO: Lógica Matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos
TÍTULO DO EVENTO: Semana de Matemática da PUC-PR
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: Matemática de Comutação: Algebrização de Circuitos Elétricos
- CONTEÚDO DA PALESTRA: Sistematização da Lógica da Álgebra ou Álgebra Booleana. Álgebra das Classes. Axiomas Fundamentais da Álgebra Booleana. Relações entre Álgebra Booleana e Lógica Matemática. Aplicação da Álgebra Booleana às Redes de Circuitos Elétricos. Análise de Circuitos Elétricos através das Funções Booleanas. Sistematização da Lógica de Comutação ou Lógica de Interruptores. Portas Lógicas. Considerações sobre Lógica Digital.
- DATA DA PALESTRA: 06/11/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: Álgebra Booleana aplicada à Lógica Digital
- CONTEÚDO DA PALESTRA: Estruturação da Lógica da Álgebra ou da Álgebra Booleana. Relações entre a Álgebra das Classes e a Álgebra Proposicional em Lógica Matemática. Aplicação da Álgebra Booleana às Redes de Circuitos Elétricos. Decodificação de Circuitos Elétricos mediante Funções Booleanas. Conversão de Circuitos Elétricos em Funções Booleanas. Projeto Lógico de Redes Elétricas. Portas Lógicas e a Lógica de Interruptores. Sistematização da Lógica Digital.
- DATA DA PALESTRA: 02/10/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: Cálculo Proposicional em Lógica Matemática
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Sistemas Algébricos Bivalentes. Sistematização da Semântica e da Sintaxe do Cálculo Proposicional em Lógica Matemática. Operações e Relações Lógicas no Cálculo Sentencial. Álgebra Proposicional. Sistematização do Cálculo Proposicional para a Análise de Raciocínios Dedutivos. Teoria da Demonstração. Análise Inferencial aplicada sobre Raciocínios Dedutivos Bivalentes. Aplicações da Lógica Matemática na Avaliação de Raciocínios Matemáticos.
- DATA DE REALIZAÇÃO: De 02/10/1995 a 30/10/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: O Cálculo dos Predicados aplicado à Análise Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Sistematização do Cálculo dos Predicados em Lógica Matemática. Termos e Predicados no Cálculo dos Predicados. Considerações sobre Enunciados Categóricos. Operações e Relações Lógicas no Cálculo dos Predicados. Álgebra das Funções Enunciativas de n-variáveis. Teoria da Quantificação no Cálculo dos Predicados. Teoria da Argumentação no Cálculo dos Predicados. Análise Inferencial no Cálculo dos Predicados. Aplicação da Lógica dos Predicados à Análise Matemática.
- DATA DE REALIZAÇÃO: De 02/08/1995 a 30/08/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Estruturação das Operações e Relações Lógicas no Cálculo Sentencial. Sistemas Algébricos Bivalentes ou Dicotômicos. Álgebra Proposicional: Estruturação da Álgebra da Lógica Matemática. Estruturação e Análise de Inferências em Lógica Matemática. Teoria da Argumentação em Lógica Matemática. Demonstrabilidade. Aplicação das Relações de Equivalência na Avaliação de Argumentos.
- DATA DE REALIZAÇÃO: De 14/06/1995 a 04/07/1995
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações em Problemas do Mundo Real
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Aplicações das Transformadas de Laplace
- CONTEÚDO DA PALESTRA: Aplicações das Transformadas de Laplace na Resolução de Equações Diferenciais Ordinárias e Equações Diferenciais Parciais.
- DATA DA PALESTRA: 07/06/1995
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: II Ciclo de Palestras sobre a Matemática: Transformadas e suas Aplicações em Problemas do Mundo Real
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Sistematização das Transformadas de Laplace
- CONTEÚDO DA PALESTRA: Estruturação das Transformadas de Laplace. Transformadas Inversas de Laplace. Quadro de Transformadas das Funções Elementares. Teorema da Convolução.
- DATA DA PALESTRA: 06/06/1995
- CARGA HORÁRIA TOTAL: 4 horas/aula
TÍTULO DO EVENTO MINISTRADO: Lógica Matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Sistematização do Cálculo Proposicional. Sistemas Algébricos Bivalentes ou Dicotômicos. Princípios e Elementos do Cálculo Sentencial. Operações e Relações Lógicas. Álgebra Proposicional. Análise Inferencial em Lógica Matemática. Teoria da Argumentação em Lógica Matemática. Teoria da Demonstração em Lógica Matemática.
- PERÍODO DE REALIZAÇÃO: De 03/05/1995 a 31/05/1995
- CARGA HORÁRIA TOTAL: 20 horas-aula
TÍTULO DO EVENTO: Seminário Avançado em Lógica para o desenvolvimento do raciocínio
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Seminário apresentado nos Cursos de Mestrado em Educação da Pontifícia Universidade Católica do Paraná
- CONTEÚDO DO SEMINÁRIO: Apresentação de Métodos e Técnicas Formais de Argumentação para a análise de validade de raciocínios dedutivos e indutivos a partir dos pressupostos analíticos da Lógica Formal.
- PERÍODO DE REALIZAÇÃO: De 27/04/1995 a 29/04/1995
- CARGA HORÁRIA TOTAL: 15 horas/aula
Eventos Científicos Ministrados no Ano de 1994
TÍTULO DO EVENTO: Curso de Lógica Matemática: Prolegômenos ao Cálculo Proposicional em Lógica Matemática
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DA PALESTRA: Apresentação de uma Introdução sobre o Cálculo Lógico desenvolvido em Lógica Matemática e suas aplicações aos Sistemas Formais Bivalentes e Dicotômicos
- PERÍODO DE REALIZAÇÃO: De 18/07/1994 a 22/07/1994
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: uma introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Posicionamento Histórico. Princípios Fundamentais da Lógica Matemática. Verdade e Validade em Lógica Matemática. Estruturação do Cálculo Proposicional. Operações Lógicas Fundamentais. Relações de Equivalência e de Implicação Lógica. Desenvolvimento da Álgebra Proposicional. Método Dedutivo: Teoria da Demonstração. Argumentos Dedutivos Válidos e Falácias. Análise Inferencial no Cálculo Proposicional.
- PERÍODO DE REALIZAÇÃO: De 16/05/1994 a 13/06/1994
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1991
TÍTULO DO EVENTO: Curso de Verão em Álgebra Linear e Cálculo Numérico
- INSTITUIÇÃO: Faculdades Positivo (Faculdade de Informática)
- TIPO DO EVENTO: Curso de Aperfeiçoamento Curricular
- CONTEÚDO DO CURSO: Matrizes. Determinantes. Sistemas de Equações Lineares. Álgebra Vetorial.
- PERÍODO DE REALIZAÇÃO: Janeiro e Fevereiro de 1991
- CARGA HORÁRIA TOTAL: 30 horas/aula
TÍTULO DO EVENTO: Curso de Verão em Cálculo Diferencial e Integral
- INSTITUIÇÃO: Faculdades Positivo (Faculdade de Informática)
- TIPO DO EVENTO: Curso de Aperfeiçoamento Curricular
- CONTEÚDO DO CURSO: Integrais Indefinidas. Integrais Definidas. Aplicações Geométricas das Integrais Definidas. Equações Diferenciais.
- PERÍODO DE REALIZAÇÃO: Janeiro e Fevereiro de 1991
- CARGA HORÁRIA TOTAL: 60 horas/aula
TÍTULO DO EVENTO: Seminário Avançado em Lógica para o desenvolvimento do raciocínio
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Seminário apresentado nos Cursos de Mestrado em Educação da Pontifícia Universidade Católica do Paraná
- CONTEÚDO DO SEMINÁRIO: Apresentação de Métodos e Técnicas Formais de Argumentação para a análise de validade de raciocínios dedutivos e indutivos a partir dos pressupostos analíticos da Lógica Formal.
- PERÍODO DE REALIZAÇÃO: De 27/04/1995 a 29/04/1995
- CARGA HORÁRIA TOTAL: 15 horas/aula
Eventos Científicos Ministrados no Ano de 1994
TÍTULO DO EVENTO: Curso de Lógica Matemática: Prolegômenos ao Cálculo Proposicional em Lógica Matemática
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DA PALESTRA: Apresentação de uma Introdução sobre o Cálculo Lógico desenvolvido em Lógica Matemática e suas aplicações aos Sistemas Formais Bivalentes e Dicotômicos
- PERÍODO DE REALIZAÇÃO: De 18/07/1994 a 22/07/1994
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: Lógica Matemática: uma introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- CONTEÚDO DO CURSO: Posicionamento Histórico. Princípios Fundamentais da Lógica Matemática. Verdade e Validade em Lógica Matemática. Estruturação do Cálculo Proposicional. Operações Lógicas Fundamentais. Relações de Equivalência e de Implicação Lógica. Desenvolvimento da Álgebra Proposicional. Método Dedutivo: Teoria da Demonstração. Argumentos Dedutivos Válidos e Falácias. Análise Inferencial no Cálculo Proposicional.
- PERÍODO DE REALIZAÇÃO: De 16/05/1994 a 13/06/1994
- CARGA HORÁRIA TOTAL: 20 horas/aula
Eventos Científicos Ministrados no Ano de 1991
TÍTULO DO EVENTO: Curso de Verão em Álgebra Linear e Cálculo Numérico
- INSTITUIÇÃO: Faculdades Positivo (Faculdade de Informática)
- TIPO DO EVENTO: Curso de Aperfeiçoamento Curricular
- CONTEÚDO DO CURSO: Matrizes. Determinantes. Sistemas de Equações Lineares. Álgebra Vetorial.
- PERÍODO DE REALIZAÇÃO: Janeiro e Fevereiro de 1991
- CARGA HORÁRIA TOTAL: 30 horas/aula
TÍTULO DO EVENTO: Curso de Verão em Cálculo Diferencial e Integral
- INSTITUIÇÃO: Faculdades Positivo (Faculdade de Informática)
- TIPO DO EVENTO: Curso de Aperfeiçoamento Curricular
- CONTEÚDO DO CURSO: Integrais Indefinidas. Integrais Definidas. Aplicações Geométricas das Integrais Definidas. Equações Diferenciais.
- PERÍODO DE REALIZAÇÃO: Janeiro e Fevereiro de 1991
- CARGA HORÁRIA TOTAL: 60 horas/aula