Comunicações Orais Ministradas no Ano de 2025
Ministrou a palestra “Modelagem Lógica” durante o II Selocog (Seminário de Engenharia Lógica e Cognição), realizado em 26/12/2025, com o mesmo título “Modelagem Lógica”.
Comunicações Orais Ministradas no Ano de 2023
Ministrou a palestra “RSC a despeito da RSC” durante o Selocog (Seminário de Engenharia Lógica e Cognição) de 2023, realizado em 04/07/2023.
Ministrou a palestra “LÓGICA DOS DISTÚRBIOS COGNITIVOS E NEUROLÓGICOS” durante o Primeiro Simpósio de Lógica e Neurociência (Simlogneu), realizado em 10 de abril de 2023.
Ministrou a conferência “Engenharia Lógica avalia Chat de IA”, realizada em 25 de março de 2023, quando se iniciaram as atividades de 2023 do Cenenlocog (Centro de Engenharia Lógica e Cognição).
Comunicações Orais Ministradas no Ano de 2022
Ministrou a conferência “A MATEMÁTICA É A FILOSOFIA DA MATEMÁTICA” durante a comemoração dos dez anos de publicação da minha obra PROLEGÔMENOS À FILOSOFIA DA MATEMÁTICA (ISBN 978-85-88925-08-3), realizada no dia 16 de agosto de 2022.
Ministrou a palestra “RSC TRILHANDO OS CAMINHOS DA INOVAÇÃO NO MUNDO DISRUPTIVO” durante Selocog (Seminário de Engenharia Lógica e Cognição) de 2022, realizado em 13/07/2022, com o mesmo tema “RSC TRILHANDO OS CAMINHOS DA INOVAÇÃO NO MUNDO DISRUPTIVO”.
Ministrou a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" durante a primeira reunião de 2022 do Cenenlocog (Centro de Engenharia Lógica e Cognição), realizada no dia 18 de março de 2022.
Comunicações Orais Ministradas no Ano de 2019
Ministrou a palestra “Engenharia Infinita em um Mundo Sem Lixo” durante o Selocog (Seminário de Engenharia Lógica e Cognição) de 2019, realizado em 21/10/2019, com o mesmo tema “Engenharia Infinita em um Mundo Sem Lixo”.
Comunicações Orais Ministradas no Ano de 2018
Ministrou a palestra “Conexões entre Engenharia Matemática e Indústria” durante a reunião de Planejamento 2019 do GPDTCEI (Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria), realizada 25/10/2018, no Câmpus da Indústria do Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep).
Ministrou a palestra “Engenharia Lógica como Formação Inovadora e Disruptiva” apresentada durante a reunião de Planejamento 2019 do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) realizada na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), em 24/10/2018.
Ministrou a palestra “Mãos 3D acenam para futuro disruptivo” durante a reunião de Planejamento do Centro de Engenharia Lógica e Cognição (Cenenlocog) realizada em 05/10/2018, na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR).
Ministrou a palestra “Engenharia Matemática: Engenharia Disruptiva” durante o III SLAIDEL (III Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), realizado com o mesmo tema “Engenharia Matemática: Engenharia Disruptiva” em 12/09/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição),
Ministrou a conferência “Indústria 4.0 é condicionada pelos CPS (CYBER-PHYSICAL SYSTENS)”, realizada em 17/05/2018, com promoção do Cenenlocog (Centro de Engenharia Lógica e Cognição), durante o Primeiro Encontro do Cenenlocog.
Comunicações Orais Ministradas no Ano de 2017
Ministrou a palestra intitulada Pressupostos da Engenharia Matemática, em 24/10/2017, em um total de 5 (cinco) horas, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Engenharia Matemática para Além das Matemáticas, em 23/10/2017, em um total de 5 (cinco) horas, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Indústria 4.0 e o Mundo Cyber-Físico, em 18/09/2017, em um total de 4 (quatro) horas, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada A Necessidade Matemática nas Engenharias, em 18/09/2017, em um total de 2 (duas) horas, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada Engenharia matemática e Engenharia Lógica, em 30/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica na Indústria 4.0, em 28/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica e Conhecimento, em 18/07/2017, em um total de 4 (quatro) horas, durante o Seminário sobre Simbiose entre Indústria 4.0 e ODS.
Ministrou a palestra intitulada Teoria da Prova Dedutiva e Raciocínios Válidos, em 13/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Análise e Teoria da Argumentação Analítica, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Analítica de Argumentos Dedutivos, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Validade Condicionando Consistência, em 11/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Fórmulas Proposicionais e Cálculo Lógico, em 10/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, em 20/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra História Concisa das Quatro Revoluções Industriais, em 21/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Aspectos Lógicos da Cognição Sistêmica no Meio Industrial, em 16/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Aquisição Analítica de Conhecimento, em 15/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Cognição Computacional e Filosofia Analítica, em 14/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Lógica Condicional entre Nanociências e Nanotecnologias, em 07/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Engenharia Lógica Aplicada às Nanociências e Nanotecnologias, em 08/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Cognição Computacional Revoluciona Aquisição de Conhecimento, em 03/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra As Razões da Engenharia Universal na Nova Era Computacional, em 02/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Consciência Cibernética Transcende Inteligência Artificial, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Ministrou a palestra Lógica da Cognição Computacional e Consciência Cibernética, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 3 horas.
Comunicações Orais Ministradas no Ano de 2016
Ministrou a palestra Pressupostos da Lógica Fuzzy, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Computabilidade de Sistemnas Algébricos, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Lógica Computacional, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Lógicas Recursivas Inferenciais, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 4 horas.
Ministrou a palestra Álgebra da Lógica em Engenharia Lógica, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 2 horas.
Ministrou a palestra Engenharia Lógica como Modelo Analítico Inferencial, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 2 horas.
Ministrou a palestra Tríplice Hélice do Conhecimento-Inovação na RI 4.0, em 25/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Modelos Inferenciais Dedutivos, em 24/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Engenharia Lógica e Teoria da Prova Dedutiva, em 19/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Corretude e Completude em Sistemas Consistentes, em 18/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Análise Inferencial e Teoria da Argumentação Lógica, em 17/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Cálculos Lógicos e Álgebra da Lógica Dedutiva, em 16/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Semântica e Sintaxe de Linguagens Formais de Primeira Ordem, em 15/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra ANÁLISE LÓGICA EM ENGENHARIA E NA INDÚSTRIA em 10/03/2016, com duração de 2 (duas) horas, como parte integrante do II SETECIEI - Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA o qual foi promovido e desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a conferência Máquinas Lógicas Virtuais no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 24/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Engenharia Lógica Aplicada às Nanomáquinas no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Análise Inferencial Dedutiva Computacional no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Comunicações Orais Ministradas no Ano de 2015
Ministrou a palestra (conferência) intitulada Necessária Simbiose entre Tecnologia da Indústria e Ciência da Academia, em 19/10/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), como parte da 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 a palestra (conferência) intitulada Exigências Holísticas entre Tecnologia e Ciência, em 18/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou a palestra (conferência) intitulada Modelagem Lógica Sentencial e Inferencial, em 20/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou a palestra intitulada UMA LÓGICA ANALÍTICA PARA A SIMBIOSE E EXIGÊNCIAS RELACIONAIS ENTRE ACADEMIA E INDÚSTRIA, em 14/04/2015, em um total de 3 (três) horas-aula, no Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra ENGENHARIA LÓGICA COMO POSSIBILIDADE TECNOLOGIA PARA AS CIÊNCIAS, em 14/04/2015, em um total de 3 (três) horas, durante o Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECEIEI) - Simbiose e Exigências Relacionais entre Academia e Indústria, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra ENGENHARIA LÓGICA E GERENCIAMENTO INDUSTRIAL, em 07/04/2015, em um total de 5 (cinco) horas-aula, durante o II SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) - Possibilidades Tecnológicas e Segurança Científica, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 06/04/2015 a 10/04/2015.
Comunicações Orais Ministradas no Ano de 2014
Ministrou a Palestra intitulada CÁLCULO LÓGICO INFERENCIAL, apresentada no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 08/05/2014, em um total de 2 (duas) horas.
Ministrou a palestra intitulada ENGENHARIA LÓGICA, CÁLCULO LÓGICO INFERENCIAL E ENGENHARIA MATEMÁTICA, durante o Seminário INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA: ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), por meio do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) / UTFPR/CNPq, em 12/03/2014, em um total de 2 (duas) horas-aula.
PDI Uma Questão Nacional. Palestra. 28/01/2014.
Comunicações Orais Ministradas no Ano de 2013
Benefícios Fiscais Subjugados pelo Academismo. 26/04/2013. Palestra.
Contínua e Constante Escravidão Humana. 17/05/2013. Palestra.
Engenharia Matemática Rumo à Inovação. 09/08/2013.
Ética Maquiavélica Frente à Consciência Política Despótica. 07/02/2013. Palestra.
Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos. 06/08/2013.
Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência (In I COLÓQUIO ENTELECHIA LOGICAE). 23/06/2013. Colóquio.
Morte Como Razão Suficiente. 17/05/2013. Palestra.
Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento. 02/08/2013.
Nanomáquinas Promovem Nova Revolução Industrial. 01/07/2013. Palestra.
PARADIGMAS DA NECESSIDADE “Assaltam” Possibilidades. 16/08/2013.
Paradoxos Supõem Antinomias Maquiavélicas. 12/07/2013. Palestra.
Potência Lógica e Eficiência das Nanomáquinas. 23/08/2013. Palestra.
Razão Suficiente de Maquiavel. 26/04/2013. Palestra.
Comunicações Orais Ministradas no Ano de 2012
A Conjunção do Direito Grego (em geral) e da Ordem Helênica (em particular). 18/05/2012. Palestra.
A Lógica da Morte. 30/10/2012. Palestra.
Comunicações Orais Ministradas no Ano de 2011
Ministrou a Palestra (Conferência) intitulada OS CAMINHOS DA INOVAÇÃO EM ENGENHARIA MATEMÁTICA, apresentada durante o II SCADIENG, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 28/11/2011.
Ministrou a Palestra (Conferência) intitulada LÓGICA FORMAL E FILOSOFIA ANALÍTICA COMO FATOR DE INOVAÇÃO, apresentada durante o II SECAFUNP, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 26/10/2011.
Ministrou a Palestra (Conferência) intitulada INOVAÇÃO TECNOLÓGICA CENTRADA NA LÓGICA CLÁSSICA, apresentada durante o II SELOGMAS, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 23/09/2011.
Comunicações Orais Ministradas no Ano de 2010
Proferiu a Conferência “Instâncias Sentenciais e Funções Quantificadas”, apresentada no I SECAFUNP, realizado no Câmpus Curitiba da UTFPR, de 30/11/2010 a 01/12/2010.
Proferiu a Conferência “Modelagem Diferencial e Integral nas Engenharias”, apresentada no I SCADIENG, realizado no Câmpus Curitiba da UTFPR, em 29/11/2010.
Proferiu a Palestra Técnica “Álgebras Computáveis e Recursivamente Computáveis”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 27/09/2010, das 19h30min às 21h30min.
Proferiu a Palestra Técnica “Completude e Corretude de Sistemas Algébricos”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 20/09/2010, das 19h30min às 21h30min.
Proferiu a Palestra Técnica “Teoremas da Incompletude Matemática”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 12/09/2010, das 19h30min às 21h30min.
Comunicações Orais Ministradas no Ano de 2009
Proferiu a Palestra “Consistência em matemática e a incompletude”, em 23/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Paradoxos matemáticos e paradoxos lógicos”, em 16/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Aritmética de Peano e os fundamentos da aritmética”, em 09/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Aritmética de primeira ordem e linguagem”, em 02/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teorema da dedução e provas como procedimento computável”, em 26/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teorema de Gödel e a lógica de primeira ordem”, em 19/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Completude da lógica proposicional clássica”, em 12/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Axiomatização da lógica proposicional de primeira ordem”, em 05/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Demonstrações recursivas em análise inferencial”, em 14/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem”, em 07/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Axiomatização do corpo ordenado completo dos números reais”, em 07/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Demonstração segundo o princípio da indução finita ou indução matemática”, em 24/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Análise lógica da Teoria dos Conjuntos através do Cálculo Proposicional e dos Predicados”, em 17/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Argumentos dedutivos e teoria da demonstração de primeira ordem”, em 10/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Álgebra enunciativa de primeira ordem no cálculo proposicional”, em 03/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Comunicações Orais Ministradas no Ano de 2008
Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Teoria da demonstração em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Comunicações Orais Ministradas no Ano de 2007
Modelagem inferencial proposicional em lógica matemática, 2007. (Apresentação de Trabalho).
Comunicações Orais Ministradas no Ano de 1998
TÍTULO DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Modelagem Matemática
- CONTEÚDO DO EVENTO: O que é Modelagem Matemática? Principais Vantagens na utilização de Modelos Matemáticos. O Cálculo Diferencial e Integral como Modelo. A Matemática e o Computador. A Técnica de Resolução de Problemas através da Modelagem Matemática. Exemplos de Modelos Matemáticos aplicados na resolução de problemas do mundo real.
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: V Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Evolução histórica da Lógica Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- Nome criado para anais: Evolução histórica das lógicas formais
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- TÍTULO DA PALESTRA APRESENTADA: Evolução histórica da Lógica Matemática
- CONTEÚDO DO EVENTO: Lógica Matemática de Leibniz até o The Mathematical Analysis of Logic de George Boole; Lógica Matemática de Boole até o advento do Vorlesungen über die Algebra der Logik de E. Schröder; Lógica Matemática de Frege (do Begriffsschrift) até os Principia Mathematica de Russell e Whitehead; o panorama atual da Lógica Matemática a partir dos Principia Mathematica.
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
Comunicações Orais Ministradas no Ano de 2011
Ministrou a Palestra (Conferência) intitulada OS CAMINHOS DA INOVAÇÃO EM ENGENHARIA MATEMÁTICA, apresentada durante o II SCADIENG, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 28/11/2011.
Ministrou a Palestra (Conferência) intitulada LÓGICA FORMAL E FILOSOFIA ANALÍTICA COMO FATOR DE INOVAÇÃO, apresentada durante o II SECAFUNP, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 26/10/2011.
Ministrou a Palestra (Conferência) intitulada INOVAÇÃO TECNOLÓGICA CENTRADA NA LÓGICA CLÁSSICA, apresentada durante o II SELOGMAS, desenvolvido no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), promovido pelo DAMAT (Departamento Acadêmico de Matemática) da UTFPR e realizado em 23/09/2011.
Comunicações Orais Ministradas no Ano de 2010
Proferiu a Conferência “Instâncias Sentenciais e Funções Quantificadas”, apresentada no I SECAFUNP, realizado no Câmpus Curitiba da UTFPR, de 30/11/2010 a 01/12/2010.
Proferiu a Conferência “Modelagem Diferencial e Integral nas Engenharias”, apresentada no I SCADIENG, realizado no Câmpus Curitiba da UTFPR, em 29/11/2010.
Proferiu a Palestra Técnica “Álgebras Computáveis e Recursivamente Computáveis”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 27/09/2010, das 19h30min às 21h30min.
Proferiu a Palestra Técnica “Completude e Corretude de Sistemas Algébricos”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 20/09/2010, das 19h30min às 21h30min.
Proferiu a Palestra Técnica “Teoremas da Incompletude Matemática”, ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 12/09/2010, das 19h30min às 21h30min.
Comunicações Orais Ministradas no Ano de 2009
Proferiu a Palestra “Consistência em matemática e a incompletude”, em 23/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Paradoxos matemáticos e paradoxos lógicos”, em 16/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Aritmética de Peano e os fundamentos da aritmética”, em 09/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Aritmética de primeira ordem e linguagem”, em 02/06/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teorema da dedução e provas como procedimento computável”, em 26/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teorema de Gödel e a lógica de primeira ordem”, em 19/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Completude da lógica proposicional clássica”, em 12/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Axiomatização da lógica proposicional de primeira ordem”, em 05/05/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Demonstrações recursivas em análise inferencial”, em 14/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra “Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem”, em 07/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Axiomatização do corpo ordenado completo dos números reais”, em 07/04/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Demonstração segundo o princípio da indução finita ou indução matemática”, em 24/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Análise lógica da Teoria dos Conjuntos através do Cálculo Proposicional e dos Predicados”, em 17/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Argumentos dedutivos e teoria da demonstração de primeira ordem”, em 10/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proferiu a Palestra Técnica “Álgebra enunciativa de primeira ordem no cálculo proposicional”, em 03/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Comunicações Orais Ministradas no Ano de 2008
Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Teoria da demonstração em lógica matemática de primeira ordem, 2008. (Apresentação de Trabalho).
Comunicações Orais Ministradas no Ano de 2007
Modelagem inferencial proposicional em lógica matemática, 2007. (Apresentação de Trabalho).
Comunicações Orais Ministradas no Ano de 1998
TÍTULO DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Modelagem Matemática
- CONTEÚDO DO EVENTO: O que é Modelagem Matemática? Principais Vantagens na utilização de Modelos Matemáticos. O Cálculo Diferencial e Integral como Modelo. A Matemática e o Computador. A Técnica de Resolução de Problemas através da Modelagem Matemática. Exemplos de Modelos Matemáticos aplicados na resolução de problemas do mundo real.
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: V Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Evolução histórica da Lógica Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- Nome criado para anais: Evolução histórica das lógicas formais
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- TÍTULO DA PALESTRA APRESENTADA: Evolução histórica da Lógica Matemática
- CONTEÚDO DO EVENTO: Lógica Matemática de Leibniz até o The Mathematical Analysis of Logic de George Boole; Lógica Matemática de Boole até o advento do Vorlesungen über die Algebra der Logik de E. Schröder; Lógica Matemática de Frege (do Begriffsschrift) até os Principia Mathematica de Russell e Whitehead; o panorama atual da Lógica Matemática a partir dos Principia Mathematica.
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas/aula
Comunicações Orais Ministradas no Ano de 1997
TÍTULO DO EVENTO: IV Ciclo de Palestras sobre a Matemática: Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel
- CONTEÚDO DO EVENTO: Paradoxos da Teoria dos Conjuntos; Os Axiomas de Zermelo-Fraenkel; O Axioma da Escolha e suas Aplicações; Lema de Zorn e suas Aplicações; Relação de Dominação e Relação de Dominação Estrita; Teorema de Schröder-Bernstein.
- DATA DE REALIZAÇÃO DO EVENTO: De 03/10/1997 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: IV Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Sistemas de Lógicas Não-Clássicas
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Sistemas de Lógicas Não-Clássicas
- CONTEÚDO DO EVENTO: Apresentação dos Principais Sistemas de Lógicas Não-Clássicas. Considerações Particulares sobre Lógicas Trivalentes e Polivalentes. Fundamentos da Lógica Intuicionista. Fundamentos das Lógicas Paraconsistentes. Critérios para a Tradução entre Sistemas Lógicos. Estruturação e Aplicações da Teoria da Prova.
- PERÍODO DE REALIZAÇÃO DO EVENTO: 20, 21 e 27/06/1997
- CARGA HORÁRIA TOTAL: 20 horas/aula
Comunicações Orais Ministradas no Ano de 1996
TÍTULO DO EVENTO: Programa de Estudos da Terceira Idade
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: A Lógica para o bem pensar.
- CONTEÚDO DA PALESTRA: Apresentação da Lógica Formal como instrumento necessário para se pensar corretamente. Considerações Gerais sobre as técnicas desenvolvidas em Lógica Sentencial para a estruturação da Teoria da Argumentação e Análise Inferencial em nível dedutivo. Análise de Raciocínios Dedutivos Válidos e de Falácias ou Sofismas.
- DATA DA PALESTRA: 30/10/1996
- CARGA HORÁRIA TOTAL: 04 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á
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária.
- TÍTULOS DAS PALESTRAS APRESENTADAS:
(1) Lógica de Primeira Ordem
(2) Estruturação da Lógica Digital
(3) Estruturação da Inteligência Artificial
(4) Interface entre Lógica Digital e Inteligência Artificial
(5) 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 DAS PALESTRAS APRESENTADAS:
(1) Estudo das Integrais de Superfície
(2) O Teorema de Stokes e suas aplicações
(3) 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 DAS PALESTRAS: 25/05/1996
- CARGA HORÁRIA TOTAL: 04 horas/aula
Comunicações Orais Ministradas 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: 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
Comunicações Orais Ministradas no Ano de 1994
TÍTULO DO EVENTO: Ciclo de Palestras do Departamento de Ensino Superior do Centro Federal de Educação Tecnológica do Paraná
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: Lógica Matemática: Considerações sobre a Teoria da Argumentação
- CONTEÚDO DA PALESTRA: Sistematização da Semântica e da Sintaxe da Linguagem Simbólica do Cálculo Sentencial e Estruturação da Álgebra Proposicional para o estabelecimento de Métodos e Técnicas necessários para a avaliação de raciocínios analíticos a partir da Análise Inferencial e da Teoria da Argumentação.
- DATA DA PALESTRA: 10/11/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: I Ciclo de Palestras sobre a Lógica do Conhecimento: uma abordagem extemporânea sobre as diferentes formas da lógica
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: Lógica Matemática: Prolegômenos à Lógica Sentencial e à Lógica dos Predicados
- CONTEÚDO DA PALESTRA: Estruturação dos Cálculo Proposicional e Cálculo dos Predicados em Lógica Matemática para a formalização do raciocínio e conseqüente análise formal de legitimidade do pensamento.
- DATA DA PALESTRA: 21/10/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: I Ciclo de Palestras sobre a Matemática: Impregnações Mútuas entre Matemática e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: A Álgebra da Lógica e a Fundamentação da Lógica Digital
- CONTEÚDO DA PALESTRA: Sistematização da Álgebra Booleana para a estruturação da Lógica Digital ou Lógica de Comutação através dos pressupostos teóricos do Cálculo Proposicional em Lógica Matemática.
- DATA DA PALESTRA: 24/08/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
Comunicações Orais Ministradas no Ano de 1992
TÍTULO DO EVENTO: Lógica e Epistemologia
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Lógica Clássica
- CONTEÚDO DA PALESTRA: Sistematização do Cálculo Proposicional para a formalização da Teoria da Argumentação e Análise Inferencial em Lógica Matemática
- DATA DA PALESTRA: 25/05/1992
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: IV Ciclo de Palestras sobre a Matemática: Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel
- CONTEÚDO DO EVENTO: Paradoxos da Teoria dos Conjuntos; Os Axiomas de Zermelo-Fraenkel; O Axioma da Escolha e suas Aplicações; Lema de Zorn e suas Aplicações; Relação de Dominação e Relação de Dominação Estrita; Teorema de Schröder-Bernstein.
- DATA DE REALIZAÇÃO DO EVENTO: De 03/10/1997 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas/aula
TÍTULO DO EVENTO: IV Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Sistemas de Lógicas Não-Clássicas
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária / Palestra
- TÍTULO DA PALESTRA APRESENTADA: Sistemas de Lógicas Não-Clássicas
- CONTEÚDO DO EVENTO: Apresentação dos Principais Sistemas de Lógicas Não-Clássicas. Considerações Particulares sobre Lógicas Trivalentes e Polivalentes. Fundamentos da Lógica Intuicionista. Fundamentos das Lógicas Paraconsistentes. Critérios para a Tradução entre Sistemas Lógicos. Estruturação e Aplicações da Teoria da Prova.
- PERÍODO DE REALIZAÇÃO DO EVENTO: 20, 21 e 27/06/1997
- CARGA HORÁRIA TOTAL: 20 horas/aula
Comunicações Orais Ministradas no Ano de 1996
TÍTULO DO EVENTO: Programa de Estudos da Terceira Idade
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA: A Lógica para o bem pensar.
- CONTEÚDO DA PALESTRA: Apresentação da Lógica Formal como instrumento necessário para se pensar corretamente. Considerações Gerais sobre as técnicas desenvolvidas em Lógica Sentencial para a estruturação da Teoria da Argumentação e Análise Inferencial em nível dedutivo. Análise de Raciocínios Dedutivos Válidos e de Falácias ou Sofismas.
- DATA DA PALESTRA: 30/10/1996
- CARGA HORÁRIA TOTAL: 04 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á
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária.
- TÍTULOS DAS PALESTRAS APRESENTADAS:
(1) Lógica de Primeira Ordem
(2) Estruturação da Lógica Digital
(3) Estruturação da Inteligência Artificial
(4) Interface entre Lógica Digital e Inteligência Artificial
(5) 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 DAS PALESTRAS APRESENTADAS:
(1) Estudo das Integrais de Superfície
(2) O Teorema de Stokes e suas aplicações
(3) 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 DAS PALESTRAS: 25/05/1996
- CARGA HORÁRIA TOTAL: 04 horas/aula
Comunicações Orais Ministradas 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: 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
Comunicações Orais Ministradas no Ano de 1994
TÍTULO DO EVENTO: Ciclo de Palestras do Departamento de Ensino Superior do Centro Federal de Educação Tecnológica do Paraná
- INSTITUIÇÃO: Centro Federal de Educação Tecnológica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: Lógica Matemática: Considerações sobre a Teoria da Argumentação
- CONTEÚDO DA PALESTRA: Sistematização da Semântica e da Sintaxe da Linguagem Simbólica do Cálculo Sentencial e Estruturação da Álgebra Proposicional para o estabelecimento de Métodos e Técnicas necessários para a avaliação de raciocínios analíticos a partir da Análise Inferencial e da Teoria da Argumentação.
- DATA DA PALESTRA: 10/11/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: I Ciclo de Palestras sobre a Lógica do Conhecimento: uma abordagem extemporânea sobre as diferentes formas da lógica
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: Lógica Matemática: Prolegômenos à Lógica Sentencial e à Lógica dos Predicados
- CONTEÚDO DA PALESTRA: Estruturação dos Cálculo Proposicional e Cálculo dos Predicados em Lógica Matemática para a formalização do raciocínio e conseqüente análise formal de legitimidade do pensamento.
- DATA DA PALESTRA: 21/10/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
TÍTULO DO EVENTO: I Ciclo de Palestras sobre a Matemática: Impregnações Mútuas entre Matemática e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TÍTULO DA PALESTRA APRESENTADA NO EVENTO: A Álgebra da Lógica e a Fundamentação da Lógica Digital
- CONTEÚDO DA PALESTRA: Sistematização da Álgebra Booleana para a estruturação da Lógica Digital ou Lógica de Comutação através dos pressupostos teóricos do Cálculo Proposicional em Lógica Matemática.
- DATA DA PALESTRA: 24/08/1994
- CARGA HORÁRIA TOTAL: 04 horas/aula
Comunicações Orais Ministradas no Ano de 1992
TÍTULO DO EVENTO: Lógica e Epistemologia
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná
- TIPO DO EVENTO: Curso de Extensão Universitária
- TÍTULO DA PALESTRA: Lógica Clássica
- CONTEÚDO DA PALESTRA: Sistematização do Cálculo Proposicional para a formalização da Teoria da Argumentação e Análise Inferencial em Lógica Matemática
- DATA DA PALESTRA: 25/05/1992
- CARGA HORÁRIA TOTAL: 04 horas/aula