Resultados para “'Programação 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.

Bruno Amorim Ramos

docente

Mestre em Educação Profissional e Tecnológica pelo Programa de Pós-Graduação em Educação Profissional e Tecnológica (ProfEPT) do Instituto Federal de Alagoas (IFAL) e bacharel em Sistemas de Informação. Sou professor do Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia da Bahia (IFBA), Campus Euclides da Cunha.Atuo na interface entre Computação e Educação, com experiência em ensino de lógica e programação, robótica educacional, tecnologias educacionais e Educação Profissional e Tecnológica. Desenvolvo atividades acadêmicas relacionadas ao ensino de Computação, ao desenvolvimento web, aos jogos digitais e às tecnologias de realidade virtual e aumentada. No âmbito da pesquisa e da produção educacional, desenvolvi o Robôcactus, produto educacional voltado ao ensino de lógica de programação e robótica por meio da plataforma Arduino.Meus interesses de pesquisa abrangem as relações entre educação, tecnologia e sociedade, com ênfase em ensino de programação, robótica educacional, pensamento computacional, mediação tecnológica e processos de ensino e aprendizagem. Tenho interesse, ainda, na investigação de aspectos relacionados à cognição, metacognição e construção do conhecimento em contextos educacionais, especialmente na Educação Profissional e Tecnológica.

José Augusto Navarro Garcia Manzano

docente IFSP - Campus Campos do Jordão

Graduado em Análise e desenvolvimento de sistemas, Ciências econômicas e Licenciatura em matemática. É mestre em Administração de empresas, autor de mais de uma centena de livros nas áreas da Ciência da computação, Processamento de dados e Informática. Junto a Editora Érica (autor e avaliador), Novatec (autor), Alta Books (autor) e Clube de Autores (editor e autor com o identificador: Propes Vivens). Tem experiência no desenvolvimento de software para as áreas de comércio e telecomunicações. Possui artigos publicados no Brasil e exterior. É palestrante e professor do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo. Possui forte experiência na área da Ciência da Computação com ênfase em linguagens de programação e programação de computadores, atuando como professor no desenvolvimento das bases tecnológicas de: lógica de programação (algoritmos), linguagem de programação, técnicas de programação, arquitetura e organização de computadores e estruturas de dados. Como instrutor de treinamento na área de TI ministrou cursos para diversas empresas brasileiras e estrangeiras, como Servimec, Bepe, Open Class, SPCI, Origin, entre outras. É membro da Association for Computing Machinery (ACM) desde 2009.

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

Francenila Rodrigues Junior

docente IFSertão-PE - Campus Petrolina

Mestre em Engenharia de Software pelo Centro de Estudos Avançados do Recife (C.E.S.A.R). Possui especialização em Engenharia de Software e Graduação em Ciência da Computação, ambos pela Faculdade de Ciências Aplicadas e Sociais de Petrolina (FACAPE). Atualmente é membro do Instituto Federal Pernambucano (IF-Sertão) Campus Salgueiro, atuando como Professor do Ensino Básico, Técnico e Tecnólogo nas disciplinas Banco de Dados I e Banco de Dados II, Engenharia de Software, Gerência de Projetos e Projetos Integradores. Ministrou aulas nas disciplinas Administração e Sistemas, Lógica de Programação, Linguagens de Programação e Informática Básica. Já atuou como Coordenador de TI, DBA, suporte a ERPs e Programador de sistemas computador. É membro do Grupo de Estudos e Pesquisas em Práticas Educacionais Tecnológicas (GEPET) e do Grupo de Estudos Avançados em Informática do(a) Instituto Federal do Sertão Pernambucano (GEASI).

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.

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.

Diego Ricardo Krohl

docente IFC - Campus Videira

Doutor em Educação Científica e Tecnológica pela Universidade Federal de Santa Catarina (UFSC / PPGECT - 2025), Mestre em Engenharia de Processos pela Universidade da Região de Joinville (UNIVILLE - 2014), especialista em Gestão da Tecnologia da Informação (UDESC - 2010), graduado em Tecnologia em Sistemas de Informação (TSI) pela Universidade do Estado de Santa Catarina (UDESC - 2008) e Licenciado em Computação pelo Claretiano - Centro Universitário (CLARETIANO - 2018). Tem experiência na área de Sistemas de Informação, com ênfase na área de Gestão da Tecnologia da Informação, onde atuou na coordenação de implantação de Sistemas de Informação (ERP), para o setor industrial. Atuou como facilitador do programa DOT (Digital Opportunity Trust) no treinamento de docentes com recursos tecnológicos educacionais. Atualmente é professor do ensino básico técnico e tecnológico do Instituto Federal Catarinense - Campus Videira e atua em projetos que envolvem a lógica de programação e o pensamento computacional.

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.

Mauricio Monteiro Da Silva

docente IFMG - Campus Betim

Possui graduação em Bacharel em Sistemas de Informação e Pós-Graduação pela Pontifícia Universidade Católica de Minas Gerais e Mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais. Atualmente é professor de informática do Instituto Federal Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: desenvolvimento de software, automação, robótica, inteligência artificial, projetos de pesquisas, programação e algoritmos.

Alexandre Bellezi José

docente IFG - Campus Anápolis

possui graduação em Ciência da Computação pela Universidade Católica de Goiás (2005) e mestrado em Engenharia Elétrica pela Universidade de Brasília (2008). Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: Redes Bayesianas, J2me, Computação Móvel, Dispositivos Móveis, Interrogatório Sintomatológico, Banco de Dados e Redes de Sensores sem Fio.

Vladymir De Lima Bezerra

docente IFCE - Campus Canindé

Formado em Ciência da Computação pela Universidade Federal de Campina Grande. Professor EBTT no IFCE campus Canindé, Mestre em Ciência da Computação pela Universidade Federal do Ceará. Interesse em Engenharia de Software, Lógica Matemática e Linguagens de Programação.

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

Jonas Da Conceição Nascimento Pontes

docente IFAC - Campus Rio Branco

Jonas Pontes é mestre em Ciência da Computação pelo Centro de Informática Universidade Federal de Pernambuco (UFPE), título obtido em 2017; graduado em Sistemas de Informação (2013) e especialista em Tecnologia da Informação e Comunicação (2015), ambos pela Universidade Federal do Acre (Ufac). É professor EBBT do Instituto Federal do Acre (Ifac) desde 2013, onde ministra disciplinas de programação, sistemas operacionais e metodologia da pesquisa em computação. No campo da gestão, atuou como coordenador do curso Técnico Integrado ao Ensino Médio em Informática de agosto de 2017 a março de 2022, no campus Sena Madureira, e atualmente é coordenador do curso Técnico Integrado ao Ensino Médio em Informática para Internet, no campus Rio Branco. Tem como áreas de interesse avaliação de desempenho, consumo de energia, dispositivos móveis, segurança e aprendizado de máquina. É vice-líder do Grupo de Informática para Pesquisa em Computação.

Luciana Balieiro Cosme

docente IFNMG - Campus Montes Claros

Atualmente é professora do Instituto Federal de Educação, Ciência e Tecnologia do Norte de Minas Gerais (IFNMG) Campus Montes Claros, com mestrado e doutorado em Engenharia Elétrica pela Universidade Federal de Minas Gerais (UFMG). Tem experiência profissional em desenvolvimento de sistemas. Atua principalmente com pesquisas nas áreas de sistemas nebulosos, otimização e linguagens de programação.