Eventos Promovidos / Organizados / Coordenados / No Ano de 2025
Propôs, elaborou, desenvolveu e coordenou o projeto da edição de 2025 do Selocog (Seminário de Engenharia Lógica e Cognição), realizado em 26/12/2025, com o título “Modelagem Lógica”, em comemoração aos 35 (trinta e cinco) anos da obtenção do meu título de Especialista em Didática do Ensino Superior” pela internacional Pontifícia Universidade Católica do Paraná (PUC-PR). O título em referência foi decorrente da conclusão do Curso de Especialização (Lato Sensu) em “Didática do Ensino Superior”, realizado na Área de Concentração em Educação - Ensino/Aprendizagem - Metodologia, com trabalho de conclusão na Área Específica de Lógica Matemática intitulado “Modelagem Matemática como Modelo Lógico”, “o qual objetivou estabelecer uma “ponte” entre a Lógica Formal e a Educação Matemática cuja construção esteve centrada em: (a) previsibilidade (para a simulação de cenários possíveis); (b) rigor (para a eliminação de ambiguidades); e, (c) otimização (para permite encontrar o melhor caminho lógico para se atingir objetivos)”. No Selocog 2025, promovido pelo Cenenlocog (Centro de Engenharia Lógica e Cognição), apresentei considerações sobre a “Modelagem Matemática como Modelo Lógico” levando em conta a evolução da Lógica Matemática de Primeira Ordem de 1995 e das Tecnologias envolvidas até a atualidade focando na Inteligência Artificial (IA) e supondo a extensão para a CC (Consciência Cibernética).
Eventos Promovidos / Organizados / Coordenados / No Ano de 2023
Elaborou, desenvolveu e coordenou o projeto do Selocog (Seminário de Engenharia Lógica e Cognição) de 2023, realizado em 04/07/2023, seguindo a posição anterior apresentada quando da apresentação do Selocog 2022. Promovido pelo Cenenlocog (Centro de Engenharia Lógica e Cognição), novamente enfatizei, agora em 2023, na palestra “RSC a despeito da RSC”, que “nos tempos atuais de disrupção intensificada quando a inovação aflora acentuadamente a todo momento, os mundos Empresarial e Industrial seguem chamando fortemente a RSC a despeito da RSC e para além da RSC”.
Elaborou, desenvolveu e coordenou o projeto do Primeiro Simpósio de Lógica e Neurociência (Simlogneu), realizado em 10 de abril de 2023, quando apresentou a palestra intitulada “LÓGICA DOS DISTÚRBIOS COGNITIVOS E NEUROLÓGICOS”. Como o Simlogneu 2023 é o primeiro de uma série de conferências pretendidas explicado no início da palestra que o objetivo dos simpósios será tratar assuntos científicos e acadêmicos relacionados com a associação (simbiose) entre a Lógica e a Neurociência visando a divulgação de estudos e pesquisas que abordam técnicas e procedimentos tanto para evitar quanto para mitigar as disfunções de ordem cognitiva e neurológica na mente humana. Foi explicado, também, naquele início, que a principal motivação para a existência dos Simpósios de Lógica e Neurociência foi a constatação assustadora que estão sendo gerados efeitos danosos na memória/mente das pessoas decorrentes da pandemia de Covid-19. É comprovado que o coronavírus está deixando um rastro de milhões de adoentados acometidos por sérios problemas de memória. Estudos recentes mostram que quase a metade dos indivíduos que tiveram a Covid-19 estão apresentando falhas cognitivas, principalmente, as associadas à perda de memória.
Elaborou, desenvolveu e coordenou o projeto da conferência intitulada “Engenharia Lógica avalia Chat de IA”, realizada em 25 de março de 2023, com a qual inicia as atividades de 2023 do Cenenlocog (Centro de Engenharia Lógica e Cognição). Na conferência chama-se a atenção não apenas para os desafios sobre o Chat de IA (Inteligência Artificial) denominado ChatGPT (Chat generative pre-trained transformer - Chat “transformador pré-treinado gerador de conversas”) da OpenAI, mas, principalmente, alerta-se para os grandes perigos para a humanidade que este chatbot com IA “especializado em diálogo” começa a sinalizar. Servindo-se dos pressupostos da Engenharia Lógica procede-se de forma extemporânea a avaliação da ferramenta em referência na correspondente exposição.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2022
Elaborou, desenvolveu e coordenou o projeto de 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, quando, também, se comemorou o DIA DO FILÓSOFO. Na oportunidade proferi a conferência intitulada “A MATEMÁTICA É A FILOSOFIA DA MATEMÁTICA”. Durante a palestra fiz observar que embora meus PROLEGÔMENOS À FILOSOFIA DA MATEMÁTICA não se aventure para além daquilo que o próprio título indica e a obra esteja centrada em uma visão muito particular sobre o tema (a minha própria) o conteúdo do livro já alcançou distintos “mundos possíveis” e passa a exigir uma próxima edição.
Elaborou, desenvolveu e coordenou o projeto do 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” que foi, também o título da palestra ministrada durante o Selocog 2022. O Selocog 2022 foi promovido pelo CMCD (Conselho Multidisciplinar de Cognição Disruptiva) do Cenenlocog (Centro de Engenharia Lógica e Cognição). Conforme se tem ressaltado a (nova) RSC (ou Responsabilidade Social Corporativa Empreendedora, ou Responsabilidade Social Empresarial) passa a diferenciar fortemente as empresas/indústrias que para além de atender apenas requisitos básicos das Leis avançam com diversas contribuições voluntárias visando o desenvolvimento sustentável, inovador e disruptivo de nossa Nação.
Propôs, organizou e presidiu 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, quando se avaliou o necessário processo de mitigação das graves consequências da pandemia de Covid-19 para o progresso e o desenvolvimento das Cidades e tratou-se da Agenda (mínima) de Atividades de 2022. Na oportunidade proferi, também, a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" na qual apresentei pressupostos da Engenharia Lógica para edificação de procedimentos formais (analíticos) centrados na associação entre Lógica de Primeira Ordem e Indústria 4.0 para a tomada de decisão no gerenciamento adequado de Cidades Inteligentes.
Elaborou, desenvolveu e coordenou o projeto de 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, quando, também, se comemorou o DIA DO FILÓSOFO. Na oportunidade proferi a conferência intitulada “A MATEMÁTICA É A FILOSOFIA DA MATEMÁTICA”. Durante a palestra fiz observar que embora meus PROLEGÔMENOS À FILOSOFIA DA MATEMÁTICA não se aventure para além daquilo que o próprio título indica e a obra esteja centrada em uma visão muito particular sobre o tema (a minha própria) o conteúdo do livro já alcançou distintos “mundos possíveis” e passa a exigir uma próxima edição.
Elaborou, desenvolveu e coordenou o projeto do 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” que foi, também o título da palestra ministrada durante o Selocog 2022. O Selocog 2022 foi promovido pelo CMCD (Conselho Multidisciplinar de Cognição Disruptiva) do Cenenlocog (Centro de Engenharia Lógica e Cognição). Conforme se tem ressaltado a (nova) RSC (ou Responsabilidade Social Corporativa Empreendedora, ou Responsabilidade Social Empresarial) passa a diferenciar fortemente as empresas/indústrias que para além de atender apenas requisitos básicos das Leis avançam com diversas contribuições voluntárias visando o desenvolvimento sustentável, inovador e disruptivo de nossa Nação.
Propôs, organizou e presidiu 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, quando se avaliou o necessário processo de mitigação das graves consequências da pandemia de Covid-19 para o progresso e o desenvolvimento das Cidades e tratou-se da Agenda (mínima) de Atividades de 2022. Na oportunidade proferi, também, a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" na qual apresentei pressupostos da Engenharia Lógica para edificação de procedimentos formais (analíticos) centrados na associação entre Lógica de Primeira Ordem e Indústria 4.0 para a tomada de decisão no gerenciamento adequado de Cidades Inteligentes.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2019
Elaborou, desenvolveu e coordenou o projeto do 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”. No Selocog 2019 apresentei considerações diversas sobre as relações simbióticas entre Logística Reversa, PNRS (Política Nacional de Resíduos Sólidos) e Economia Circular ou Indústria C2C (“Cradle to Cradle”, em português “do berço ao berço”) tanto para chamar reflexões sobre os enormes e complexos desafios envolvidos quanto para alertar sobre as sérias complicações que se desenvolverão na Quarta Revolução Industrial (na Indústria 4.0) caso a humanidade não consiga virar a chave (rapidamente) e todo o Setor de Produção Mundial adote o novo modelo mental que se desenvolve na Indústria C2C. Naquele ano de 2019 publicava, também, artigo com mesmo título “ENGENHARIA INFINITA EM UM MUNDO SEM LIXO”.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2018
Elaborou, desenvolveu e coordenou o projeto do 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á. O IV Seminário de Quantificação Aplicada em Engenharia e na Indústria foi pensado seguindo as diretrizes da XV Semana Nacional de Ciência e Tecnologia (SNCT) e a Agenda 2030 da ONU (Organização das Nações Unidas).
Propôs, organizou e presidiu a reunião de Planejamento do Conselho Multidisciplinar de Cognição Disruptiva (CMCD) em parceria com o Centro de Engenharia Lógica e Cognição (Cenenlocog), a qual foi realizada nas dependências da COPEL, em 19/11/2018, quando se discutiram estratégias para implementação em 2019 de Projeto de Desenvolvimento e Inovação fundamentado na Engenharia Lógica, Energia Circular, Matemática e Tecnologias Disruptivas para a produção de Conhecimento Útil centrado na proposição da Tríplice Hélice do Conhecimento-Inovação que associa Inovação, Tecnologias Disruptivas e os ODS direcionada para os caminhos que levem à instanciação de uma Nação Soberana e Sustentável. A Tríplice Hélice do Conhecimento-Inovação se propõe a somar as forças da Lei, da Universidade e da Indústria para a multiplicação de resultados em favor da Nação e de seu Povo.
Propôs, organizou e presidiu a reunião de Avaliação da Proposta de Curso Disruptivo de Graduação em Engenharia de Sistemas no Modelo 3+2 com Mestrado Integrado, realizada em 12/11/2018, na Universidade Tecnológica Federal do Paraná (UTFPR), na sede Centro, do Câmpus Curitiba, no Departamento de Eletrônica. Na reunião avaliou-se, em particular, como as Matemáticas devem ser ofertadas no futuro Curso de forma a estarem em patamares acima (bem acima) daqueles usualmente apresentados nos Cursos de Engenharias no País para dar suporte sólido ao futuro Engenheiro de Sistemas o qual será solicitado a resolver problemas de acentuada complexidade. O Curso de Engenharia de Sistemas é pensado segundo as diretrizes consideradas no artigo “THE BRAZILIAN ENGINEERING MODERNIZATION WITH THE INTEGRATED MASTER’S DEGREE MODEL 3 + 2”, apresentado no COBENGE 2018 (XLVI Congresso Brasileiro de Educação em Engenharia e I Simpósio Internacional de Educação em Engenharia), realizado de 3 a 6/09/2018, em Salvador (BA). O COBENGE 2018 teve como título “Educação inovadora para uma Engenharia sustentável”.
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPDTCEI (Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria) em parceria com o Cenelocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) a qual foi realizada 25/10/2018, no Câmpus da Indústria do Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep), quando foram tratadas as estratégias para efetivação do “Projeto Conexões entre Engenharia Matemática e Indústria” e se avaliou a proposta disruptiva de Graduação em Engenharia Matemática na qual a indissociação entre ensino, pesquisa e extensão deve associar as necessidades da Indústria 4.0 ao bem estar humano seja no âmbito da inovação, renovação ou invenção. A despeito da intencionalidade disruptiva do projeto analisado a Matemática se manterá como a base de quaisquer proposições futuras.
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) a qual foi realizada em parceria com o Cenenlocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), em 24/10/2018, quando tratou-se das estratégias para efetivação do “Projeto Engenharia Lógica como Formação Inovadora e Disruptiva”. A Engenharia Lógica, centrada nos fundamentos da Lógica Formal, objetiva a geração de conhecimento para avaliação sistêmica da legitimidade e da consistência de sistemas para o engendrar soluções e aproximações cada vez mais acentuadas entre as esferas físicas e digitais que transformam o mundo atualmente segundo os paradigmas da Indústria 4.0 ou Quarta Revolução Industrial.
Propôs, organozou e presidiu a reunião de Planejamento do Centro de Engenharia Lógica e Cognição (Cenenlocog) em parceria com o Conselho Multidisciplinar de Cognição Disruptiva (CMCD), realizada em 05/10/2018, na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), quando foram tratadas as estratégias para consolidação, em 2019, do Projeto “Mãos 3D acenam para futuro disruptivo” e avaliou-se a atual conjuntura das Ciências e das Tecnologias na Indústria 4.0 frente à necessidade de inclusão plena das Pessoas com Deficiência (PcD) para somar mais expertises para o desenvolvimento do Brasil. O projeto em referência tem por objetivo “protetizar” PcD por intermédio da impressão 3D. A protetização é a ação de se construir uma solução protética a quem busca o retorno da qualidade de vida após um processo de amputação de um membro.
Elaborou, desenvolveu e coordenou o projeto do III SLAIDEL (III Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema “Engenharia Matemática: Engenharia Disruptiva” realizado em 12/09/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição), quando ministrou a palestra “Engenharia Matemática: Engenharia Disruptiva”.
Elaborou, desenvolveu e coordenou o projeto da 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.
Elaborou, desenvolveu e coordenou o projeto do COENTELOG (Colóquio Entelechia Logicae) 2018 realizado em 26/03/2018, com o tema “Consciência Cibernética em Engenharia Lógica”, desenvolvida no Cenenlocog quando se evidenciou a necessidade de se instituir procedimentos analíticos centrados na Lógica Formal de Primeira Ordem para a tomada de decisão dedutiva no campo das Ciências Exatas e das Tecnologias. Durante o COENTELOG 2018 foram apresentados sistemas formais procedimentais (disruptivos) entre Inteligência Artificial e “Consciência Cibernética” para desenvolvimento na Indústria 4.0, bem como foram apresentadas considerações como demonstrar formalmente argumentos dedutivos tanto no Cálculo Lógico Proposicional quanto no Cálculo dos Predicados segundo distintas técnicas e, ainda, foram evidenciados os pressupostos da Engenharia Lógica e suas implicações na Quarta Revolução Industrial. O Cenenlocog (Centro de Engenharia Lógica e Cognição), ou na sigla em inglês, Cetfleco: Center of Logic Engineering and Cognition), tem como um de seus objetivos o desenvolvimento de estudos e pesquisas no campo da Engenharia Lógica associado à Cognição e Inovação, bem como o correspondente ensino das soluções e resultados alcançados para a ampliação das atuais possibilidades de conhecimento.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2017
Propôs, elaborou e coordenou a Ação de Extensão intitulada II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/10/2017 a 26/10/2017, em um total de 20 (vinte) horas.
Elaborou, desenvolveu e coordenou o projeto do 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”. No Selocog 2019 apresentei considerações diversas sobre as relações simbióticas entre Logística Reversa, PNRS (Política Nacional de Resíduos Sólidos) e Economia Circular ou Indústria C2C (“Cradle to Cradle”, em português “do berço ao berço”) tanto para chamar reflexões sobre os enormes e complexos desafios envolvidos quanto para alertar sobre as sérias complicações que se desenvolverão na Quarta Revolução Industrial (na Indústria 4.0) caso a humanidade não consiga virar a chave (rapidamente) e todo o Setor de Produção Mundial adote o novo modelo mental que se desenvolve na Indústria C2C. Naquele ano de 2019 publicava, também, artigo com mesmo título “ENGENHARIA INFINITA EM UM MUNDO SEM LIXO”.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2018
Elaborou, desenvolveu e coordenou o projeto do 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á. O IV Seminário de Quantificação Aplicada em Engenharia e na Indústria foi pensado seguindo as diretrizes da XV Semana Nacional de Ciência e Tecnologia (SNCT) e a Agenda 2030 da ONU (Organização das Nações Unidas).
Propôs, organizou e presidiu a reunião de Planejamento do Conselho Multidisciplinar de Cognição Disruptiva (CMCD) em parceria com o Centro de Engenharia Lógica e Cognição (Cenenlocog), a qual foi realizada nas dependências da COPEL, em 19/11/2018, quando se discutiram estratégias para implementação em 2019 de Projeto de Desenvolvimento e Inovação fundamentado na Engenharia Lógica, Energia Circular, Matemática e Tecnologias Disruptivas para a produção de Conhecimento Útil centrado na proposição da Tríplice Hélice do Conhecimento-Inovação que associa Inovação, Tecnologias Disruptivas e os ODS direcionada para os caminhos que levem à instanciação de uma Nação Soberana e Sustentável. A Tríplice Hélice do Conhecimento-Inovação se propõe a somar as forças da Lei, da Universidade e da Indústria para a multiplicação de resultados em favor da Nação e de seu Povo.
Propôs, organizou e presidiu a reunião de Avaliação da Proposta de Curso Disruptivo de Graduação em Engenharia de Sistemas no Modelo 3+2 com Mestrado Integrado, realizada em 12/11/2018, na Universidade Tecnológica Federal do Paraná (UTFPR), na sede Centro, do Câmpus Curitiba, no Departamento de Eletrônica. Na reunião avaliou-se, em particular, como as Matemáticas devem ser ofertadas no futuro Curso de forma a estarem em patamares acima (bem acima) daqueles usualmente apresentados nos Cursos de Engenharias no País para dar suporte sólido ao futuro Engenheiro de Sistemas o qual será solicitado a resolver problemas de acentuada complexidade. O Curso de Engenharia de Sistemas é pensado segundo as diretrizes consideradas no artigo “THE BRAZILIAN ENGINEERING MODERNIZATION WITH THE INTEGRATED MASTER’S DEGREE MODEL 3 + 2”, apresentado no COBENGE 2018 (XLVI Congresso Brasileiro de Educação em Engenharia e I Simpósio Internacional de Educação em Engenharia), realizado de 3 a 6/09/2018, em Salvador (BA). O COBENGE 2018 teve como título “Educação inovadora para uma Engenharia sustentável”.
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPDTCEI (Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria) em parceria com o Cenelocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) a qual foi realizada 25/10/2018, no Câmpus da Indústria do Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep), quando foram tratadas as estratégias para efetivação do “Projeto Conexões entre Engenharia Matemática e Indústria” e se avaliou a proposta disruptiva de Graduação em Engenharia Matemática na qual a indissociação entre ensino, pesquisa e extensão deve associar as necessidades da Indústria 4.0 ao bem estar humano seja no âmbito da inovação, renovação ou invenção. A despeito da intencionalidade disruptiva do projeto analisado a Matemática se manterá como a base de quaisquer proposições futuras.
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) a qual foi realizada em parceria com o Cenenlocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), em 24/10/2018, quando tratou-se das estratégias para efetivação do “Projeto Engenharia Lógica como Formação Inovadora e Disruptiva”. A Engenharia Lógica, centrada nos fundamentos da Lógica Formal, objetiva a geração de conhecimento para avaliação sistêmica da legitimidade e da consistência de sistemas para o engendrar soluções e aproximações cada vez mais acentuadas entre as esferas físicas e digitais que transformam o mundo atualmente segundo os paradigmas da Indústria 4.0 ou Quarta Revolução Industrial.
Propôs, organozou e presidiu a reunião de Planejamento do Centro de Engenharia Lógica e Cognição (Cenenlocog) em parceria com o Conselho Multidisciplinar de Cognição Disruptiva (CMCD), realizada em 05/10/2018, na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), quando foram tratadas as estratégias para consolidação, em 2019, do Projeto “Mãos 3D acenam para futuro disruptivo” e avaliou-se a atual conjuntura das Ciências e das Tecnologias na Indústria 4.0 frente à necessidade de inclusão plena das Pessoas com Deficiência (PcD) para somar mais expertises para o desenvolvimento do Brasil. O projeto em referência tem por objetivo “protetizar” PcD por intermédio da impressão 3D. A protetização é a ação de se construir uma solução protética a quem busca o retorno da qualidade de vida após um processo de amputação de um membro.
Elaborou, desenvolveu e coordenou o projeto do III SLAIDEL (III Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema “Engenharia Matemática: Engenharia Disruptiva” realizado em 12/09/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição), quando ministrou a palestra “Engenharia Matemática: Engenharia Disruptiva”.
Elaborou, desenvolveu e coordenou o projeto da 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.
Elaborou, desenvolveu e coordenou o projeto do COENTELOG (Colóquio Entelechia Logicae) 2018 realizado em 26/03/2018, com o tema “Consciência Cibernética em Engenharia Lógica”, desenvolvida no Cenenlocog quando se evidenciou a necessidade de se instituir procedimentos analíticos centrados na Lógica Formal de Primeira Ordem para a tomada de decisão dedutiva no campo das Ciências Exatas e das Tecnologias. Durante o COENTELOG 2018 foram apresentados sistemas formais procedimentais (disruptivos) entre Inteligência Artificial e “Consciência Cibernética” para desenvolvimento na Indústria 4.0, bem como foram apresentadas considerações como demonstrar formalmente argumentos dedutivos tanto no Cálculo Lógico Proposicional quanto no Cálculo dos Predicados segundo distintas técnicas e, ainda, foram evidenciados os pressupostos da Engenharia Lógica e suas implicações na Quarta Revolução Industrial. O Cenenlocog (Centro de Engenharia Lógica e Cognição), ou na sigla em inglês, Cetfleco: Center of Logic Engineering and Cognition), tem como um de seus objetivos o desenvolvimento de estudos e pesquisas no campo da Engenharia Lógica associado à Cognição e Inovação, bem como o correspondente ensino das soluções e resultados alcançados para a ampliação das atuais possibilidades de conhecimento.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2017
Propôs, elaborou e coordenou a Ação de Extensão intitulada II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/10/2017 a 26/10/2017, em um total de 20 (vinte) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 18/09/2017 a 22/09/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada 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, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 27/08/2017 a 31/08/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada Seminário sobre Simbiose entre Indústria 4.0 e ODS, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 18/07/2017 a 21/07/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada 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.
Propôs, organizou e coordenou a Ação de Extensão intitulada 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.
Propôs, elaborou e coordenou a Ação de Extensão intitulada 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, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 27/08/2017 a 31/08/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada Seminário sobre Simbiose entre Indústria 4.0 e ODS, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 18/07/2017 a 21/07/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada 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.
Propôs, organizou e coordenou a Ação de Extensão intitulada 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.
Propôs, organizou e coordenou a Ação de Extensão intitulada II Seminário de Engenharia Lógica nos Caminhos da Quarta revolução Industrial (SECANQUARI), com o tema Lógica Condicional entre Nanociências e Nanotecnologias, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 07/02/2017 a 10/02/2017, em um total de 10 (dez) horas.
Propôs, organizou e coordenou a Ação de Extensão intitulada IV Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (SIDELOFIC), com o tema Cognição Computacional e Filosofia Analítica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/02/2017 a 17/02/2017, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão intitulada III Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), com o tema Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 20/02/2017 a 22/02/2017, em um total de 12 (doze) horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2016
Propôs, organizou e coordenou a Ação de Extensão intitulada 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.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada II Seminário de Quantificação Aplicada em Engenharia e na Indústria (SEQUANTEI) 2016, com o tema Tríplice Hélice do Conhecimento-Inovação, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 22/08/2016 a 25/08/2016, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL), desenvolvida 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.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica em Sinergias e Simbiose entre a Triíplice Hélice da Inovação e os ODS na Academia, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 04/04/2016 a 30/06/2016, em um total de 250 (duzentas e cinquenta) horas.
Propôs, organizou e coordenou o Curso de Extensão Universitária e Tecnológica em Cálculo Lógico Dedutivo Sentencial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 06/04/2016 a 21/06/2016, em um total de 80 (oitenta) horas.
Propôs, organizou e coordenou o II SETECIEI (Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA) com o tema CIÊNCIAS E TECNOLOGIAS NA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 07/03/2016 a 23/03/2016, em um total de 42 (quarenta e duas) horas.
Propôs, organizou e coordenou o III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) com o tema Máquinas Lógicas Virtuais em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 22/02/2016 a 24/02/2016, em um total de 26 (vinte e seis) horas.
Propôs, organizou e coordenou a oficina de ENGENHARIA LÓGICA NOS CAMINHOS DA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 25/01/2016 a 19/02/2016, em um total de 26 (vinte e seis) horas.
Propôs, organizou e coordenou o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 20/01/2016 a 29/02/2016, em um total de 50 (cinquenta) horas.
Propôs, organizou e coordenou o V COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) com o tema METADADOS, NANOCIÊNCIA E REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 26/01/2016 a 11/02/2016, em um total de 24 (vinte e quatro) horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2015
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA, proposto para realização 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. Os trabalhos de implementação e efetivação do evento foram realizados em conformidade com o 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.
Proponente, organizador e coordenador do Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/08/2015 a 28/08/2015, em um total de 30 (trinta) horas-aula. O correspondente Projeto (Projeto número 133/2015/DIREC/CT/UTFPR) foi desenvolvido no período de 11/08/2015 até 04/09/2015, em um total de 50 (cinquenta) horas-aula.
Proponente, organizador e coordenador do 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. Os trabalhos de implementação e efetivação do evento foram realizados de 02/05/2015 a 06/07/2015 em um total de 80 (oitenta) horas-aula.
Proponente, organizador e coordenador do evento intitulado 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, em um total de 15 (quinze) horas-aula. Projeto desenvolvido no período de 19/02/2015 até 17/04/2015, em um total de 50 horas-aula.
Proponente, organizador e coordenador do Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA - 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, em um total de 21 (vinte e uma) horas-aula. Projeto desenvolvido no período de 13/02/2015 até 24/04/2015, em um total de 62 horas-aula.
Proponente, organizador e coordenador do 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.
Proponente, organizador e coordenador do evento intitulado 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.
Proponente, organizador e coordenador do 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 11/02/2015 a 20/02/2015, em um total de 20 (vinte) horas-aula.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2014
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS, proposto para realização 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, proposto para realização no 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.
Proponente, organizador e coordenador do III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 16/05/2014, em um total de 2 (duas) horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Proposicional Em Lógica Matemática Inferencial Dedutiva, realizado no Câmpus 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Sentencial Dedutivo Em Lógica Matemática Inferencial, realizado no Câmpus 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.
Proponente, organizador e coordenador do Colóquio Entelechia Logicae: Inovação em Engenharia Lógica, realizado no Câmpus 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.
Proponente, organizador e coordenador do I SIDELOFIC (SEMINÁRIO DE INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA): ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Câmpus 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, no período de 10/03/2014 a 14/03/2014, em um total de 10 (dez) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Análise Lógica De Modelos Diferenciais e Integrais nas Engenharias, realizado no Câmpus 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária: Lógica Matemática Inferencial Proposicional de Primeira Ordem, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/02/2014 a 28/02/2014.
Proponente, organizador e coordenador da palestra: PDI Uma questão Nacional, apresentada na UTFPR, em 28/01/2014.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2013
Curso de Extensão em ÁLGEBRA DA LÓGICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS. Desenvolvido na UTFPR. De 04/11/2013 até 28/11/2013.
Curso de Extensão em Análise de Argumentos Dedutivos em Lógica Matemática, desenvolvido na UTFPR. De 23/09/2013 até 09/10/2013.
Curso de Extensão Universitária em Axiomatização da Lógica Matemática de Primeira Ordem. Desenvolvido na UTFPR. De 05/03/2013 até 02/04/2013.
Extensão em Cálculo Lógico e Análise Lógica de Funções Enunciativas, desenvolvido na UTFPR. De 05/08/2013 até 29/08/2013.
Curso de Extensão Universitária em Lógica Matemática Inferencial Dedutiva. Desenvolvido na UTFPR. De 17/06/2013 até 12/07/2013.
Curso de Extensão Universitária em Lógica Matemática Dedutiva Aplicada. Desenvolvido na UTFPR. De 01/04/2013 até 02/05/2013.
Curso de Extensão Universitária em Lógica Matemática Proposicional e Predicativa. Desenvolvido na UTFPR. De 25/02/2013 até 28/03/2013.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2012
Curso sobre Maple Aplicado no Ensino do Cálculo nas Engenharias. Desenvolvido na UTFPR. Em 02/2012.
Curso de Extensão Universitária em A LÓGICA DA NECESSIDADE. Desenvolvido na UTFPR. De 16/05/2012 até 18/05/2012.
Curso de Extensão Universitária em Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional. Desenvolvido na UTFPR. De 20/03/2012 até 24/04/2012.
Curso de Extensão Universitária em Cálculo Inferencial Proposicional em Lógica Matemática. Desenvolvido na UTFPR. De 12/04/2012 a 10/05/2012.
Curso de Extensão Universitária em ENGENHARIA INFERENCIAL. Desenvolvido na UTFPR. De 03/04/2012 até 13/04/2012.
Curso de Extensão Universitária em INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS. Desenvolvido na UTFPR. De 23/04/2012 até 03/05/2012.
Curso de Extensão Universitária em Lógica Matemática Sentencial Inferencial. Desenvolvido na UTFPR. De 08/03/2012 a 05/04/2012.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2011
Curso de Extensão Universitária em Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva que desenvolveu no Câmpus Curitiba da UTFPR, de 14/03/2011 até 04/04/2011.
Curso de Extensão Universitária em Cálculo Sentencial Dedutivo em Lógica Matemática. Desenvolvido no Câmpus Curitiba da UTFPR, de 2/2011 até 3/2011.
II SCADIENG - Seminário de Cálculo Diferencial e Integral em Engenharia, no Câmpus Curitiba da UTFPR, em 11/2011.
II Seminário de Cálculo das Funções Predicativas em Lógica Matemática (II SECAFUNP), desenvolvido no Câmpus Curitiba da UTFPR, em 10/2011.
Palestra (Conferência) em "Os Caminhos da Inovação em Engenharia Matemática", apresentada no Câmpus Curitiba da UTFPR, em 28/11/2011.
Palestra: Lógica Formal e Filosofia Analítica Como Fator de Inovação, no Câmpus Curitiba da UTFPR, em 10/2011.
Palestra: Os Caminhos da Inovação em Engenharia Matemática. Desenvolvida no Câmpus Curitiba da UTFPR, em 28/11/2011.
Curso de Extensão Universitária de Lógica Matemática Proposicional de Primeira Ordem, no Câmpus Curitiba da UTFPR, de 23/08/2011 até 27/09/2011.
Extensão em “Engenharia Matemática”, desenvolvido no Câmpus Curitiba da UTFPR, em 11/2011
Curso de Extensão Universitária em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem, apresentado ao DIECE - Divisão de Cursos de Extensão do Câmpus Curitiba da UTFPR, desenvolvido de 7/2011 até 11/2011.
Segundo Seminário de Lógica Matemática Sentencial (II SELOGMAS). Desenvolvido no Câmpus Curitiba da UTFPR, em 2011.
Curso de Extensão Universitária: Cálculo Sentencial Dedutivo em Lógica Matemática. Desenvolvido no Câmpus Curitiba da UTFPR, de 17/03/2011 até 14/04/2011.
Curso de Extensão Universitária: Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico. Desenvolvido no Câmpus Curitiba da UTFPR, de 30/05/2011 até 27/06/2011.
Curso de Extensão Universitária em Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos, desenvolvido no Câmpus Curitiba da UTFPR, no período de 07/02/2011 a 23/02/2011, com carga horária de 20 horas.
Extensão em A Nova Ortografia. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Extensão em Direito à Educação. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Seminário Atuação da Agência de Inovação da UTFPR. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Seminário Utilização do MAPLE V no Ensino e Aprendizagem do Cálculo Diferencial e Integral. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2010
Proponente, organizador e coordenador do Seminário de Lógica Matemática Sentencial (I SELOGMAS), realizado no Câmpus Curitiba da UTFPR, em 06/12/2010, das 19h30min às 22h30min, com o tema “Completude dos Fundamentos Necessários e Suficientes da Matemática”.
Proponente, organizador e coordenador do Seminário de Cálculo das Funções Predicativas em Lógica Matemática (I SECAFUNP), realizado no Câmpus Curitiba da UTFPR, no período de 30/11/2010 a 01/12/2010, com o tema “Instâncias Sentenciais e Funções Quantificadas”.
Proponente e organizador da 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.
Proponente, organizador e coordenador do Seminário de Cálculo Diferencial e Integral em Engenharia (I SCADIENG), realizado no Câmpus Curitiba da UTFPR, em 29/11/2010, com o tema “Modelagem Diferencial e Integral nas Engenharias”.
Proponente e organizador da Conferência “Modelagem Diferencial e Integral nas Engenharias”, apresentada no I SCADIENG, realizado no Câmpus Curitiba da UTFPR, em 29/11/2010.
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária “Funções Recursivas Parciais”, realizado no Câmpus Curitiba da UTFPR, no período de 13/09/2010 a 27/09/2010, em um total de 20 horas-aula.
Proponente, organizador e coordenador da 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.
Proponente e organizador do Curso de Extensão Universitária “Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 09/09/2010 a 24/11/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Sistemas Algébricos em Lógica Matemática”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/08/2010 a 03/11/2010, em um total de 20 horas.
Proponente e organizador da Palestra “Extensão e Outras Atividades da DIREC”, realizada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 03/08/2010, em uma hora.
Proponente, organizador e coordenador do Curso de Extensão Universitária “Funções Computáveis e Funções Recursivas”, realizado no Câmpus Curitiba da UTFPR, no período de 05/04/2010 a 26/04/2010, em um total de 20 horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária “ANÁLISE LÓGICA DE PREDICADOS EM LÓGICA MATEMÁTICA”, realizado no Câmpus Curitiba da UTFPR, no período de 26/04/2010 até 09/06/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Cálculo das Funções Predicativas Quantificadas em Lógica Matemática”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 26/04/2010 a 16/06/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Teoria da Demonstração em Lógica Matemática Proposicional”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 15/03/2010 a 14/04/2010, em um total de 20 horas-aula.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2009
Proponente e organizador do 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.
Proponente e organizador do 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.
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da Palestra Técnica “Análise lógica da Teoria dos Conjuntos através do Cálculo Prposicional e dos Predicados”, em 17/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Eventos Promovidos / Organizados / Coordenados / No Ano de 2008
Curso de Extensão Universitária intitulado Teoria da Demonstração em Lógica Matemática de Primeira Ordem, desenvolvido de 11/09/2008 até 20/11/2008, em um total de 20 horas, no Câmpus Curitiba da UTFPR.
Curso de Extensão Universitária intitulado Teoria da Argumentação e Análise Inferencial em Lógica Matemática de Primeira Ordem, realizado de 19/03/2008 até 16/06/2008, em um total de 20 horas, no Câmpus Curitiba da UTFPR.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2007
EXPO UT 2007: Tecnologia e Humanidade. Universidade Tecnológica Federal do Paraná (UTFPR).
Curso de Extensão Universitária em Modelagem Inferencial Proposicional em Lógica Matemática, realizado no período de 04/10/2007 até 22/11/2007, no Câmpus Curitiba da UTFPR, em um total de 20 horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2006
EXPO UT 2006: Criatividade e Inovação. Universidade Tecnológica Federal do Paraná (UTFPR).
II WORKSHOP TECNOLÓGICO DA UTFPR. Universidade Tecnológica Federal do Paraná (UTFPR).
Eventos Promovidos / Organizados / Coordenados / No Ano de 1999
Proponente, organizador e coordenador da Atividade de Extensão em Análise Inferencial e Teoria da Argumentação, desenvolvido na Pontifícia Universidade Católica do Paraná (Puc-PR), em 1999.
Proponente, organizador e coordenador da Atividade de Extensão em Computabilidade e Funções Recursivas, desenvolvido na Pontifícia Universidade Católica do Paraná (Puc-PR), em 1999.
Propôs, organizou e coordenou a Ação de Extensão intitulada IV Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (SIDELOFIC), com o tema Cognição Computacional e Filosofia Analítica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/02/2017 a 17/02/2017, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão intitulada III Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), com o tema Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 20/02/2017 a 22/02/2017, em um total de 12 (doze) horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2016
Propôs, organizou e coordenou a Ação de Extensão intitulada 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.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada II Seminário de Quantificação Aplicada em Engenharia e na Indústria (SEQUANTEI) 2016, com o tema Tríplice Hélice do Conhecimento-Inovação, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 22/08/2016 a 25/08/2016, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL), desenvolvida 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.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica em Sinergias e Simbiose entre a Triíplice Hélice da Inovação e os ODS na Academia, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 04/04/2016 a 30/06/2016, em um total de 250 (duzentas e cinquenta) horas.
Propôs, organizou e coordenou o Curso de Extensão Universitária e Tecnológica em Cálculo Lógico Dedutivo Sentencial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 06/04/2016 a 21/06/2016, em um total de 80 (oitenta) horas.
Propôs, organizou e coordenou o II SETECIEI (Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA) com o tema CIÊNCIAS E TECNOLOGIAS NA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 07/03/2016 a 23/03/2016, em um total de 42 (quarenta e duas) horas.
Propôs, organizou e coordenou o III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) com o tema Máquinas Lógicas Virtuais em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 22/02/2016 a 24/02/2016, em um total de 26 (vinte e seis) horas.
Propôs, organizou e coordenou a oficina de ENGENHARIA LÓGICA NOS CAMINHOS DA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 25/01/2016 a 19/02/2016, em um total de 26 (vinte e seis) horas.
Propôs, organizou e coordenou o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 20/01/2016 a 29/02/2016, em um total de 50 (cinquenta) horas.
Propôs, organizou e coordenou o V COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) com o tema METADADOS, NANOCIÊNCIA E REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 26/01/2016 a 11/02/2016, em um total de 24 (vinte e quatro) horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2015
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA, proposto para realização 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. Os trabalhos de implementação e efetivação do evento foram realizados em conformidade com o 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.
Proponente, organizador e coordenador do Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/08/2015 a 28/08/2015, em um total de 30 (trinta) horas-aula. O correspondente Projeto (Projeto número 133/2015/DIREC/CT/UTFPR) foi desenvolvido no período de 11/08/2015 até 04/09/2015, em um total de 50 (cinquenta) horas-aula.
Proponente, organizador e coordenador do 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. Os trabalhos de implementação e efetivação do evento foram realizados de 02/05/2015 a 06/07/2015 em um total de 80 (oitenta) horas-aula.
Proponente, organizador e coordenador do evento intitulado 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, em um total de 15 (quinze) horas-aula. Projeto desenvolvido no período de 19/02/2015 até 17/04/2015, em um total de 50 horas-aula.
Proponente, organizador e coordenador do Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA - 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, em um total de 21 (vinte e uma) horas-aula. Projeto desenvolvido no período de 13/02/2015 até 24/04/2015, em um total de 62 horas-aula.
Proponente, organizador e coordenador do 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.
Proponente, organizador e coordenador do evento intitulado 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.
Proponente, organizador e coordenador do 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 11/02/2015 a 20/02/2015, em um total de 20 (vinte) horas-aula.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2014
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS, proposto para realização 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, proposto para realização no 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.
Proponente, organizador e coordenador do III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 16/05/2014, em um total de 2 (duas) horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Proposicional Em Lógica Matemática Inferencial Dedutiva, realizado no Câmpus 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Sentencial Dedutivo Em Lógica Matemática Inferencial, realizado no Câmpus 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.
Proponente, organizador e coordenador do Colóquio Entelechia Logicae: Inovação em Engenharia Lógica, realizado no Câmpus 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.
Proponente, organizador e coordenador do I SIDELOFIC (SEMINÁRIO DE INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA): ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Câmpus 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, no período de 10/03/2014 a 14/03/2014, em um total de 10 (dez) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Análise Lógica De Modelos Diferenciais e Integrais nas Engenharias, realizado no Câmpus 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária: Lógica Matemática Inferencial Proposicional de Primeira Ordem, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/02/2014 a 28/02/2014.
Proponente, organizador e coordenador da palestra: PDI Uma questão Nacional, apresentada na UTFPR, em 28/01/2014.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2013
Curso de Extensão em ÁLGEBRA DA LÓGICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS. Desenvolvido na UTFPR. De 04/11/2013 até 28/11/2013.
Curso de Extensão em Análise de Argumentos Dedutivos em Lógica Matemática, desenvolvido na UTFPR. De 23/09/2013 até 09/10/2013.
Curso de Extensão Universitária em Axiomatização da Lógica Matemática de Primeira Ordem. Desenvolvido na UTFPR. De 05/03/2013 até 02/04/2013.
Extensão em Cálculo Lógico e Análise Lógica de Funções Enunciativas, desenvolvido na UTFPR. De 05/08/2013 até 29/08/2013.
Curso de Extensão Universitária em Lógica Matemática Inferencial Dedutiva. Desenvolvido na UTFPR. De 17/06/2013 até 12/07/2013.
Curso de Extensão Universitária em Lógica Matemática Dedutiva Aplicada. Desenvolvido na UTFPR. De 01/04/2013 até 02/05/2013.
Curso de Extensão Universitária em Lógica Matemática Proposicional e Predicativa. Desenvolvido na UTFPR. De 25/02/2013 até 28/03/2013.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2012
Curso sobre Maple Aplicado no Ensino do Cálculo nas Engenharias. Desenvolvido na UTFPR. Em 02/2012.
Curso de Extensão Universitária em A LÓGICA DA NECESSIDADE. Desenvolvido na UTFPR. De 16/05/2012 até 18/05/2012.
Curso de Extensão Universitária em Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional. Desenvolvido na UTFPR. De 20/03/2012 até 24/04/2012.
Curso de Extensão Universitária em Cálculo Inferencial Proposicional em Lógica Matemática. Desenvolvido na UTFPR. De 12/04/2012 a 10/05/2012.
Curso de Extensão Universitária em ENGENHARIA INFERENCIAL. Desenvolvido na UTFPR. De 03/04/2012 até 13/04/2012.
Curso de Extensão Universitária em INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS. Desenvolvido na UTFPR. De 23/04/2012 até 03/05/2012.
Curso de Extensão Universitária em Lógica Matemática Sentencial Inferencial. Desenvolvido na UTFPR. De 08/03/2012 a 05/04/2012.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2011
Curso de Extensão Universitária em Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva que desenvolveu no Câmpus Curitiba da UTFPR, de 14/03/2011 até 04/04/2011.
Curso de Extensão Universitária em Cálculo Sentencial Dedutivo em Lógica Matemática. Desenvolvido no Câmpus Curitiba da UTFPR, de 2/2011 até 3/2011.
II SCADIENG - Seminário de Cálculo Diferencial e Integral em Engenharia, no Câmpus Curitiba da UTFPR, em 11/2011.
II Seminário de Cálculo das Funções Predicativas em Lógica Matemática (II SECAFUNP), desenvolvido no Câmpus Curitiba da UTFPR, em 10/2011.
Palestra (Conferência) em "Os Caminhos da Inovação em Engenharia Matemática", apresentada no Câmpus Curitiba da UTFPR, em 28/11/2011.
Palestra: Lógica Formal e Filosofia Analítica Como Fator de Inovação, no Câmpus Curitiba da UTFPR, em 10/2011.
Palestra: Os Caminhos da Inovação em Engenharia Matemática. Desenvolvida no Câmpus Curitiba da UTFPR, em 28/11/2011.
Curso de Extensão Universitária de Lógica Matemática Proposicional de Primeira Ordem, no Câmpus Curitiba da UTFPR, de 23/08/2011 até 27/09/2011.
Extensão em “Engenharia Matemática”, desenvolvido no Câmpus Curitiba da UTFPR, em 11/2011
Curso de Extensão Universitária em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem, apresentado ao DIECE - Divisão de Cursos de Extensão do Câmpus Curitiba da UTFPR, desenvolvido de 7/2011 até 11/2011.
Segundo Seminário de Lógica Matemática Sentencial (II SELOGMAS). Desenvolvido no Câmpus Curitiba da UTFPR, em 2011.
Curso de Extensão Universitária: Cálculo Sentencial Dedutivo em Lógica Matemática. Desenvolvido no Câmpus Curitiba da UTFPR, de 17/03/2011 até 14/04/2011.
Curso de Extensão Universitária: Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico. Desenvolvido no Câmpus Curitiba da UTFPR, de 30/05/2011 até 27/06/2011.
Curso de Extensão Universitária em Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos, desenvolvido no Câmpus Curitiba da UTFPR, no período de 07/02/2011 a 23/02/2011, com carga horária de 20 horas.
Extensão em A Nova Ortografia. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Extensão em Direito à Educação. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Seminário Atuação da Agência de Inovação da UTFPR. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Seminário Utilização do MAPLE V no Ensino e Aprendizagem do Cálculo Diferencial e Integral. Desenvolvido no Câmpus Curitiba da UTFPR, em 2/2011.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2010
Proponente, organizador e coordenador do Seminário de Lógica Matemática Sentencial (I SELOGMAS), realizado no Câmpus Curitiba da UTFPR, em 06/12/2010, das 19h30min às 22h30min, com o tema “Completude dos Fundamentos Necessários e Suficientes da Matemática”.
Proponente, organizador e coordenador do Seminário de Cálculo das Funções Predicativas em Lógica Matemática (I SECAFUNP), realizado no Câmpus Curitiba da UTFPR, no período de 30/11/2010 a 01/12/2010, com o tema “Instâncias Sentenciais e Funções Quantificadas”.
Proponente e organizador da 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.
Proponente, organizador e coordenador do Seminário de Cálculo Diferencial e Integral em Engenharia (I SCADIENG), realizado no Câmpus Curitiba da UTFPR, em 29/11/2010, com o tema “Modelagem Diferencial e Integral nas Engenharias”.
Proponente e organizador da Conferência “Modelagem Diferencial e Integral nas Engenharias”, apresentada no I SCADIENG, realizado no Câmpus Curitiba da UTFPR, em 29/11/2010.
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador da 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.
Proponente, organizador e coordenador do Curso de Extensão Universitária “Funções Recursivas Parciais”, realizado no Câmpus Curitiba da UTFPR, no período de 13/09/2010 a 27/09/2010, em um total de 20 horas-aula.
Proponente, organizador e coordenador da 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.
Proponente e organizador do Curso de Extensão Universitária “Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 09/09/2010 a 24/11/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Sistemas Algébricos em Lógica Matemática”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/08/2010 a 03/11/2010, em um total de 20 horas.
Proponente e organizador da Palestra “Extensão e Outras Atividades da DIREC”, realizada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 03/08/2010, em uma hora.
Proponente, organizador e coordenador do Curso de Extensão Universitária “Funções Computáveis e Funções Recursivas”, realizado no Câmpus Curitiba da UTFPR, no período de 05/04/2010 a 26/04/2010, em um total de 20 horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária “ANÁLISE LÓGICA DE PREDICADOS EM LÓGICA MATEMÁTICA”, realizado no Câmpus Curitiba da UTFPR, no período de 26/04/2010 até 09/06/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Cálculo das Funções Predicativas Quantificadas em Lógica Matemática”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 26/04/2010 a 16/06/2010, em um total de 20 horas-aula.
Proponente e organizador do Curso de Extensão Universitária “Teoria da Demonstração em Lógica Matemática Proposicional”, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 15/03/2010 a 14/04/2010, em um total de 20 horas-aula.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2009
Proponente e organizador do 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.
Proponente e organizador do 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.
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da Palestra Técnica “Análise lógica da Teoria dos Conjuntos através do Cálculo Prposicional e dos Predicados”, em 17/03/2009, das 21h20min às 22h50min, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná).
Proponente, organizador e coordenador da 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á).
Proponente, organizador e coordenador da 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á).
Eventos Promovidos / Organizados / Coordenados / No Ano de 2008
Curso de Extensão Universitária intitulado Teoria da Demonstração em Lógica Matemática de Primeira Ordem, desenvolvido de 11/09/2008 até 20/11/2008, em um total de 20 horas, no Câmpus Curitiba da UTFPR.
Curso de Extensão Universitária intitulado Teoria da Argumentação e Análise Inferencial em Lógica Matemática de Primeira Ordem, realizado de 19/03/2008 até 16/06/2008, em um total de 20 horas, no Câmpus Curitiba da UTFPR.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2007
EXPO UT 2007: Tecnologia e Humanidade. Universidade Tecnológica Federal do Paraná (UTFPR).
Curso de Extensão Universitária em Modelagem Inferencial Proposicional em Lógica Matemática, realizado no período de 04/10/2007 até 22/11/2007, no Câmpus Curitiba da UTFPR, em um total de 20 horas.
Eventos Promovidos / Organizados / Coordenados / No Ano de 2006
EXPO UT 2006: Criatividade e Inovação. Universidade Tecnológica Federal do Paraná (UTFPR).
II WORKSHOP TECNOLÓGICO DA UTFPR. Universidade Tecnológica Federal do Paraná (UTFPR).
Eventos Promovidos / Organizados / Coordenados / No Ano de 1999
Proponente, organizador e coordenador da Atividade de Extensão em Análise Inferencial e Teoria da Argumentação, desenvolvido na Pontifícia Universidade Católica do Paraná (Puc-PR), em 1999.
Proponente, organizador e coordenador da Atividade de Extensão em Computabilidade e Funções Recursivas, desenvolvido na Pontifícia Universidade Católica do Paraná (Puc-PR), em 1999.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1998
ORGANIZADOR DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO CURSO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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á (PUC-PR)
- TIPO DO CURSO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Correntes Filosóficas da Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: V Ciclo de Palestras sobre a Matemática: Modelagem Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 13/07/98 a 15/07/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO CURSO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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á (PUC-PR)
- TIPO DO CURSO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/03/98 a 07/03/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Correntes Filosóficas da Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Correntes Filosóficas da Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1997
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 12/03/97 a 12/12/97
- CARGA HORÁRIA TOTAL: 390 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 12/03/97 a 12/12/97
- CARGA HORÁRIA TOTAL: 390 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR DO CURSO: Métodos Matemáticos e Computacionais Aplicados
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/03/97 a 11/12/97
- CARGA HORÁRIA TOTAL: 540 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Métodos Matemáticos e Computacionais Aplicados
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu - PERÍODO DE REALIZAÇÃO: De 03/03/97 a 11/12/97
- CARGA HORÁRIA TOTAL: 540 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 03/10/97 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 03/10/97 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 20/06/97 a 27/06/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 20/06/97 a 27/06/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Representações em 3D através de aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 25/04/97 a 26/04/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representações em 3D através de aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 25/04/97 a 26/04/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1996
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/04/96 a 18/12/96
- CARGA HORÁRIA TOTAL: 375 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/04/96 a 18/12/96
- CARGA HORÁRIA TOTAL: 375 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR DO CURSO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: 21/10/96 a 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/10/1996 a 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Representações Gráficas em 2D através do MAPLE V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: 07/10/96 a 18/10/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representações Gráficas em 2D através do MAPLE V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 07/10/96 a 18/10/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Impregnações entre Lógica Digital e Inteligência Artificial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/10/96 a 30/09/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Impregnações entre Lógica Digital e Inteligência Artificial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/09/96 a 30/09/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: III Ciclo de Palestras sobre a Matemática: Diferenciação e Integração Vetorial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/1996 a 01/06/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: III Ciclo de Palestras sobre a Matemática: Diferenciação e Integração Vetorial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/1996 a 01/06/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 09/02/98 a 11/02/98
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1997
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 12/03/97 a 12/12/97
- CARGA HORÁRIA TOTAL: 390 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 12/03/97 a 12/12/97
- CARGA HORÁRIA TOTAL: 390 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR DO CURSO: Métodos Matemáticos e Computacionais Aplicados
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/03/97 a 11/12/97
- CARGA HORÁRIA TOTAL: 540 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Métodos Matemáticos e Computacionais Aplicados
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu - PERÍODO DE REALIZAÇÃO: De 03/03/97 a 11/12/97
- CARGA HORÁRIA TOTAL: 540 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 03/10/97 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 03/10/97 a 05/10/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 20/06/97 a 27/06/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 20/06/97 a 27/06/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Representações em 3D através de aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 25/04/97 a 26/04/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representações em 3D através de aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Curso de Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 25/04/97 a 26/04/97
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1996
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/04/96 a 18/12/96
- CARGA HORÁRIA TOTAL: 375 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 03/04/96 a 18/12/96
- CARGA HORÁRIA TOTAL: 375 horas-aula obrigatórias e 105 horas-aula opcionais (em disciplinas Didático-Pedagógicas)
ORGANIZADOR DO CURSO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: 21/10/96 a 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representação de Superfícies e Volumes em 3D através do Maple V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/10/1996 a 30/10/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Representações Gráficas em 2D através do MAPLE V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: 07/10/96 a 18/10/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Representações Gráficas em 2D através do MAPLE V
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 07/10/96 a 18/10/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Impregnações entre Lógica Digital e Inteligência Artificial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/10/96 a 30/09/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: III Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Impregnações entre Lógica Digital e Inteligência Artificial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/09/96 a 30/09/96
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: III Ciclo de Palestras sobre a Matemática: Diferenciação e Integração Vetorial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/1996 a 01/06/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: III Ciclo de Palestras sobre a Matemática: Diferenciação e Integração Vetorial
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/1996 a 01/06/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Cálculo Diferencial e Integral através de Aplicativos Computacionais
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária / Atualização
- PERÍODO DE REALIZAÇÃO: De 21/05/1996 a 29/05/1996
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1995
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 28/03/95 a 21/12/95
- CARGA HORÁRIA TOTAL: 360 horas-aula
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 28/03/95 a 21/12/95
- CARGA HORÁRIA TOTAL: 360 horas-aula
ORGANIZADOR: Semana de Matemática de 1995
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/11/95 a 10/11/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR: Semana de Matemática de 1995
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/11/95 a 10/11/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento: Impregnações entre Lógica e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/10/95 a 06/10/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento: Impregnações entre Lógica e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/10/95 a 06/10/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Lógica Matemática: O Cálculo dos Predicados aplicado à Análise Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/08/95 a 30/08/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 28/03/95 a 21/12/95
- CARGA HORÁRIA TOTAL: 360 horas-aula
COORDENADOR DO CURSO: Lógica do Conhecimento Científico
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Especialização / Pós-Graduação Lato Sensu
- PERÍODO DE REALIZAÇÃO: De 28/03/95 a 21/12/95
- CARGA HORÁRIA TOTAL: 360 horas-aula
ORGANIZADOR: Semana de Matemática de 1995
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/11/95 a 10/11/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR: Semana de Matemática de 1995
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 06/11/95 a 10/11/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento: Impregnações entre Lógica e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/10/95 a 06/10/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO EVENTO: II Ciclo de Palestras sobre a Lógica do Conhecimento: Impregnações entre Lógica e Informática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/10/95 a 06/10/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: Lógica Matemática: O Cálculo dos Predicados aplicado à Análise Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/08/95 a 30/08/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Lógica Matemática: O Cálculo dos Predicados aplicado à Análise Matemática
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/08/95 a 30/08/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: 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á (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 14/06/95 a 04/07/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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á (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 14/06/95 a 04/07/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 05/06/95 a 09/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 05/06//95 a 09/06//95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: 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)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/95 a 01/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/95 a 01/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 02/08/95 a 30/08/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: 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á (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 14/06/95 a 04/07/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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á (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 14/06/95 a 04/07/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 05/06/95 a 09/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 05/06//95 a 09/06//95
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR DO CURSO: 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)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/95 a 01/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: 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)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 04/05/95 a 01/06/95
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1994
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 17/10/94 a 21/10/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 17/10/94 a 21/10/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 22/08/94 a 25/08/94
- CARGA HORÁRIA TOTAL: 16 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 22/08/94 a 25/08/94
- CARGA HORÁRIA TOTAL: 16 horas-aula
ORGANIZADOR DO CURSO: Lógica Matemática: uma Introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/05/94 a 13/06/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Lógica Matemática: uma Introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/05/94 a 13/06/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1993
Proponente, organizador e coordenador doe Curso de Extensão Universitária em Lógica Matemática: Uma Introdução ao Cálculo Proposicional. Desenvolvido na Puc-PR, de 16/05/1993 a 13/06/1993, em 20 horas-aula.
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 17/10/94 a 21/10/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 17/10/94 a 21/10/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
ORGANIZADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 22/08/94 a 25/08/94
- CARGA HORÁRIA TOTAL: 16 horas-aula
COORDENADOR 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á (PUC-PR)
- TIPO DO EVENTO: Ciclo de Estudos / Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 22/08/94 a 25/08/94
- CARGA HORÁRIA TOTAL: 16 horas-aula
ORGANIZADOR DO CURSO: Lógica Matemática: uma Introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/05/94 a 13/06/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
COORDENADOR DO CURSO: Lógica Matemática: uma Introdução ao Cálculo Proposicional
- INSTITUIÇÃO: Pontifícia Universidade Católica do Paraná (PUC-PR)
- NÍVEL DO CURSO: Extensão Universitária
- PERÍODO DE REALIZAÇÃO: De 16/05/94 a 13/06/94
- CARGA HORÁRIA TOTAL: 20 horas-aula
Eventos Promovidos / Organizados / Coordenados / No Ano de 1993
Proponente, organizador e coordenador doe Curso de Extensão Universitária em Lógica Matemática: Uma Introdução ao Cálculo Proposicional. Desenvolvido na Puc-PR, de 16/05/1993 a 13/06/1993, em 20 horas-aula.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1992
Proponente, organizador e coordenador da Palestra (Conferência) intitulada "Lógica Clássica”, desenvolvida na Pontifícia Universidade Católica do Paraná (Puc-PR), em 5/1992.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1991
Desenvolvedor do Levantamento Estatístico do Projeto Apoio ao Discente - PROAC 90/93. Desenvolvido na Puc-PR, entre 1/1990 e 12/1991.
Desenvolvedor do Tratamento Computacional do Projeto Apoio ao Discente - PROAC 90/93. Desenvolvido na Puc-PR, entre 1/1990 e 12/1991.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1990
Proponente, organizador e coordenador de Projetos de Cursos de Verão em Cálculo Diferencial e Integral, desenvolvidos no período de 03/1990 a 03/1994, nas Faculdades Positivo.
Proponente, organizador e coordenador da Palestra (Conferência) intitulada "Lógica Clássica”, desenvolvida na Pontifícia Universidade Católica do Paraná (Puc-PR), em 5/1992.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1991
Desenvolvedor do Levantamento Estatístico do Projeto Apoio ao Discente - PROAC 90/93. Desenvolvido na Puc-PR, entre 1/1990 e 12/1991.
Desenvolvedor do Tratamento Computacional do Projeto Apoio ao Discente - PROAC 90/93. Desenvolvido na Puc-PR, entre 1/1990 e 12/1991.
Eventos Promovidos / Organizados / Coordenados / No Ano de 1990
Proponente, organizador e coordenador de Projetos de Cursos de Verão em Cálculo Diferencial e Integral, desenvolvidos no período de 03/1990 a 03/1994, nas Faculdades Positivo.
Proponente, organizador e coordenador de Projetos de Cursos de Verão em Álgebra Linear e Cálculo Numérico, desenvolvidos no período de 03/1990 a 03/1994, nas Faculdades Positivo.