Resultados para “'Algebraizable logic'”

Clodomir Silva Lima Neto

docente IFCE - Campus Caucaia

Professor EBTT (Ensino Básico, Técnico e Tecnológico), área Matemática, lotado no câmpus Caucaia do IFCE (Instituto Federal de Educação, Ciência e Tecnologia do Ceará). Possui Mestrado em Sistemas e Computação pela UFRN (Universidade Federal do Rio Grande do Norte), Especialização em Ensino de Matemática pela UECE (Universidade Estadual do Ceará) e Graduação em Licenciatura em Matemática pela UFC (Universidade Federal do Ceará). Membro do GEPEMAC (Grupo de Estudos e Pesquisa em Matemática do Ceará) do IFCE.

Vanderlei Freitas Junior

docente IFC - Campus Sombrio

Possui graduação em Ciências da Computação (UNISUL/2002), mestrado em educação (PPGEA/UFRRJ/2010) e doutorado em Engenharia do Conhecimento pela Universidade Federal de Santa Catarina (PPGEGC/UFSC/2016) com período sanduíche na Aston University, em Birmingham, Reino Unido. É também especialista em Gestão Pública em Educação Profissional e Tecnológica (IFSC/2018). É professor e pesquisador do Instituto Federal de Educação, Ciência e Tecnologia Catarinense - Campus Sombrio. Possui interesse Educação Corporativa, Engenharia e Gestão do Conhecimento, Inteligência Artificial, Fuzzy Logic, Indicadores de Desempenho e Programação de Microcomputadores. (.'.)

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.

Ruy De Aguiar Araújo Júnior

docente IFTM - Campus Uberaba

- Servidor da Rede Federal de Educação Profissional, Científica e Tecnológica desde 2009; - Professor Titular do IFTM Campus Uberaba (2023 - atual); - Doutor em Agronomia (Automação de Sistemas de Irrigação, Universidade Estadual Paulista ''Júlio de Mesquita Filho'' - UNESP, 2017); - Mestre em Engenharia Elétrica (Sistemas de Energia, Universidade Federal de Uberlândia - UFU, 1999); - Especialista em Pedagogia (Centro Universitário do Triângulo - UNITRI, 2003); - Bacharel em Engenharia Elétrica (Universidade Vale do Rio Doce - UNIVALE, 1996); - Ex-Pró-Reitor de Extensão e Cultura; - Ex-Coordenador Nacional do Fórum de Pró-Reitores de Extensão e Cultura - FORPROEXT; - Professor do IFTM Campus Patos de Minas (2013 - 2023); - Professor do IFTM Campus Ituiutaba (2010 - 2013); - Professor e Coordenador do Curso de Engenharia Elétrica do Instituto Federal da Bahia (IFBA), Campus Vitória da Conquista (2009 - 2010);- Professor e Coordenador do Curso de Engenharia Elétrica da Faculdade do Noroeste de Minas Gerais (FINOM), Campus Paracatu (2008); - Professor e Coordenador dos Cursos de Sistemas de Informação e de Tecnologia em Telecomunicações da UNIPAC/IMEPAC, Campus Araguari (2002 - 2005); - Idealizador do Seminário de Integração dos Técnicos Administrativos do IFTM (SINTAE); - Idealizador do Seminário Nacional de Curricularização da Extensão da Federal de Educação Profissional, Científica e Tecnológica (SENCE); - Idealizador do I Congresso de Extensão da Rede Federal de Educação Profissional, Científica e Tecnológica (CONEXT); - Avaliador de Projetos de Pesquisa e Extensão do IFSUDESTEMG e do IFS; - Produtor de material didático da Universidade Aberta do Brasil (UAB); - Ex-Membro do Conselho Gestor do Parque Tecnológico de Uberaba.- Coordenador do Departamento de Ciências Sociais Aplicadas da UNIPAC/IMEPAC, Campus Araguari (2003 - 2005); - Coordenador do Departamento de Ciências Exatas e Tecnológicas da UNIPAC/IMEPAC, Campus Araguari (2003 - 2005);- Presidente da Comissão de Processo Seletivo - COPESE UNIPAC/IMEPAC, Campus Araguari (2003 - 2005);- Professor e Coordenador dos Cursos Técnicos em Eletrônica e Telecomunicações do SENAI Uberlândia (1999 - 2003).

Jonas Damasceno Batista De Araújo

docente IFRN - Campus Caicó

Engenheiro Eletricista pela Universidade Federal do Rio Grande do Norte, possui formação direcionada a área de potência e eletrotécnica, destacando-se nas áreas de proteção elétrica, distribuição, instalações elétricas residenciais, acionamentos e comandos elétricos e em fontes renováveis de energia - Eólica e Solar Fotovoltaica. Hobbista em eletrônica, possui experiência em montagem e implementação de circuitos eletrônicos e confecção de placas de circuito impresso, dominando o manuseio de equipamentos para testes dos circuitos em laboratório, assim como programas computacionais de simulação e CAD (PowerSim, MultiSim, Circuit Maker, TwidoSuite, AutoCAD básico). Domina o uso de programas computacionais diversos, em destaque aos programas de edição gráfica e de edição de audio e pacote Office. Entre 04/2010 e 09/2010 desenvolveu atividades como bolsista FAPERN, onde participou da pesquisa e desenvolvimento de um Circuito Detector de Campos emitidos por aparelhos de telefonia móvel, a ser utilizado no projeto CAPTAS - Uma intervenção móvel urbana - envolvendo Arte e Tecnologia, desenvolvido no DEART - UFRN. De 03/2011 a 12/2012 desempenhou as atividades de monitoria da disciplina Laboratório de Comunicações II, auxiliando o professor nas atividades da disciplina, desenvolvendo e aperfeiçoando circuitos eletrônicos didáticos aplicados em comunicações para testes em laboratório, atividade base para o seu Trabalho de Conclusão de Curso. De 11/2012 a 12/2012 cumpriu seu estágio obrigatório na Superintendência de Infraestrutura da UFRN na divisão de manutenção DMIN onde desempenhou atividades de projetos de subestações de pequeno porte, estudo de carga e dimensionamento de SPDA, além de outras atividades relacionadas à área de eletrotécnica. Entre 07/2013 e 08/2014 desempenhou atividades como bolsista no projeto "Estudo da Geração Fotovoltaica Centralizada e seu Impacto no Sistema Elétrico", projeto do CTGas/ER em parceria com a UFRN e apoio da Petrobrás, desenvolvendo as atividades no Laboratório de Eletrônica de Potência e Energias Renováveis - LEPER na UFRN. Atualmente, é professor do ensino básico, técnico e tecnológico do curso de eletrotécnica no IFRN - Campus Caicó, desempenhando a função de coordenação de maio de 2016 a dezembro de 2019

Cícero Alves Da Silva

docente IFPB - Campus Catolé do Rocha

Possui graduação em Bacharelado em Sistemas de Informação (2013) pela Universidade Federal do Rio Grande do Norte (UFRN), mestrado em Sistemas e Computação (2015) e doutorado em Ciência da Computação (2020) pelo Programa de Pós-graduação em Sistemas e Computação (PPgSC) da Universidade Federal do Rio Grande do Norte (UFRN), atuando principalmente nos seguintes temas: e-saúde, computação em névoa, internet das coisas, arquitetura de software, blockchain, cidades inteligentes, mineração de dados, computação móvel e programação.

Andreiwid Sheffer Corrêa

docente IFSP - Campus Campinas

Possui graduação em Ciência da Computação (2004), mestrado profissional em Gestão de Redes de Telecomunicações - PPG em Engenharia Elétrica (2012), doutorado em Engenharia de Computação pela Escola Politécnica da USP (2017) e pós-doutorado em Ciência da Computação pelo Instituto de Matemática e Estatística da USP (2018). Possui mais de 27 anos de experiência profissional na área de Computação/Tecnologia da Informação. É professor efetivo do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - IFSP, com atuação na graduação e pós-graduação. De 2025-2026 ocupou a cátedra Fulbright Distinguished Chair na Florida Polytechnic University, Lakeland-FL, USA. Destacada experiência em pesquisa na área de Dados Abertos e Ciência de Dados; tem atuação em Computação Forense; realiza perícias judiciais e extrajudiciais em Computação.

Ana Paula Ferreira Alves

docente IFRS - Campus Viamão

Professora EBTT no Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul (IFRS), Campus Viamão. Doutora em Administração, na área de Inovação, Tecnologia e Sustentabilidade, pela Universidade Federal do Rio Grande do Sul - UFRGS (2019), com período sanduíche na Aarhus University (Dinamarca, 2017). Mestra em Administração, na área de Inovação, Tecnologia e Sustentabilidade, pela Universidade Federal do Rio Grande do Sul - UFRGS (2014). Bacharela em Administração pela Universidade Federal do Rio Grande - FURG (2011) e bacharela em Ciências Contábeis pela Universidade Federal do Rio Grande - FURG (2011). Pesquisadora no Grupo de Pesquisa Tecnologia e Ciências da Decisão (IFRS) e colaboradora no Núcleo de Engenharia Organizacional (NEO - UFRGS) e no Grupo de Pesquisa em Sustentabilidade e Inovação (UFRGS). Líder do tema ''Cadeias de Suprimentos e Operações Responsáveis e Éticas'' da divisão de Gestão de Operações e Logística (GOL) da Anpad.

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

Armando Martins De Souza

docente IFRJ - Campus Arraial do Cabo

Mestre em Informática (UFRJ), Pós Graduado em Projeto e Gerência de Redes de Computadores, Pós Graduado em Docência para Educação Profissional e Tecnológica do IFRJ, Graduado em Tecnologia em Processamento de Dados. Atualmente é coordenador do Curso superior tecnológico em Redes de Computadores do campus Arraial do Cabo do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro (IFRJ). É professor EBTT do IFRJ, membro presidente do Núcleo Docente Estruturante (NDE) do Curso Superior Tecnológico em Redes de Computadores. Membro titular do colegiado de campus (campus Arraial do Cabo) e dos colegiados dos cursos Curso Superior em Rede de Computadores e do curso de Pós Graduação em Tecnologias Digitais Aplicadas ao Ensino. Foi Coordenador adjunto do curso de Tecnologia em Redes de Computadores da Universidade Castelo Branco, membro do Núcleo Docente Estruturante (NDE) e de Colegiado de Curso. Também foi professor Assistente de cursos de Graduação e técnicos (PRONATEC) do Centro Universitário Carioca. Certificado Linux Conectiva desde 2003, LPI níveis 1 e 2, certificado ITIL e instrutor Cisco (IT Essentials e CCNA). Especialista na gerência de equipes e projetos ligados ao suporte e infraestrutura tecnológica. Gerenciamento de projetos ligados a Alta Disponibilidade (HAProxy, KeepAlive, Heartbeat, DRBT e Mon) e ambientes complexos. Gerenciamento de projetos referente a monitoramento de ambientes utilizando várias ferramentas (Nagios, Cacti, SNMP, Centreon). Hábil no relacionamento com níveis estratégico e tático, desenvoltura no trato cliente x fornecedor. Experiente na migração e estabilização de ambientes de produção baseados em GNU-Linux/Unix e equipamentos Cisco. Conclusão dos cursos preparatórios para certificações CCNA (Univercidade) e Oracle DBA Master (Instituto Infnet). Foi professor de cursos preparatórios para certificação Linux no Instituto InfNet, Senac e ADV Informática. Colaborador no projeto de emergência contra chuvas fortes da Defesa Civil do Rio de Janeiro (pela UFRJ).

Andréia Marini

docente IFPR - Campus Palmas

Possui graduação em Bacharelado em Sistemas de Informação - Faculdades Integradas de Palmas (2002), especialização em Ciência da Computação pela Universidade Federal de Santa Catarina (2005), mestrado em Informática pela Pontifícia Universidade Católica do Paraná (2007) e doutorado em Informática pela Pontifícia Universidade Católica do Paraná (2014). Atualmente, é docente do Colegiado de Sistemas de Informação, líder do Grupo de pesquisa: NIPSIS - Núcleo Interdisciplinar de Pesquisa em Sistemas de Informação do IFPR Campus Palmas - PR e coordenadora de projetos de pesquisa/extensão que buscam aumentar a representação feminina nas áreas da Ciência e da Tecnologia.

Diogo Pereira Silva De Novais

docente

Possui graduação em Ciência da Computação pela Universidade Estadual do Sudoeste da Bahia (2012), mestrado em Modelagem Computacional em Ciência e Tecnologia pela Universidade Estadual de Santa Cruz (2016) e doutorado em Genética e Biologia Molecular pela Universidade Estadual de Santa Cruz (2023). Atualmente é professor do Instituto Federal da Bahia, atuando principalmente nos seguintes temas: Bioinformática, Aprendizagem de Máquina e Inteligência Artificial, Desenvolvimento de Sistemas Web e Robótica Educacional. Membro do Comitê Geral de Organização da Competição Brasileira de Robótica.

Rafael Akira Akisue

docente IFRO - campus Porto Velho Calama

Professor do Ensino Básico, Técnico e Tecnológico do Colegiado de Engenharia Química (CCEQ) do Instituto Federal de Ciência e Tecnologia de Rondônia (IFRO) - Campus Porto Velho Calama. Leciona nos cursos de Engenharia Química e Técnico Integrado em Química. Tem experiência na área de Engenharia Química, com ênfase em Engenharia Bioquímica e Controle e Otimização de Bioprocessos. Fez parte do programa de Pós Graduação em Engenharia Química da Universidade Federal de São Carlos (programas de Mestrado e Doutorado), na área de Simulação e Controle de Processos Químicos, sob orientação do Professor Dr. Ruy de Sousa Júnior. Durante a Pós Graduação atuou no projeto: desenvolvimento e implementação de um sistema nebuloso (''fuzzy'') para controle das vazões de ar e oxigênio no cultivo de Escherichia coli para expressão de proteínas recombinantes. Foi professor substituto no Instituto Federal de São Paulo - Campus Suzano (IFSP - SZN) lecionando nos cursos de bacharelado em química industrial, licenciatura em química e técnico integrado em química.

Suzenny Teixeira Rechene

docente

Mestra em Administração de Empresas pela Universidade de Fortaleza - UNIFOR. Possui Graduação em Administração de Empresas pela Universidade Federal do Piaui - UFPI. É Tecnóloga em Gestão de Recursos Humanos pelo Instituto Federal de Educação, Ciência e Tecnologia do Piauí - IFPI, com Especialização em Psicologia Organizacional pela Faculdade Integral Diferencial-FACID/Instituto Evaldo Lodi - IEL e Especialização em Docência para Educação Profissional, Científica e Tecnológica pelo IFPA. É Técnica em Segurança do Trabalho e Técnica em Contabilidade pelo Instituto Federal de Educação, Ciência e Tecnologia do Piauí - IFPI. Tem experiência na área de Administração, com ênfase em Inovação, Empreendedorismo, Treinamento e Desenvolvimento Profissional, Marketing, Processos e Gestão de Negócios Rurais. Interesse de pesquisa em Inovação, Indicação Geográfica, Lógica Institucional, Sustentabilidade, Economia Colaborativa e Circular, Agroindústria e Ensino e Pesquisa em Administração. Atualmente Professora efetiva do Instituto Federal de Educação, Ciência e Tecnologia do Pará - IFPA e atua também como Agente de Inovação do Campus Rural de Marabá.

Stéphane Rodrigues Dias

docente IFFar - Campus Santo Augusto

Licenciada em Letras Inglês/Português pela PUCRS/bolsista SESu e PET. Mestre em Letras - Linguística pela PUCRS/pesquisadora CNPq. Doutora em Letras - Linguística pela PUCRS/pesquisadora CNPq, com período de estágio na Rutgers University (New Brunswick, EUA)/Fulbright-Capes. Integrou o Grupo de Pesquisa 'Lógica e Linguagem Natural' (PUCRS - PPGL), com estudos na interface Comunicação/Cognição/Lógica, centrando-se nos processos inferenciais dialógicos. Em seu doutorado, através de uma posição sobre pesquisa interdisciplinar (Metateoria das Interfaces, COSTA, 2007), defendeu (i) um modelo biossocial de agência comunicativa aplicado à mediação de conflitos diplomático-políticos no Oriente Médio e (ii) o papel do diálogo artístico na mediação de conflitos. A tese resultante intitula-se "Agency via dialogue: a pragmatic, dialogue-based approach to agents". Com foco em pesquisa interdisciplinar sobre linguagem, significado e comunicação, já se dedicou ao discurso político, publicitário, literário, científico e ao discurso cinematográfico, bem como atuou em projetos na área do Audiovisual e da Computação. Integrou a comissão executiva do evento Dialogue Under Occupation VII. Atuou como Fulbright-Capes Visiting Research Student no Rutgers University Center for Cognitive Science (RuCCS - Estados Unidos). Enquanto pesquisadora Fulbright, foi selecionada para palestrar em uma escola no âmbito do projeto Global Classroom, organizado pela One to World (Nova York). Atuou como professora Substituta do Instituto Federal Farroupilha - Campus Santo Augusto, ministrando cursos em todos os níveis de ensino existentes no campus (básico: técnico, superior: tecnológico e pós). Atualmente, é professora do Instituto Federal Farroupilha Campus Uruguaiana - Letras - português/inglês e atua como Conselheira de Educação da Global Peace Foundation Brasil e como Assessora de Relações Internacionais Substituta do IFFar.

Thiago Alves Rocha

docente IFCE - Campus Maracanaú

Possui Graduação em Computação pela Universidade Federal do Ceará (2011), Mestrado em Ciência da Computação pela Universidade Federal do Ceará (2014) e Doutorado em Ciência da Computação pela Universidade Federal do Ceará (2019). Atualmente é professor do Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE) no Campus Maracanaú. Tem experiência na área de Lógica em Ciência da Computação, com ênfase em Representação do Conhecimento, Raciocínio Automatizado, Teoria dos Modelos Finitos e Síntese de Fórmulas Lógicas.