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

Resultados para “'Logica Paraconsistente Anotada Evidencial'”

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.

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.

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.