Edital nº 10/2011

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

Edital CCAE No. 10/2011

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

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

Resultados

Inscrições

Resultado