Ministrou a palestra intitulada Pressupostos da Engenharia Matemática, em 24/10/2017, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Engenharia Matemática para Além das Matemáticas, em 23/10/2017, durante o II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas.
Ministrou a palestra intitulada Indústria 4.0 e o Mundo Cyber-Físico, em 18/09/2017, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada A Necessidade Matemática nas Engenharias, em 18/09/2017, em um total de 2 (duas) horas, durante o II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias.
Ministrou a palestra intitulada Engenharia matemática e Engenharia Lógica, em 30/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica na Indústria 4.0, em 28/08/2017, em um total de 2 (duas) horas, durante o III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia.
Ministrou a palestra intitulada Engenharia Lógica e Conhecimento, em 18/07/2017, em um total de 4 (quatro) horas, durante o Seminário sobre Simbiose entre Indústria 4.0 e ODS.
Ministrou o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos, com o tema Consistência e Validade Dedutiva, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 03/04/2017 a 20/04/2017, em um total de 40 (quarenta) horas.
Ministrou a palestra intitulada Teoria da Prova Dedutiva e Raciocínios Válidos, em 13/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Análise e Teoria da Argumentação Analítica, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Analítica de Argumentos Dedutivos, em 12/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Validade Condicionando Consistência, em 11/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra intitulada Fórmulas Proposicionais e Cálculo Lógico, em 10/04/2017, com duração de três horas, durante o I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos.
Ministrou a palestra Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, em 20/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra História Consisa das Quatro Revoluções Industriais, em 21/02/2017, durante o III SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Aspectos Lógicos da Cognição Sistêmica no Meio Industrial, em 16/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Aquisição Analítica de Conhecimento, em 15/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Cognição Compuutacional e Filosofia Analítica, em 14/02/2017, durante o IV SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Lógica Condicional entre Nanociências e Nanotecnologias, em 07/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Engenharia Lógica Aplicada às Nanociências e Nanotecnologias, em 08/02/2017, durante o II SELCANQUARI (II Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Cognição Computacional Revoluciona Aquisição de Conhecimento, em 03/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra As Razões da Engenharia Universal na Nova Era Computacional, em 02/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Consciência Cibernética Transcende Inteligência Artificial, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou a palestra Lógica da Cognição Computacional e Consciência Cibernética, em 01/02/2017, durante o VI COENTELOG (Colóquio Entelechia Logicae), apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 3 horas.
Ministrou o VI Colóquio Entelechia Logicae (COENTELOG), com o tema Lógica da Cognição Computacional e Consciência Cibernética, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/02/2017 a 03/02/2017.
Cursos e Palestras Ministrados em 2016
Ministrou a palestra Pressupostos da Lógica Fuzzy, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Computabilidade de Sistemnas Algébricos, em 20/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Lógica Computacional, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Lógicas Recursivas Inferenciais, em 19/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 4 horas.
Ministrou a palestra Álgebra da Lógica em Engenharia Lógica, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 2 horas.
Ministrou a palestra Engenharia Lógica como Modelo Analítico Inferencial, em 17/10/2016, durante o Colóquio Engenharia Lógica, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR), em 2 horas.
Ministrou o Colóquio Engenharia Lógica, com o tema Análise Inferencial e Computabilidade em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/10/2016 a 20/10/2016, em um total de 20 (vinte) horas.
Ministrou a palestra Tríplice Hélice do Conhecimento-Inovação na RI 4.0, em 25/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Modelos Inferenciais Dedutivos, em 24/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Engenharia Lógica e Teoria da Prova Dedutiva, em 19/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Corretude e Completude em Sistemas Consistentes, em 18/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Análise Inferencial e Teoria da Argumentação Lógica, em 17/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Cálculos Lógicos e Álgebra da Lógica Dedutiva, em 16/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou a palestra Semântica e Sintaxe de Linguagens Formais de Primeira Ordem, em 15/08/2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).
Ministrou o Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL), desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 15/08/2016 a 19/08/2016, em um total de 20 (vinte) horas.
Ministrou o Curso de Extensão Universitária e Tecnológica em CÁLCULO LÓGICO DEDUTIVO SENTENCIAL, promovido pela Universidade Tecnológica Federal do Paraná (UTFPR), realizado no Câmpus Curitiba da UTFPR, no período de 12/04/2016 a 18/06/2016, em um total de 30 (trinta) horas.
Ministrou a palestra ANÁLISE LÓGICA EM ENGENHARIA E NA INDÚSTRIA em 10/03/2016, com duração de 2 (duas) horas, como parte integrante do II SETECIEI - Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA o qual foi promovido e desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (TFPR).
Ministrou a conferência Máquinas Lógicas Virtuais no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 24/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Engenharia Lógica Aplicada às Nanomáquinas no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Ministrou a conferência Análise Inferencial Dedutiva Computacional no III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência): Máquinas Lógicas Virtuais em Engenharia Lógica, a qual foi ministrada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 23/02/2016, em um total de 2 (duas) horas.
Ministrou a oficina de ENGENHARIA LÓGICA NOS CAMINHOS DA QUARTA REVOLUÇÃO INDUSTRIAL, promovida pela Universidade Tecnológica Federal do Paraná (UTFPR), realizada no Câmpus Curitiba da UTFPR, no período de 11/02/2016 a 12/02/2016, em um total de 6 (seis) horas.
Ministrou o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS, promovido pela Universidade Tecnológica Federal do Paraná (UTFPR), realizado no Câmpus Curitiba da UTFPR, no período de 04/02/2016 a 19/02/2016, em um total de 30 (trinta) horas.
Ministrou o V COLÓQUIO ENTELECHIA LOGICAE (COENTELOG) com o tema METADADOS, NANOCIÊNCIA E REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 03/02/2016, em um total de 4 (quatro) horas.
Cursos e Palestras Ministrados em 2015
Ministrou a palestra (conferência) intitulada Necessária Simbiose entre Tecnologia da Indústria e Ciência da Academia, em 19/10/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), como parte da Programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015, cujo tema da edição de 2015 foi LUZ, CIÊNCIA e VIDA.
Ministrou o 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, conforme Projeto número 134/2015/DIREC/CT/UTFPR o qual foi desenvolvido no período de 01/09/2015 até 30/10/2015, em um total de 80 (oitenta) horas-aula. O evento integrou a programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015.
Ministrou a palestra (conferência) intitulada Exigências Holísticas entre Tecnologia e Ciência, em 18/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou a palestra (conferência) intitulada Modelagem Lógica Sentencial e Inferencial, em 20/08/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), durante o Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA.
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/05/2015 a 29/06/2015, em um total de 30 (trinta) horas-aula.
Ministrou a palestra intitulada UMA LÓGICA ANALÍTICA PARA A SIMBIOSE E EXIGÊNCIAS RELACIONAIS ENTRE ACADEMIA E INDÚSTRIA, em 14/04/2015, em um total de 3 (três) horas-aula, no Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra Engenharia Lógica como Possibilidade Tecnologia para as Ciências, em 14/04/2015, em um total de 3 (três) horas, durante o Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA - SIMBIOSE E EXIGÊNCIAS RELACIONAIS ENTRE ACADEMIA E INDÚSTRIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015.
Ministrou a palestra Engenharia Lógica e Gerenciamento Industrial, em 07/04/2015, em um total de 5 (cinco) horas-aula, durante o II SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) - Possibilidades Tecnológicas e Segurança Científica, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 06/04/2015 a 10/04/2015.
Ministrou o Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/03/2015 a 28/03/2015, em um total de 30 (trinta) horas-aula.
Ministrou o IV COENTELOG (COLÓQUIO
ENTELECHIA LOGICAE) - ENGENHARIA LÓGICA APLICADA NA INDÚSTRIA, proposto para
realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná
(UTFPR), no período de 16/03/2015 a 20/03/2015, em um total de 12 (doze)
horas-aula.
Ministrou o Curso de Extensão
Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS
HIPERBÓLICOS, proposto para realização no Câmpus Curitiba da Universidade
Tecnológica Federal do Paraná (UTFPR), no período de 11/02/2015 a 20/02/2015,
em um total de 20 (vinte) horas-aula.
Cursos e Palestras Ministrados em 2014
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS, realizado no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 05/11/2014 a 11/12/2014, em um total de 30 (trinta) horas-aula.
Ministrou o Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, realizado o Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/10/2014 a 30/10/2014, em um total de 30 (trinta) horas-aula.
Ministrou o Curso de Extensão Universitária em CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/05/2014 a 30/07/2014, em um total de 20 (vinte) horas-aula.
Ministrou o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 12/05/2014 a 28/07/2014, em um total de 20 (vinte) horas-aula.
Ministrou o III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 16/05/2014, em um total de 2 (duas) horas.
Ministrou a Palestra intitulada CÁLCULO LÓGICO INFERENCIAL, apresentada no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 08/05/2014, em um total de 2 (duas) horas.
Ministrou o II COLÓQUIO ENTELECHIA LOGICAE: INOVAÇÃO EM ENGENHARIA LÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/03/2014 a 27/03/2014, em um total de 14 (quatorze) horas-aula.
Ministrou a palestra intitulada ENGENHARIA LÓGICA, CÁLCULO LÓGICO INFERENCIAL E ENGENHARIA MATEMÁTICA, durante o Seminário INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA: ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), por meio do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) / UTFPR/CNPq, em 12/03/2014, em um total de 2 (duas) horas-aula.
Ministrou o Curso de Extensão Universitária em Análise Lógica de Modelos Diferenciais E Integrais nas Engenharias, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 24/02/2014 a 28/02/2014, em um total de 10 (dez) horas-aula.
Ministrou o Curso de Extensão Universitária em Lógica Matemática Inferencial Proposicional de Primeira Ordem, no período de 13/02/2014 até 28/02/2014, em um total de 20 horas-aula, sem ônus para a UTFPR e gratuito para os participantes.
PDI Uma Questão Nacional. Palestra ministrada em 28/01/2014.
Cursos e Palestras Ministrados em 2013
Álgebra da Lógica Aplicada na Avaliação de Raciocínios Dedutivos. Curso ministrado no período de 04/11/2013 a 28/11/2013.
Análise de Argumentos Dedutivos em Lógica Matemática. Curso ministrado no período de 23/09/2013 a 09/10/2013.
Axiomatização da Lógica Matemática de Primeira Ordem. Curso ministrado no período de 05/03/2013 a 02/05/2013..
Benefícios Fiscais Subjugados pelo Academismo. Palestra proferida em 26/04/2013.
Cálculo Lógico e Análise Lógica de Funções Enunciativas. Curso ministrado no período de 05/08/2013 a 29/08/2013.
Contínua e Constante Escravidão Humana. Palestra proferida em 17/05/2013.
Engenharia Matemática Rumo à Inovação. Palestra proferida em 09/08/2013.
Ética Maquiavélica Frente à Consciência Política Despótica. Palestra proferida em 07/02/2013.
Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos. Palestra proferida em 06/08/2013.
Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência. Colóquio ministrado em 23/06/2013.
Lógica Matemática Dedutiva Aplicada. Curso ministrado no período de 01/04/2013 a 02/05/2013.
Lógica Matemática Inferencial Dedutiva. Curso ministrado no período de 17/06/2013 a 12/07/2013.
Lógica Matemática Proposicional e Predicativa. Curso ministrado no período de 25/02/2013 a 28/03/2013.
Morte Como Razão Suficiente. Palestra ministrada em 17/05/2013.
Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento. Palestra ministrada em 02/08/2013.
Nanomáquinas Promovem Nova Revolução Industrial. Palestra ministrada em 01/07/2013.
PARADIGMAS DA NECESSIDADE “Assaltam” Possibilidades. Palestra ministrada em 16/08/2013.
Paradoxos Supõem Antinomias Maquiavélicas. Palestra ministrada em 12/07/2013.
Potência Lógica e Eficiência das Nanomáquinas. Palestra ministrada em 23/08/2013.
Razão Suficiente de Maquiavel. Palestra ministrada em 26/04/2013.
Cursos e Palestras Ministrados em 2012
A Conjunção do Direito Grego (em geral) e da Ordem Helênica (em particular). 2012.
A Lógica da Morte. 2012.
A Lógica da Necessidade. 2012. Curso.
Cálculo Inferencial Proposicional em Lógica Matemática. 2012. Curso.
Engenharia Inferencial. 2012. Curso.
Inteligência Lógica nas Ciências Exatas. 2012. Curso.
Lógica Matemática Inferencial. 2012. Curso.
Cursos e Palestras Ministrados em 2011
Cálculo Sentencial Dedutivo em Lógica Matemática. 2011.
Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos. 2011.
Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico. 2011.
Inovação Tecnológica Centrada na Lógica Clássica. 2011.
Lógica Formal e Filosofia Analítica Como Fator de Inovação. 2011.
Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva. 2011.
Lógica Matemática Predicativa e Quantificacional de Primeira Ordem. 2011.
Lógica Matemática Proposicional de Primeira Ordem. 2011.
Os Caminhos da Inovação em Engenharia Matemática. 2011.
Cursos e Palestras Ministrados em 2010
Álgebras computáveis e recursivamente computáveis. 2010.
Cálculo das funções predicativas quantificadas em lógica matemática. 2010.
Completude dos fundamentos necessários e suficientes da matemática. 2010.
Completude e corretude de sistemas algébricos. 2010.
Funções computáveis e funções recursivas. 2010.
Funções recursivas parciais. 2010.
Instâncias sentenciais e funções quantificadas. 2010.
Lógica sentencial e predicativa aplicada ao cálculo diferencial e integral. 2010.
Modelagem diferencial e integral nas engenharias. 2010.
Sistemas algébricos em lógica matemática. 2010.
Teoremas da incompletude matemática. 2010.
Teoria da demonstração em lógica matemática proposicional. 2010.
Cursos e Palestras Ministrados em 2009
Álgebra enunciativa de primeira ordem no cálculo proposicional. 2009.
Álgebra proposicional e implicações lógicas. 2009.
Análise lógica da teoria dos conjuntos através do cálculo proposicional e dos predicados. 2009.
Argumentos dedutivos e teoria da demonstração de primeira ordem. 2009.
Aritmética de Peano e os fundamentos da aritmética. 2009.
Aritmética de primeira ordem e linguagem. 2009.
Axiomatização da lógica proposicional de primeira ordem. 2009.
Axiomatização do corpo ordenado completo dos números reais. 2009.
Cálculo sentencial e predicativo em lógica matemática. 2009.
Completude da lógica proposicional clássica. 2009.
Consistência em matemática e a incompletude. 2009.
Demonstração segundo o princípio da indução finita ou indução matemática. 2009.
Demonstrações recursivas em análise inferencial. 2009.
Padoxos matemáticos e paradoxos lógicos. 2009.
Teorema da dedução e provas como procedimento computável. 2009.
Teorema de Gödel e a lógica de primeira ordem. 2009.
Teoria axiomática dos conjuntos de acordo com a lógica matemática de primeira ordem. 2009.
Teoria dos conjuntos através do cálculo proposicional e dos predicados. 2009.
Cursos e Palestras Ministrados antes de 2009
Teoria da argumentação e análise inferencial em lógica matemática de primeira ordem. 2008.
Teoria da demonstração em lógica matemática de primeira ordem. 2008.
Modelagem inferencial proposicional em lógica matemática. 2007.
A descoberta do número: história de uma grande invenção. 2001.
A questão: carvalho X figueira. 2001.
As concepções de Leibniz e Descartes sobre a filosofia da matemática. 2001.
As principais correntes filosóficas sobre a matemática ao longo da história. 2001.
Logicismo X formalismo X intuicionismo. 2001.
O formalismo matemático. 2001.
O intuicionismo na matemática. 2001.
O logicismo em matemática. 2001.
Os mundos possíveis em matemática. 2001.
Pré-visões: existem fundamentos (únicos) da matemática? 2001.
A filosofia da matemática de Henri Poincaré. 2000.
A idade antiga da matemática. 2000.
A Influência dos Paradoxos e Antinomias na Fundamentação da Matemática. 2000.
A Lógica na Atualidade. 2000.
A Lógica na Idade Média. 2000.
A Matemática como Derivação da Lógica segundo Gottlob Frege. 2000.
A Matemática Contemporânea. 2000.
A Matemática na Idade Média. 2000.
A Proposta Lingüistica de Rudolf Carnap para a Fundamentação da Matemática. 2000.
Aristóteles e a Abstração Matemática. 2000.
As Origens da Lógica. 2000.
Descartes e a Matemática Universal. 2000.
Escorço Histórico sobre a Matemática. 2000.
História Concisa sobre o Número. 2000.
Insignes Pensadores e a Matemática. 2000.
Ludwig Wittgenstein: o fundamento da matemática é o não fundamento. 2000.
O Logicismo. 2000.
O Período Moderno da Lógica. 2000.
O Renascimento da Matemática. 2000.
O Sintético a priori em Matemática segundo Immanuel Kant. 2000.
Os Fundamentos da Matemática segundo Bertrand Russell. 2000.
Paradoxos e Antinomias. 2000.
Platão e o Realismo Matemático. 2000.
A Concepção de Rudolf Carnap sobre a Matemática. 1999.
As Concepções de Frege e Kant sobre analítico/sintético ou a priori/a posteriori em relação à Aritmética. 1999.
Lógica matemática e álgebra booleana através do MAPLE V. 1999.
O Pensamento Matemático e Lógico no Período Medieval Cristão. 1999.
Observações Extemporâneas sobre a Matemática na Idade Média: As Contribuições de Boécio e Regiomontano. 1999.
Prolegômenos sobre o Desenvolvimento da Lógica na Antigüidade e suas Implicações na Atualidade. 1999.
Silogística de Aristóteles: a lógica dos enunciados categóricos. 1999.
Correntes filosóficas da matemática. 1998.
Evolução Histórica da Lógica Matemática . 1998.
Modelagem Matemática. 1998.
O Pensamento Matemático de Wittgenstein. 1998.
Observações Extemporâneas sobre a Filosofia da Matemática de Wittgenstein. 1998.
Aritmética de Peano e Considerações sobre Modelos Standard e Não-Standard da Aritmética. 1997.
Relação de Dominação e Teorema de Schröder-Bernstein. 1997.
Sistemas de Lógicas Não-Clássicas. 1997.
Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel. 1997.
Cálculo diferencial e integral através de aplicativos computacionais. 1996.
Estruturação da inteligência artificial. 1996.
Estruturação da lógica digital. 1996.
Estudo das integrais de superfície. 1996.
Impregnações entre Lógica Digital e Inteligência Artificial. 1996.
Interface entre lógica digital e inteligência artificial. 1996.
Lógica de primeira ordem. 1996.
Modelos aplicados na aquisição do conhecimento. 1996.
O Teorema de Stokes e suas Aplicações. 1996.
Representação de superfícies e volumes em 3D através do MAPLE V. 1996.
Representações gráficas em 2D através do MAPLE V. 1996.
Teorema da Divergência e suas Aplicações. 1996.
Teorema da divergência e suas aplicações. 1996.
Teorema de Stokes e suas aplicações. 1996.
Álgebra booleana aplicada à lógica digital. 1995.
Aplicações das transformadas de Laplace. 1995.
Cálculo proposicional em lógica matemática. 1995.
Lógica matemática: análise inferencial e teoria da argumentação no cálculo proposicional. 1995.
Lógica matemática: o cálculo dos predicados aplicado à análise matemática. 1995.
Lógica matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos. 1995.
Matemática de comutação: algebrização de circuitos elétricos. 1995.
Representação em 3D através de aplicativos computacionais. 1995.
Seminário Avançado em Lógica para o Desenvolvimento do Raciocínio. 1995.
Sistematização das transformadas de Laplace. 1995.
A Álgebra da Lógica e a Fundamentação da Lógica Digital. 1994.
Lógica matemática: considerações sobre a teoria da argumentação. 1994.
Lógica matemática: prolegômenos à lógica sentencial e à lógica dos predicados. 1994.
Lógica matemática: prolegômenos ao cálculo proposicional em lógica matemática. 1994.
Lógica matemática: uma introdução ao cálculo proposicional. 1994.
Lógica clássica. 1992.
Curso de verão em álgebra linear e cálculo numérico. 1991.
Curso de verão em cálculo diferencial e integral. 1991.