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

Processo Seletivo Simplificado para Professor Substituto

Conheça o Departamento de Ciências Exatas

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.

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

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

* No caso de dúvidas, envie um e-mail para: Comissão de concursos do DCE ou telefone para (83) 3291-1528.

Clique aqui

• Rio Tinto fica a aproximadamente 50 mins de João Pessoa
• Veja fotos de João Pessoa
• Conheça a Paraíba
• Um pouco sobre a cidade de Rio Tinto
• Site da Empresa Paraibana de Turismo (PBTur)