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

Resultados para “'Lógica de Primeira Ordem'”

Rede Integra

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.

Adson Diego Dionisio Da Silva

docente IFPB - Campus Sousa

Possui mestrado em Ciência da Computação pela Universidade Federal de Campina Grande (2015). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software e Visão Computacional

Tatiana Pires Fleury Bezerra

docente IFG - Campus Aparecida de Goiânia

Possui graduação em Matemática pela Universidade Federal de Goiás (2003) e mestrado em Matemática pela Universidade Federal de Goiás (2005). Atualmente é professora efetiva do Instituto Federal de Educação, Ciência e Tecnologia - campus Aparecida de Goiânia.

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

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.

Adriano Rodrigues De Melo

docente IFC - Campus Araquari

Possui graduação em Matemática pela Faculdade Estadual de Educação Ciências e Letras de Paranavaí (2009), mestrado e doutorado em Métodos Numéricos em Engenharia pela Universidade Federal do Paraná, obtidos em 2013 e 2017, respectivamente. Atualmente é professor EBTT do Instituto Federal de Educação, Ciências e Tecnologia Catarinense, campus Araquari/SC. Tem experiência na área de Matemática, com ênfase em Análise Numérica, atuando principalmente nos seguintes temas: análise multivariada, análise fatorial, álgebra linear, Método dos Elementos de Conservação Espaço-Temporal de Alta ordem e Alta Resolução e Equações de Saint Venant.

Carlos José De Azevedo Machado

docente IFRS - Campus Bento Gonçalves

Doutor em Educação pela Universidade Federal de Pelotas (2024) na linha de Filosofia e História da Educação. Atualmente, é professor de Filosofia do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul/Campus Bento Gonçalves. Possui Licenciatura em Filosofia (1990) na Universidade Federal de Pelotas, Especialização em Lógica e Filosofia da Ciência (1994) na Universidade Católica de Pelotas e Mestrado em Memória Social e Patrimônio Cultural (2016) pela Universidade Federal de Pelotas. Foi professor concursado pelo Estado do Rio Grande do Sul (1992 a 2014); membro do Grupo de Pesquisa Turismo, Fronteira e Desenvolvimento da UNIPAMPA (2019-2022). Atualmente faz parte do Centro de Estudos e Investigações em História da Educação - CEIHE- (UFPel), do Grupo de Pesquisa em Ciências Humanas (IFRS/Campus BG); é coordenador do Núcleo de Integração do Ensino, Pesquisa e Extensão -NIEPECH- do IFRS/Bento Gonçalves. A área de atuação inclui: Filosofia e História da Educação com ênfase nos temas: Filosofia, ética, história da educação, patrimônio cultural e fronteiras.

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.

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

Carina Martiny

docente IFFar - Reitoria

Possui graduação em História pela Universidade do Vale do Rio dos Sinos (2007), mestrado em História pela Universidade do Vale do Rio dos Sinos (2010) e doutorado em Programa de Pós-Graduação em História UFRGS pela Universidade Federal do Rio Grande do Sul (2018). Atualmente é professora EBTT de História no Instituto Federal Farroupilha (IFFar). Tem experiência na área de História, com ênfase em História Política e Primeira República no Brasil.

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.

Allan Kelvin Mendes De Sales

docente IFCE - Campus Fortaleza

Possui graduação em Engenharia Elétrica pela Universidade Federal do Ceará (1998) e mestrado em Engenharia de Teleinformática pela Universidade Federal do Ceará (2008). Atualmente é professor do Instituto Federal do Ceará - Reitoria. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: lógica fuzzy, laboratório remoto, aprendizado de máquinas, educação a distância e educação desenvolvente.

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.

Vagner Leite Rangel

docente IFF - Campus Santo Antônio De Pádua

Graduação em Letras pela UERJ, bem como Especialização, Mestrado e Doutorado em Literatura Brasileira, dedicando-se à primeira fase de Machado de Assis, especialmente à leitura de seu primeiro romance, em relação direta com as questões morais da época, bem como às questões comerciais, partindo do pressuposto de que havia tanto interesse comercial quanto literário na publicação do primeiro romance do autor. Já foi Bolsista Pesquisador Júnior do Real Gabinete de Leitura, estudando a obra de Machado de Assis; Assistente Editorial na UFRJ, dedicando-se à preparação de textos para publicação, na Revista Arquivos Brasileiros de Psicologia; Tradutor e Intérprete, aprovado em concurso público, pelo Exército Brasileiro, na posição de Tenente; Professor de Língua Materna na Prefeitura do Rio de Janeiro e Professor de Língua Inglesa pelo Estado do Rio de Janeiro, além de Tutor a Distância do CECIERJ, no projeto AprovaRJ e Tradutor na EaD em Foco, Revista Científica. Publicou, recentemente, "Golpes de Machado: crônicas afundadas na terra e no estrume da história", em parceria com Maria Cristina Ribas, pela Fundação Biblioteca Nacional (https://antigo.bn.gov.br/producao/publicacoes/periodicos-literatura-aproximacoes), entre outros, como "A recepção coeva de Ressurreição" (Revista Gragoatá); "Da circunstância brasileira de Ressurreição: bela, recatada e do lar" (Abralic); "Erotismo e ordem do discurso literário em Ressurreição" (Revista e-scrita); "Entre livros e flores: o olhar em Ressurreição" (Revista Linguagens); "Poesias completas ou páginas de assaz melancolia (Revista Machado de Assis em linha); "Romantismo, fábula e insegurança machadiana: releitura de Ressurreição" (Revista Escripta Alumni). Atualmente, é Professor do Ensino Básico e Tecnológico do Instituto Federal Fluminense.

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.

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