Pular para o conteúdo
Gov.br — Ministério da Educação (abre em nova aba)
in-Chat

Resultados para “'Paraconsistent logics'”

Rede Integra

Guilherme Bitencourt Martins

docente IFSC - Câmpus Florianópolis

Graduação em Matemática licenciatura, mestrado em Economia e doutorado em Economia, em andamento, pela Universidade Federal de Santa Catarina. Experiência como professor na área de Matemática, com ênfase em Cálculo, Geometria Analítica, Estatística e Probabilidade, Álgebra Linear, Matemática Financeira, Finanças e Mercado de Capitais e Lógica Paraconsistente Anotada Evidencial.

Tiago Soares Dos Reis

docente IFRJ - Campus Nilópolis

Tiago concluiu, em 2015, o doutorado em História das Ciências e das Técnicas e Epistemologia (HCTE) pela Universidade Federal do Rio de Janeiro (UFRJ), com estudos em Transmatemática. Concluiu, em 2012, o mestrado em Matemática pela UFRJ, com estudos em Operadores Hipercíclicos e concluiu, em 2008, a Licenciatura em Matemática também pela UFRJ. Durante o ano de 2009, lecionou, como professor substituto, no ensino superior da UFRJ e deu tutoria na pós-graduação à distância da Universidade Federal Fluminense (UFF). Leciona, desde 2010, no ensino superior e no ensino técnico do Instituto Federal de Educação, Ciência e tecnologia do Rio de Janeiro (IFRJ). Atualmente faz pesquisa em Transmatemática.

Clodomir Silva Lima Neto

docente IFCE - Campus Caucaia

Professor EBTT (Ensino Básico, Técnico e Tecnológico), área Matemática, lotado no câmpus Caucaia do IFCE (Instituto Federal de Educação, Ciência e Tecnologia do Ceará). Possui Mestrado em Sistemas e Computação pela UFRN (Universidade Federal do Rio Grande do Norte), Especialização em Ensino de Matemática pela UECE (Universidade Estadual do Ceará) e Graduação em Licenciatura em Matemática pela UFC (Universidade Federal do Ceará). Membro do GEPEMAC (Grupo de Estudos e Pesquisa em Matemática do Ceará) do IFCE.

Arnaldo De Carvalho Junior

docente IFSP - Reitoria

Atua nos cursos de Mestrado e Doutorado Profissional em Engenharia Mecânica da Universidade Santa Cecília (UNISANTA). É pesquisador voluntário e professor titular aposentado do IFSP campus Cubatão. Possui pós-doutorado (2023) e doutorado (2021) em Ciências, Eng. Elétrica pela Escola Politécnica - USP. Mestre em Eng. Mecânica pela Universidade Santa Cecilia - UNISANTA (2017). Habilitação em Docência para Ensino à Distância - EAD (2004) e Ensino Superior (2002). MBA em Gestão Empresarial pela Fundação Getúlio Vargas - FGV (2001). Licenciatura de Disciplinas Técnicas de Nível Médio - ESQUEMA I (1995). Graduação em Eng. em Eletrônica pela UNISANTA (1991). Técnico em Eletrônica pela ETEC Aristóteles Ferreira (1984). Professor de cursos técnicos profissionalizantes desde 1990, de graduação desde 2003 e de pós-graduação desde 2024. Obteve certificações profissionais internacionais em Business Value Practitioner - Cisco (2015), Gerenciamento de Projetos - PMP (2012), Cisco CCNA e CCNP de Router / Switch (2011) e Wireless CWNA (2010). Possui 40 anos de experiência profissional, com atuação por grandes empresas multinacionais na América Latina, EUA, Europa e China, realizando treinamentos, seminários, apresentações, defesa de projeto e negociações técnicas. Idiomas Inglês e Espanhol Fluentes, básico de Francês. Especialista em Redes de Computadores, Redes Industriais, Telecomunicações Sem Fio e Sistemas Inteligentes. 3 Patentes publicadas em 2019. Cofundador do Laboratório de Inteligência Artificial Embarcada (EAILab) e membro dos grupos de pesquisa Labmax e Autom System do IFSP. Colaborador do grupo de pesquisa Lógica Paraconsistente Aplicada em Sistemas Inteligentes da UNISANTA, do site Teleco (teleco.com.br) e da TV Humana (tvhumana.com.br/). Atualmente realiza pesquisas no desenvolvimento de sistemas especialistas, Inteligência artificial (IA), aprendizado de máquina (machine learning - ML) e computação de borda (edge computing - EC) com redes neurais e Lógica Paraconsistente Anotada Evidencial ou LPA2v.

Lidiane Visintin

docente IFSC - Câmpus Lages

Possui graduação em Ciência da Computação pela Universidade de Passo Fundo (2010), mestrado em computação pela Universidade Federal de Pelotas (2013) e doutorado em Engenharia e Gestão do Conhecimento pela Universidade Federal de Santa Catarina (2021). Tem experiência na área de Ciência da Computação, com ênfase em Matemática para a Computação, atuando principalmente nos seguintes temas: programação em linguagem C, C++, Python e JavaScript, modelos de maturidade, dados abertos e governança de dados. Possui conhecimento em lógica fuzzy, banco de dados: Mysql, postgresql, firebird, entre outros e data science.

João Paulo Lemos Escola

docente IFSP - Campus Barretos - Sede

Possui graduação em Tecnologia em Informática pela Faculdade de Tecnologia de São José do Rio Preto (2007), mestrado em Ciências com ênfase em Física Aplicada Computacional pelo Instituto de Física de São Carlos/USP (2014), doutorado em Ciências com ênfase em Sistemas Dinâmicos pela Escola de Engenharia de São Carlos/USP (2021) e Pós-doutorado em Processamento de Sinais de Áudio pelo Instituto de Biociências, Letras e Ciências Exatas da Universidade Estadual Paulista/UNESP (2023). Atualmente é professor efetivo do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (Campus Barretos) em regime de dedicação exclusiva. Atua principalmente na áreas de Processamento de Sinais, Tecnologias de Software Livre e OpenSource, desenvolvimento de software PHP, Java, Kotlin, Python e Android.

Fábio Vieira Do Amaral

docente IFSP - Campus São Paulo

Professor universitário com 25 anos de experiência no ensino superior, atuando em instituições como IFSP, FATEC, FIAP, SENAC. UNIP, entre outras. Doutor em Engenharia de Produção pela Universidade Paulista (UNIP), com foco na linha de pesquisa Métodos Quantitativos, Inteligência Computacional e Redes Neurais Paraconsistentes. Mestre em Engenharia da Computação, com ênfase em Engenharia de Software, pelo Instituto de Pesquisas Tecnológicas do Estado de São Paulo (IPT). Com mais de 30 anos de atuação profissional em desenvolvimento de software, possui sólida experiência em Qualidade de Software, Metodologias de Desenvolvimento, Banco de Dados Oracle, Sistemas Baseados em Conhecimento, Inteligência Artificial, Ciência de Dados e Clusters de Alto Desempenho (Linux), onde inovou construindo o notecluster um sistema no qual um notebook utilizado como servidor pode transformar laboratórios de informática em supercomputadores, aproveitando a estrutura existente nos campi das universidades. Na UNIP, implantou clusters com aproximadamente 400 computadores, integrando-os a disciplinas como Sistemas Operacionais, Redes, Programação Paralela e Computação Gráfica. Na área acadêmica, leciona disciplinas nos cursos de Ciência da Computação, Sistemas de Informação, Engenharia da Computação, Tecnólogos em Computação e em programas de pós-graduação em Engenharia de Software. Atua como líder de disciplinas e integrou o grupo de preparação de material para o ENADE, vinculado à vice-reitoria da UNIP. Como membro do grupo de pesquisa em Lógica Paraconsistente e Inteligência Artificial (dgp.cnpq.br/dgp/espelhogrupo/0508908011022493), desenvolveu, entre outras soluções, um classificador para diagnóstico precoce do câncer de mama, com acurácia entre 92 e 98 em apenas cinco segundos, utilizando Redes Neurais Artificiais Paraconsistentes; além de sistemas de apoio à decisão baseados na extração de contradições em grupos de indivíduos. CEO de empresa de tecnologia, lidera projetos inovadores com foco em Inteligência Artificial e aplicações voltadas ao agronegócio, medicina, industria, etc.

Sanderson Molick Silva

docente

Possui graduação em Filosofia (Licenciatura) pela Universidade Federal do Rio Grande do Norte, Mestrado em Filosofia pela UFRN (subárea: Lógica e Filosofia Formal), e Doutorado conjunto em Filosofia pela UFRN e pela Ruhr-Universität Bochum. Realizou visita de pesquisa pós-doutoral (2024) ao Departamento de Filosofia da Nicolaus Copernicus University in Torun. Foi professor substituto do Departamento de Filosofia da UFRN, do Departamento de Administração da Faculdade de Ciências Empresariais (FACEN) e da Escola Agrícola de Jundiaí (EAJ-UFRN). Atualmente, é professor EBTT do Instituto Federal do Pará - Campus Marabá Industrial. É o atual editor das seções de Lógica e Filosofia da Ciência do Open Philosophy Journal (De Gruyter). Desenvolve pesquisa nas áreas de filosofia da lógica, lógicas não-monotonicas e raciocínio revogável. É membro associado do Research Group for Logic in Philosophy and Artificial Intelligence da Ruhr-Universität Bochum.

Cristina Correa De Oliveira

docente IFSP - Campus Bragança Paulista

Doutora em Engenharia de Produção pela Universidade Paulista, mestre em Engenharia da Computação pelo Instituto de Pesquisas Tecnológicas do Estado de São Paulo (2006), graduada em Análise de Sistemas pela Pontifícia Universidade Católica de Campinas (1993). Professora no Instituto Federal de São Paulo - campus Bragança Paulista (IFSP) e Professora III na Fatec Zona Leste.

Elaini Simoni Angelotti

docente IFPR - Campus Curitiba

Graduada em Ciência da Computação pela Universidade Estadual de Maringá (1997) e Mestrado em Informática Aplicada pela Pontifícia Universidade Católica do Paraná (2001). Graduada em Bacharelado em Psicologia pela Pontifícia Universidade Católica do Paraná (2016). Atualmente é professora do Instituto Federal do Paraná - Campus Curitiba e atua no Curso de Informática (Integrado). Atua principalmente nas seguintes disciplinas: Modelagem UML, Banco de Dados e Algoritmos.

Rede Integra © 2023-2026 Setec - Ministério da Educação — Desenvolvido pelo IFRS.