UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL Instituto de Informática Departamento de Informática Teórica

Transcrição

1 Área: Ciência da Computação Teoria da Computação - Linguagem Formais e Autômatos DISPOSIÇÕES GERAIS O processo seletivo para Professor Substituto do do Instituto de Informática constará de 3 provas, nas quais serão atribuídas a cada candidato notas de 0 a 10, e que serão realizadas na seguinte ordem: 1. PROVA ESCRITA (eliminatória) peso 4 As seguintes disposições se aplicam à prova Escrita: A prova terá a duração de 4 (quatro) horas A prova deverá ser redigida à mão e usando caneta, em folhas fornecidas pelo Departamento, previamente rubricadas pelo Chefe do Departamento. Anotações e rascunhos deverão ser feitos nestas mesmas folhas e deverão ser entregues junto com a prova ao final da mesma. Não será permitida consulta a livros nem anotações durante a realização da prova As provas serão corrigidas pela Comissão Examinadora em sessão fechada A nota mínima para aprovação é 7,0 (sete); os candidatos que não atingirem esta nota serão eliminados do processo e não participarão das demais provas. Critérios de avaliação da prova escrita: Domínio dos temas solicitados Desenvolvimento do texto da prova de forma clara, completa, coesa e no tempo especificado 2. ANÁLISE DE CURRÍCULO (sessão fechada) peso 3 Critérios de avaliação (ver disposições para pontuação, adiante): Experiência didática e/ou experiência profissional na área Titulação Trabalhos publicados 3. ENTREVISTA (sessões individuais com cada candidato) peso 3 Critérios de avaliação: Clareza na exposição Capacidade de expressão oral Segurança na arguição A duração da entrevista será de, no máximo, 20 minutos. O sorteio da ordem das entrevistas será feito no ato de abertura do processo seletivo e os horários das mesmas constarão do cronograma a ser elaborado após o encerramento das inscrições. Disposições Gerais, Programa e Disposições para a Prova Escrita, Disposições para Pontuação no Exame de Títulos e Trabalhos Página 1 de 5

2 PROGRAMA DA PROVA ESCRITA O prova escrita irá cobrir as seguintes matérias fundamentais da Computação: Linguagens Formais e Autômatos Teoria da Computação LINGUAGENS FORMAIS E AUTÔMATOS -Linguagens e gramáticas -Linguagens regulares -Propriedades de linguagens regulares -Autômato finito com saída -Linguagens livres de contexto -Propriedades e reconhecimento de linguagens livres de contexto -Linguagens recursivamente enumeráveis e sensíveis ao contexto -Hierarquia de classes de linguagens Bibliografia 1. Hopcroft, John E.; Ullman, Jeffrey D.; Motwani, Rajeev - Introdução à teoria de autômatos, linguagens e computação - Editora Campus 2. Menezes, Paulo Fernando Blauth - Linguagens formais e autômatos. 6ªEdição. Editora Bookman TEORIA DA COMPUTAÇÃO - Noções de programas e máquinas - Noção de computabilidade efetiva - Máquina de Turing - Tese de Church - Funções recursivas - Solucionabilidade de problemas Bibliografia 1. Lewis, Harry R.; Papadimitriou, Christos H. - Elementos de teoria da computação, 2ªEdição, Editora Bookman 2. Divério, Tiaraju A.; Mnemezes, Paulo F. Blauth. Teoria da computação máquinas universais e computabilidade. 3ªEdição. Editora Bookman, 2011 Disposições Gerais, Programa e Disposições para a Prova Escrita, Disposições para Pontuação no Exame de Títulos e Trabalhos Página 2 de 5

3 DIRETRIZES DE PARA O EXAME DE TÍTULOS E TRABALHOS I TITULAÇÃO (peso 3,0) MÍNIMA MÁXIMA Doutorado na área do 1,0 2,5 Doutorado em outras áreas 0,1 0,2 Graduação na área de computação 0,2 0,5 Outros cursos de graduação 0,01 0,2 II. EXPERIÊNCIA PROFISSIONAL (peso 1,0) Atividades docentes em pós graduação na área do Atividades docentes em graduação na área do Orientação de alunos (iniciação científica, trabalho de conclusão de curso, mestrado ou doutorado) na área do Participação como coordenador em projetos de pesquisa na área do Participação em projetos de pesquisa na área do Bolsas de pesquisa (pós doutorado, pesquisador associado ou similar) na área do concurso ou área afim. Atividades como profissional ou estágios na área de computação. Aprovação em concursos para docente universitário. Participação em atividades ou projetos de extensão. MÍNIMA MÁXIMA 0,01 0,5 0,01 0,5 0,01 0,2 0,01 0,2 Disposições Gerais, Programa e Disposições para a Prova Escrita, Disposições para Pontuação no Exame de Títulos e Trabalhos Página 3 de 5

4 DIRETRIZES DE PARA O EXAME DE TÍTULOS E TRABALHOS (continuação) III. PRODUÇÃO INTELECTUAL (*) (peso 5,5) MÍNIMA MÁXIMA Livro publicado na área de computação, onde o 0,01 1,0 candidato é um dos autores. Publicação internacional na área de computação, 0,01 0,5 nas formas de capítulo de livro científico, organização ou edição de livro científico ou didático. Publicação nacional na área de computação, nas 0,01 0,15 formas de capítulo de livro científico, organização ou edição de livro científico ou didático. Artigo em periódico científico internacional na 0,01 1,0 área de computação, com comissão editorial, publicado há menos de cinco anos da data de realização do Artigo em periódico científico internacional na 0,01 0,5 área de computação, com comissão editorial, publicado há mais de cinco anos da data de realização do Artigo em periódico científico internacional em área afim à computação, com comissão editorial. Artigo em periódico científico nacional na área de 0,01 0,5 computação, com comissão editorial, publicado há menos de cinco anos da data de realização do Artigo em periódico científico nacional na área de 0,01 0,25 computação, com comissão editorial, publicado há mais de cinco anos da data de realização do Artigo em periódico científico nacional em área 0,01 0,15 afim à computação, com comissão editorial. Artigo em anais de congresso, simpósio e outros 0,01 0,8 eventos científicos internacionais na área de computação publicado há menos de cinco anos da data de realização do Artigo em anais de congresso, simpósio e outros 0,01 0,4 eventos científicos internacionais na área de computação publicado há mais de cinco anos da data de realização do Patentes na área de computação. 0,01 0,5 Prêmios e distinções de natureza técnico 0,01 0,2 científica na área do Produtos desenvolvidos na área de computação. 0,01 0,1 Outro tipo de produção científica avaliada por 0,01 0,1 sistema de revisão por pares na área do Disposições Gerais, Programa e Disposições para a Prova Escrita, Disposições para Pontuação no Exame de Títulos e Trabalhos Página 4 de 5

5 DIRETRIZES DE PARA O EXAME DE TÍTULOS E TRABALHOS (continuação) IV. OUTRAS ATIVIDADES (peso 0,5) MÍNIMA MÁXIMA Atividades de coordenação ou participação em (i) comitê de organização, ou (ii) comitê de programa, ou (iii) comitê científico de eventos, ou (iv) corpo editorial na área do concurso ou área afim. Atividades de participação em diretorias ou 0,01 0,1 conselhos de sociedades científicas na área do Atividades de avaliação como parecerista ou 0,01 0,2 consultor de órgão de fomento ou instituição de ensino e/ou pesquisa. Atividades de avaliação e revisão de artigos científicos para revistas e/ou conferências, congressos, simpósios científicos, workshops e similares na área do Coordenação ou participação em conselhos e 0,01 0,1 órgãos colegiados universitários. Outras atividades de relevância na área do 0,01 0,1 (*) Observações: Ao ponderar a produção científica, a banca deverá considerar, além da qualidade do veículo, também a contribuição do candidato na produção (quando produção em coautoria), bem como a proximidade da área da produção com a área do Para pontuação dos artigos científicos, a publicação deve ter qualidade que ao menos permita sua inclusão no Qualis/CAPES. As pontuações mínima e máxima indicadas são relativas a cada item avaliado (publicação, produto, prêmio ou patente). Disposições Gerais, Programa e Disposições para a Prova Escrita, Disposições para Pontuação no Exame de Títulos e Trabalhos Página 5 de 5