Resultados para “'Lógica Indutiva'”

Ricardo Gentil De Araújo Pereira

tecnico IFRN - Campus Ceará-Mirim

Possui graduação em Engenharia Elétrica (2001), licenciatura em Filosofia (2017) e mestrado em Filosofia (2012), todos pela Universidade Federal do Rio Grande do Norte. Atualmente interessando nos seguintes temas: lógica, epistemologia, teoria da argumentação, ética, política, contrato social e conflito entre fé e razão, de maneira geral. Também tem interesse mais específico na relação entre probabilidade e crença, nas definições de verdade e de racionalidade, em ética da crença e na problemática da doutrinação no ambiente de ensino.

Adriano Luiz De Souza Lima

docente IFSC - Câmpus São José

Possui graduação em Bacharelado em Filosofia pela Universidade Federal de Santa Catarina (2003), graduação em Sistema de Informação pela Universidade Federal de Santa Catarina (2019), mestrado em Filosofia pela Universidade Federal de Santa Catarina (2006) e doutorado em Ciências da Computação pela Universidade Federal de Santa Catarina (2023). Tem experiência na área de Ciência da Computação, com ênfase em Interação Humano-Computador, atuando principalmente nos seguintes temas: visual aesthetics, app inventor, gui design, human-computer interaction e systematic mapping.

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.

Clenio Batista Goncalves Junior

docente IFSP - Campus São Roque

Docente e pesquisador no Instituto Federal de Educação, Ciência e Tecnologia de São Paulo. Possui Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá, Especialização em Engenharia de Software pela Universidade Federal de Uberlândia e Mestrado em Ciência da Computação pela Universidade Federal de São Carlos, campus Sorocaba. É doutorando pelo Departamento de Computação da Universidade Federal de São Carlos. Foi integrante do Comitê Gestor da comissão especial de Computação Musical da Sociedade Brasileira de Computação e coordenador do Núcleo Interdisciplinar de Produção e Pesquisa Audiovisuais no campus São Roque do IFSP. Possui como principais linhas de interesse: Computação Musical, Representação de Conhecimento, Sistemas Operacionais, Produção Audiovisual, Inteligência Artificial, Computação Sustentável e Desenvolvimento de Software Livre.

Gustavo Bilobran Neves

docente IFPR - Campus Telemaco Borba

Mestrando em Engenharia Elétrica pela UTFPR. Graduado em Engenharia Elétrica pelas Faculdades Integradas dos Campos Gerais (CESCAGE) em 2019, pós graduado em Engenharia de Segurança do Trabalho pela Universidade Pitágoras Unopar Anhanguera (UNOPAR) em 2023, pós graduado em Engenharia Elétrica com Ênfase em Instalações Industriais pela Universidade Pitágoras Unopar Anhanguera (UNOPAR) em 2024. Licenciado em Matemática pela Universidade Cruzeiro do Sul em 2022. Técnico em Eletromecânica pelo Serviço Nacional de Aprendizagem Industrial (SENAI) em 2013. Atuou como coordenador e professor dos cursos de Eletrotécnica e Eletromecânica no Centro Estadual de Educação Profissional (CEEPPG) entre 2020 e 2024. Entre 2014 e 2017, trabalhou na área de projetos de agrimensura e topografia, focando em regularizações imobiliárias e georreferenciamento. Entre 2018 e 2024, atuou na área de Engenharia Elétrica, desenvolvendo projetos de Redes de Fibra Óptica (FTTx), Instalações Elétricas e Sistemas de Proteção Contra Descargas Atmosféricas (SPDA).

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

Robson Rodrigues Carvalho

docente IFC - Campus Camboriu

Doutor em filosofia (2017-2022) pelo Programa de Pós-Graduação em Filosofia da Universidade Federal de Santa Catarina (UFSC) na área de Lógica e Epistemologia. Anteriormente, obteve graduação em Filosofia licenciatura plena (2010-2014) na Universidade Federal de Santa Maria (UFSM); bem como mestrado (2015-2017) em filosofia da ciência. Áreas de interesse: Filosofia da Ciência, História da Ciência e Epistemologia. Apresenta experiência com os seguintes autores: Thomas Kuhn, Karl Popper, Imre Lakatos, Larry Laudan entre outros. Atualmente, é professor EBTT do Instituto Federal de Santa Catarina (IFSC) no campus Xanxerê.

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.

ÁP

Á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...