Edital para seleção de bolsista substituto PID (MONITORIA)

Edital de Substituição N° 01/2018

Seleção de um bolsista remunerado e outro bolsista voluntário, ambos para a disciplina de Lógica para Computação.

Valor da Bolsa (Bolsista Remunerado): R$ 400,00

Vigência da Bolsa: 10/2018 até 12/2018

Projeto: APRENDIZAGEM EM LÓGICA E INTELIGÊNCIA ARTIFICIAL

Coordenador de Projeto: Prof. Dr. Alexandre Matos Arruda

Pré-requisitos:

• O candidato deve ter aprovação na disciplina Lógica para computação.

A seleção se dará em três etapas:

• Envio de histórico escolar para aldufc@gmail.com até dia 25/09 (terça).
• Uma prova escrita. Onde o candidato só será aprovado para a próxima etapa se obtiver nota superior à 7.
• Entrevista (se aprovado na prova escrita)

Data da prova escrita: 26/09 às 08:00 hrsData da entrevista: 26/09 às 15:00 hrs

Temas para a prova escrita (Lógica para Computação):

1. Lógica proposicional e de Primeira Ordem;

2. Formalização de problemas;

3. Sistemas dedutivos: axiomático, natural e tableaux;

4. Correção e Completude;

5. Aspectos Computacionais.

RESULTADO