FUNDAÇÃO UNIRG

PRÓ-REITORIA DE GRADUAÇÃO E EXTENSÃO

PROCESSO SELETIVO SIMPLIFICADO Nº. 08/2013

PREENCHIMENTO DE VAGA PARA DOCENTE DO ENSINO SUPERIOR - CIÊNCIA DA COMPUTAÇÃO

I - INSCRIÇÕES

Período: 28/01/2013 a 03/02/2013

Pelo endereço eletrônico pgrad@unirg.edu.br por meio de envio do currículo.

II - REQUISITOS

Currículo Lattes atualizado.

Disponibilidade para lecionar nos períodos das disciplinas ofertadas.

Possuir Graduação em Engenharias (Computação, Telecomunicações), Computação (Ciência da Computação, Sistemas de Informação e Tecnólogo em nível superior). Especialização, Mestrado ou Doutorado em Computação.

III - VAGAS

Será disponibilizada 01 vaga:

IV - REMUNERAÇÃO

Os vencimentos serão de acordo com o Plano de Cargos e Salários da Instituição.

V - DISCIPLINAS OFERTADAS

VI - SELEÇÃO

A seleção será realizada em três etapas, a saber:

1 - Análise curricular - Etapa eliminatória.

2 - Prova didática - Os candidatos aprovados na etapa 1 deverão ministrar uma aula teórica de 25 a 30 minutos sobre um tema referente às disciplinas ofertadas para o processo seletivo (ANEXO I).

O tema da prova didática será divulgado juntamente com a convocação para a segunda etapa.

Na prova didática os candidatos deverão apresentar 4 cópias do plano de aula e do currículo para os membros da banca.

3 - Entrevista - Logo após a prova teórica.

As datas e horários das bancas serão divulgados juntamente com o resultado da primeira etapa (análise de currículo) por email e/ou pelo site da UNIRG. Os horários das apresentações obedecerão à ordem das inscrições.

Será disponibilizado expositor multimídia.

VII - RESULTADO

O resultado da seleção será divulgado no site da UNIRG.

O processo seletivo será conduzido por uma comissão composta por dois docentes do respectivo curso, um representante do corpo discente e um representante da Pró-Reitoria de Graduação e Extensão.

Eventuais recursos deverão ser protocolados pessoalmente na Pró-Reitoria de Graduação e Extensão, devidamente fundamentados, no prazo máximo de 24 horas após a divulgação do resultado.

*OBS: O processo seletivo em questão refere-se à contratação, não tendo valor de concurso público.

*À PGRAD compete conduzir o processo de seleção em consonância com as Coordenações dos Cursos e encaminhar o resultado à Fundação UNIRG, que procederá a efetivação do contrato.

Informações: Telefone (63) 3612-7686
pgrad@unirg.edu.br

Gurupi, 28 de janeiro de 2013.

Jean Carlo Ribeiro
Pró-Reitor de Graduação e Extensão
Centro Universitário UNIRG

ANEXO I

Ementa e bibliografia das disciplinas ofertadas:

1. Compiladores

Ementa: Pré-processamento. Análise léxica. Análise sintática. Análise semântica. Linguagens intermediárias. Geração e otimização de código intermediário e objeto. Recuperação de erros.

Bibliografia:

GRUNW, Dick; et al. Projeto moderno de compiladores: implementação e aplicações. Rio de Janeiro: Campus, 2001. 671 p. ISBN 85-352-0876-3.

AHO, Alfred V; SETHI, Ravi; ULLMAN, Jeffrey D. Compiladores: princípios, técnicas e ferramentas. Rio de Janeiro: Guanabara Koogan, 1995. 344 p. ISBN 85-216-1057-2.

AHO, A.V.; SETHI, R. & ULLMAN, J. D. Compilers - Principles, Techniques and Tools. Addison-Wesley, 1986.

HOLMES, J. Object-Oriented Compiler Construction. Prentice Hall, 1995.

PITTMAN, T. & PETERS, J. - The Art of Compiler Design. Prentice-Hall International, 1992.

JONES, R. E. e LINS, R. D. Garbage Collection: Algorithms for Dynamic Memory Management. John Wiley & Sons, 1999.

BENETT, J. P. Introduction to Compiling Techniques - A First Course Using Ansi C, Lex and Yacc. McGraw-Hill, 1990.

MAK, R. Writing Compilers and Interpreters. John Willey and Sons, 1996.

APPEL, A. W. Modern Compiler Implementation in Java. Cambridge University Press, 1998.

HOLUB, A. Compiler Design in C. Prentice-Hall, 1990.

WATSON, D. High-Level Languages and Their Compilers. Addison-Wesley, 1989.

2. Introdução a Programação em Tempo Real

Ementa: Estudar modelos de concorrência e mecanismos de comunicação e sincronização entre processos/objetos concorrentes. Conceitos básicos: processos, "threads", interrupções, escalonamento. Modelos de concorrência. Semântica e implementação de mecanismos de comunicação. Problemas de programação concorrente: "deadlock", alocação de recursos, leitura e escrita concorrente, exclusão mútua. Algoritmos baseados em variáveis compartilhadas. Algoritmos baseados em envio de mensagens.

Bibliografia

SHAW, Alan C. Sistemas e software de tempo real. Porto Alegre: Bookman, 2003. 240 p. ISBN 85- 363-0172-

G.R. Andrews, CONCURRENT PROGRAMMING: PRINCIPLES AND PRACTICE, Benjamin Cummings, 199.

3. Teoria da Computação

Ementa: Programas, máquinas e funções computadas: conceitos, propriedades. Máquinas universais. Funções recursivas. Teorema de Cook: princípio da redução e classes de complexidade. Complexidade de Algoritmos Tese de Church. Classes de solucionabilidade de problemas. Algoritmos Gulosos, programação Dinâmica, heurísticas.

Bibliografia

TOSCANI, Laira Vieira. Complexidade de algoritmos: análise, projeto e métodos. Porto Alegre: Sagra Luzzatto/UFRGS, 2002. 202 p. (Série livros didáticos; 13). ISBN 85-241-0649-2.

GREENLAW, R.; HOOVER, H. J. Fundamentals of the theory of computation: principles and practice. Morgan Kaufmann, 1998.

BIRD, R. Programs and Machines: an Introduction to the Theory of Computation. John Wiley & Sons, 1974.

MANNA, Z. Mathematical Theory of Computation. McGraw-Hill, 1974.

4. Linguagens Formais e Autômatos

Ementa: Linguagens regulares, livres de contexto e recursivas. Operações e propriedades de linguagens. Geradores de linguagens: expressões regulares, gramáticas livres de contexto, gramáticas irrestritas. Reconhecedores de linguagens: autômatos finitos, autômatos de pilha, Máquina de Turing. Ambigüidade. Árvores sintáticas.

Bibliografia

HOPCROFT, John E; ULLMAN, Jeffrey D; MOTWANI, Rajeev. Introdução à teoria de autômatos, linguagens e computação. Rio de Janeiro: Campus, 2002. 560 p. ISBN 85-352-1072-5.

SUDKAMP, T. Languages and Machines: an Introduction to the Theory of Computer Science. Addison-Wesley,1996.