Área: Lógica Aplicada à Computação

Edital CCAE No. 10/2011

Processo Seletivo Simplificado para Professor Substituto

Inscrições

Período: de 21 a 27 de Dezembro de 2011. (Sugerimos que você submeta sua inscrição pelos correios)

Requerimento de Inscrição: requerimento_de_inscricao.doc

Horário: 09:00h às 13:00h.

Local: Universidade Federal da Paraíba (CCAE – Centro de Ciências Aplicadas e Educação) / Departamento de Ciências Exatas; sede de Rio Tinto/PB (Endereço: Rua da Mangueira, s/n, Centro – Companhia de Tecidos Rio Tinto, CEP 58297-000), Fone: (83) 3291-1805

❗ ATENÇÃO: Para obter mais informações sobre o concurso, leia com atenção o EDITAL, a Resolução 02/2002 do CONSEPE, com as alterações da Resolução 53/2007, e a RESOLUÇÃO Nº 50/2007 do CONSEPE.

Informações e Calendário de provas

Atenção: As datas e programações dos concursos podem mudar sem aviso prévio.

Lógica Aplicada a Computação
  • Datas: 02 e 03 de fevereiro de 2012 (Confirmado)
  • O sorteio do ponto para a prova didática será realizado no bloco de estatística, no CCEN (Campus I) – João Pessoa, às 9h do dia 02 de fevereiro de 2012.
  • A prova didática será realizada às 9h do dia 3 de fevereiro de 2012, em Rio Tinto. (Procure a coordenação de computação e sistemas para saber em que sala será realizada a prova).
  • Banca:
    • Titulares
      • Rodrigo Rebouças de Almeida
      • Andrei Formiga
      • José Jorge Dias
    • Suplentes
      • Carlos Dias
      • Ayla Rebouças
      • Alisson Brito
    • Pontos para a prova didática:
      1. Lógica proposicional: sintaxe; semântica; propriedades semânticas;
      2. Lógica de predicados: sintaxe e semântica; modelos; propriedades semânticas;
      3. Sistemas dedutivos: sistemas de Hilbert; dedução natural; corretude e completude;
      4. Aplicações computacionais da lógica;
      5. Programação lógica e Prolog.

Contato

No caso de dúvidas, envie um e-mail para: Comissão de concursos do Departamento ou Chefia do Departamento telefone para (83) 3291-4506 (Departamento de Ciências Exatas).

Sobre o Centro de Ciências Exatas e Educação

More em João Pessoa e trabalhe em Rio Tinto

Resultados

Inscrições
Nome Resultado
José Raphael Teixeira Marques Deferido
José Leandro Silva de Melo Indeferido
Resultado
Nome Resultado
José Raphael Teixeira Marques Aprovado e Classificado