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

Resultados para “'Lógica Paraconsistente'”

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.

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.

Stanley Kreiter Bezerra Medeiros

docente IFRN - Campus Ceará-Mirim

Possui graduação em filosofia pela Universidade Federal do Rio Grande do Norte (2005) e mestrado em Filosofia pela Universidade Federal da Paraíba (2008). Doutorado em Filosofia pelo Programa Integrado de Doutorado em Filosofia - UFRN-UFPB-UFPE. Tem experiência na área de Filosofia, com ênfase em Lógica e Epistemologia. Atualmente é graduando em psicologia pela UNIFACEX-RN, com interesse na abordagem fenomenológico-existencial.

Luiz Gustavo Moro Senko

docente IFC - Campus Brusque

Professor do Instituto Federal Catarinense - Campus Brusque. Possui graduação em Bacharelado em Análise de Sistemas pela Pontifícia Universidade Católica do Paraná (2002) e mestrado em Informática Aplicada pela Pontifícia Universidade Católica do Paraná (2006). Doutorando em Informática Aplicada, pela PUCPR (início em 2021). Atuação na área de Ciência da Computação, com interesse principal em metodologias e desenvolvimento de sistemas de informação. Atuação e participação em pesquisa e desenvolvimento de sistemas computacionais, utilizando técnicas de inteligência artificial. Interesse nos seguintes temas: metodologias e técnicas de desenvolvimento de sistemas, mineração de dados, mineração de dados distribuídos, aplicações de lógicas não triviais para validação de conhecimento e aprendizagem de máquina.Atuação como bolsista de produtividade CNPQ nível 6B

Lauro Iane De Morais

docente

Graduado em Filosofia pela Universidade Federal de Sergipe (2018). Mestre (2021) e doutor (2025) pelo Programa de Pós-Graduação em Filosofia da UFS (PPGF-UFS). Realiza pesquisas nas áreas de lógica, filosofia da linguagem, esquizoanálise e freudo-marxismo pelo GEFILUFS (Grupo de Estudos de Filosofia da Linguagem UFS), regularmente registrado no CNPq.

Guilherme De Freitas Leal

docente IFG - Campus Inhumas

Bacharel em Filosofia pela Universidade Federal de Goiás (2012). Mestrado em Filosofia na UFG com uma tese entorno do pensamento de Michel Foucault principalmente nos seguintes temas: homo oeconomicus, lógica econômica e biopolítica (2015). Licenciatura em Filosofia pelo Claretiano (2019). Doutor em Michel Foucault sobre a obra de Kant. Bolsista da FAPEG. Licenciando em Letras Francês pela UFG.

Thiago De Almeida Bastos

tecnico IFGoiano - Campus Urutaí

possui graduação em Ciência da Computação pela Universidade Federal de Goiás - Regional Catalão (2012) e mestrado em Modelagem e Otimização pela Universidade Federal de Goiás - Regional Catalão (2018). Atualmente é técnico em tecnologia da informação do Instituto Federal Goiano - Campus Urutaí. Tem experiência na área de Modelagem de Sistemas, com ênfase em métodos formais, atuando principalmente nos seguintes temas: lógica, redes de Petri, validação de sistemas

Everaldo Araújo Ferreira

docente IFAC - Campus Rio Branco

Doutor e Mestre em Ciências pela Universidade Federal do Piauí, Especialista em Gestão Estratégic e Mercadológica pela UNINORTE e Bacharel em Administração pela FIRB/FAAO. Atualmente é Docente EBTT em Administração pelo Instituto Federal do Acre. Tem experiência na área de Gestão, Elaboração de Projetos, Administração Financeira, modelos epidemiológicos. As áreas de atuação são principalmente nos seguintes temas: Gestão, Administração Pública, Empreendedorismo de Negócios Inovadores, Gestão do Agronegócio, Gestão em Saúde, Modelagem, Elaboração e Gerenciamento de Projetos, Lógica Fuzzy.

Amarildo Martins De Magalhães

tecnico IFMG - Reitoria

Possui graduação pela Pontifícia Universidade Católica de Minas Gerais (2005). Especialista em desenvolvimento de soluções para Internet (2010). Atualmente é analista de tecnologia da informação do Instituto Federal Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Informação, uso de sistemas de informação em grandes corporações. Atuação como gerente de projetos de implantação de sistemas ERP. Mestre em Ciência da Informação pela Universidade Federal de Minas Gerais (2014) com trabalho desenvolvido utilizando lógica difusa (fuzzy) para redução da incerteza em processos decisórios. https://orcid.org/0000-0002-1310-9166

Douglas Chielle

Outros IFCE - Campus Quixadá

Durante meu bacharelado em Matemática Aplicada estudei o modelo matemático denominado Transformada de Radon. O objetivo desse estudo era recuperar densidades em meios heterogêneos, principalmente na aquisição e processamento de imagens médicas, bem como implementar algoritmos eficientes para resolver numericamente o problema associado. O foco do meu mestrado foi o desenvolvimento de uma máquina de vetores-suporte que utiliza a Lógica Nebulosa para lidar com incertezas em conjuntos de dados. Também trabalhei como professor substituto na Universidade Federal de Sergipe, onde lecionei as disciplinas Cálculo I, Cálculo II e Vetores e Geometria analítica. Atualmente sou Professor do Instituto Federal de Educação, Ciência e Tecnologia do Ceará.

Mario Henrique Medeiros Cavalcante De Araújo

docente IFPB - Campus Picuí

Professor de Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação Ciência e Tecnologia da Paraíba. Possui graduação em Curso Superior de Tecnologia em Geoprocessamento pelo Instituto Federal de Educação, Ciência e Tecnologia da Paraíba (2009). É especialista em Gestão Ambiental Urbana pela Universidade Federal do Rio Grande do Norte (2012). Possui pós-graduação a nível de mestrado em Ciências Geodésicas e Tecnologia da Geoinformação pela Universidade Federal de Pernambuco. Possui experiência atuando principalmente nos seguintes temas: Sistemas de Informação Geográfica, Geração de produtos para SIG através de Sensoriamento Remoto; Análise de Imagens Orientada à Objeto; Lógica Fuzzy; Manipulação de Base de Dados; Cartografia Digital e Planejamento e Cadastro Urbano.

Letícia Carvalho Pivetta

docente IFRO - campus Jí-paraná

Possui graduação em Informática pela Universidade Federal de Santa Maria (1996), mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2000) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Maria (2017). Atualmente é professora titular do Instituto Federal de Educação, Ciência e Tecnologia de Rondônia. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: raciocínio automático, método dos tableaux, algoritmos genéticos, sistema de informação, banco de dados, programação java, programação phyton e conversores estáticos.

Ábner Lucas Alves Pereira

docente

Professor de EBTT do IFPA - Breves, para o eixo Informação e Comunicação. Mestre em Ciência da Computação pelo PPGCC da UFPA - Belém, na linha de pesquisa Inteligência Computacional com foco em otimização de hiperparâmetros de modelos de redes neurais profundas em classificação de dados e previsão com séries temporais caóticas. Graduado como Tecnólogo em Análise e Desenvolvimento de Sistemas pela UNOPAR - Breves. Licenciado em Matemática pela FAMAT da UFPA - Breves. Especialista em Engenharia de Sistemas pela ESAB e em Docência para Educação Profissional, Técnica e Tecnológica pelo IFPA. Integrante do grupo de pesquisa: Grupo de Ensino e Ciências Aplicadas do Marajó (GECAM), nas linhas de pesquisas: Educação, Ciências e Tecnologias, e Educação Tecnológica, Cultura e Meio Ambiente. Possui experiência na área da educação, análise de dados e lógica de programação, em especial na linguagem de programação Python, PHP e JavaScript. Atuando principalmente nos seguintes temas: inteligência computacional, programação, lógica, internet, banco de dados, robótica e ensino básico.

David Gomes Costa

docente IFAL - Campus Maceio

Possui graduação em Filosofia (2007), mestrado em Lógica e Filosofia Formal (2010) e Doutorado em Filosofia (2020) todos pela Universidade Federal do Rio Grande do Norte (UFRN). Atualmente é professor efetivo do Instituto Federal de Alagoas - Matriz, atuando principalmente nos seguintes temas: lógica, sintaxe, modal, axiomas e semântica.

Glaucio Fernando Cunha Silva

docente IFMA - Campus São José de Ribamar

-Graduado em Filosofia Licenciatura pela Universidade Federal do Maranhão -UFMA. Pós-Graduado (Especialização) em Lógica e Ciências Cognitivas pela Universidade Federal do Maranhão - UFMA. Com trabalhos voltados para as áreas de Filosofia da Mente, Filosofia da linguagem, Lógica, Ensino da Filosofia e relações étnico-raciais. Atualmente é professor...

Patricia Nogueira Hubler

docente IFRS - Campus Canoas

Possui mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2000) e doutorado em Ciência da Computação pela PUCRS (2010). Atuou como professor adjunto da Universidade Luterana do Brasil de 1999 a 2010, exercendo o cargo de Coordenadora do Curso de Ciência da Computação da Unidade de Gravataí, de 2004 a 2010. Atualmente é professora dedicação exclusiva no Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul, lotada no Campus Canoas. Exerceu a função de Diretora de Ensino do Campus Canoas, de Pró-Reitora Adjunta de Ensino do IFRS e, atualmente, está no segundo mandato como Diretora-Geral, até 2028. Tem experiência na área de Ciência da Computação, atuando principalmente na área de desenvolvimento de sistemas com lógica e linguagem de programação e bancos de dados.

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