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

Resultados para “'satisfatibilidade'”

Rede Integra

Natasha Do Nascimento Paiva

docente IFC - Campus Blumenau

Contrato como Professora Substituta no Insituto Federal do Rio Grande do Sul (2025 - atual), campus Feliz.Último contrato como Professor Substituto no Instituto Federal Catarinense, campus Blumenau, ministrando as disciplinas de Lógica de Programação, Programação 1 e Banco de Dados (2022-2023). Possui mestrado em Modelagem Computacional pelo Laboratório Nacional de Computação Científica (2015-2017), tendo realizado pesquisa na área criptografia, com ênfase em conversão de algoritmos criptográficos para a forma normal conjuntiva.Possui graduação em Tecnologia da Informação e Comunicação pela Faculdade de Educação Tecnológica do Estado do Rio de Janeiro (2010-2014). Possui graduação em Educação Física (2017-2021).

Carlos Roberto Teixeira Alves

docente IFRJ - Campus Volta Redonda

É DOUTOR em Filosofia com ênfase em Lógica e Teoria da Ciência pela PUC-SP; PÓS-DOUTOR em Psicologia Social pelo IP-USP-SP INSTITUTO DE PSICOLOGIA da USP na área da Teo ria da Linguagem; MESTRE em FILOSOFIA pela PUC-SP, com ênfase na Lógica, em especial SEMÂNTICA DA VERDADE de ALFRED TARSKI. Ministrou aula de Lógica e Ética na ESPG - ESCOLA SUPERIOR DA PROCURADORIA GERAL DO ESTADO DE SÃO PAULO. Professor do Programa de Pós-Graduação do IP-USP-SP na disciplina PST5955-1 - Lógica e a Natureza da Verdade. É PESQUISADOR-COLABORADOR junto ao Grupo de Pesquisa em Política Ambiental, do IEA/USP. É PESQUISADOR-COLABORADOR do Grupo de Estudos em Psicologia Social e Mundo Contemporâneo: Paradigmas Estratégias (LAPSI-PST), do IP/USP. Atualmente é DOCENTE do MNPEF - PROGRAMA DE PÓS-GRADUAÇÃO EM ENSINO DE FÍSICA da UFF UNIVERSIDADE FEDERAL FLUMINENSE; é DOCENTE do INSTITUTO FEDERAL DO RIO DE JANEIRO, campus de Volta Redonda, onde ministra FILOSOFIA DA CIÊNCIA e FILOSOFIA DA FÍSICA nas graduações de LICENCIATURA EM FÍSICA e em MATEMÁTICA e na Pós-Graduação lato sensu em ENSINO DE CIÊNCIAS e ENSINO DE MATEMÁTICA. Tem experiência na área de Filosofia, com ênfase em Lógica e Teoria da Ciência. Tem diversos livros e artigos publicados na área da Lógica e da Teoria da Ciência, autor do livro 'PARADOXOS - O mentiroso e outras histórias' em co-autoria com o Prof Dr Lafayette de Moraes, UNICAMP-SP, além de obras ficcionais diversas que concorreram a prêmios nacionais de literatura.

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