Resultados para “'TARSKI'”

Rogério Melo Nepomuceno

docente IFTM - Campus Avançado Uberaba Parque Tecnológico

Possui graduação em Tecnologia em Processamento de Dados pela Universidade de Uberaba (1991), mestrado em Engenharia Elétrica pela Universidade Federal de Uberlândia (1997), na área de Processamento da Informação, e doutorado em computação pela Universidade Federal Fluminense, na área de Otimização de Algoritmos. Atuou como professor, regime CLT, nos cursos de Tecnologia em Processamento de Dados, Sistemas de Informação e Engenharia de Computação da Universidade de Uberaba, de 1992 a 2009. Ingressou para o serviço público em 2008, no Campus Cabo Frio (RJ), do Instituto Federal de Educação, Ciência e Tecnologia Fluminense (antigo CEFET Campos - UNED Cabo Frio), onde permaneceu até 2010, ministrando aulas nos cursos técnicos de eletromecânica e Petróleo e Gás. Atualmente compõe o quadro docente do Instituto Federal de Educação, Ciência e Tecnologia do Triângulo Mineiro (IFTM), estando lotado campus Uberaba - Parque Tecnológico, em Uberaba (MG), ministrando aulas nos cursos de Tecnologia em Análise e Desenvolvimento de Sistemas e Engenharia de Computação. Tem experiência em desenvolvimento de sistemas de informação hospitalares e laboratoriais, devido a sua atuação profissional como analista de sistemas da Fundação de Ensino e Pesquisa de Uberaba (MG), onde participou em projetos em parcerias com a Faculdade de Medicina do Triângulo Mineiro (FMTM), hoje Universidade Federal do Triângulo Mineiro (UFTM), de 1989 a 2001.Suas áreas de interesse são Otimização de Algoritmos, Lógica Computacional, Teoria da Computação e Linguagens de Programação.

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.