PREENCHIMENTO DE VAGA PARA DOCENTE DO ENSINO SUPERIOR - CIÊNCIA DA COMPUTAÇÃO
I - INSCRIÇÕES
Período: 09/01/2013 a 15/01/2013
Pelo endereço eletrônico pgrad@unirg.edu.br por meio de envio do currículo.
No ato da inscrição o candidato deverá indicar o bloco ao qual deseja concorrer.
Cada candidato poderá concorrer em apenas um bloco de disciplinas.
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ão disponibilizadas 02 vagas:
- Bloco I - 01 vaga de 20 horas semanais;
- Bloco II - 01 vaga de 40 horas semanais.
IV - REMUNERAÇÃO
Os vencimentos serão de acordo com o Plano de Cargos e Salários da Instituição.
V - DISCIPLINAS OFERTADAS
BLOCO I
CURSO | DISCIPLINA | DIA DA SEMANA | HORÁRIO |
Ciência da Computação | Estatística e Probabilidade para Computação | Quarta-feira | 19:15 às 22:45 |
Álgebra Linear | Quarta-feira | 21:05 às 22:45 | |
Cálculo Diferencial e Integral | Quinta-feira | 19:15 às 22:45 |
BLOCO II
CURSO | DISCIPLINA | DIA DA SEMANA | TURNO |
Ciência da Computação | Compiladores | Segunda-feira | 19:15 às 20:55 |
Introdução a Programação em Tempo Real | Segunda-feira | 21:05 às 22:45 | |
Processamento de Imagens | Terça-feira | 19:15 às 22:45 | |
Teoria da Computação | Quarta-feira | 19:15 às 22:45 | |
Linguagens Formais e Automatos | Quinta-feira | 19:15 às 22:45 | |
Multimídia e Hipermídia | Sexta-feira | 19:15 às 22:45 | |
Computação Gráfica | Sábado | 14:05 às 17:40 |
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, 09 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:
BLOCO I
1. Calculo Diferencial e Integral
Ementa: Tangente, derivada, velocidade, limites, continuidade, regras de derivação, comportamento das funções(máx, mín, inflexão), conceito de superfícies e derivadas parciais, integrais indefinidas, integrais definidas e áreas, regras de integração, seqüências, séries e convergência, aproximação de funções, mínimos quadrados, interpolação polinomial, integração numérica.
Bibliografia
BORTOLOSSI, Humberto José. Cálculo diferencial à várias variáveis: uma introdução à teoria da otimização. Rio de Janeiro: PUC-Rio, 2002. 618 p. ISBN 85-15-02442-X.
STUART, J. (ed.). Cálculo. Vol. I, 4. Pioneira Thompson Learning, 2001.
STUART, J. (ed.). Cálculo. Vol. II, 4. Pioneira Thompson Learning, 2001.
ANTON, H. Cálculo: um novo horizonte. 6ª edição. Vol. 1. Artes Médicas (Bookman), 2000.
SWOKOWSKI, E. W. Cálculo com Geometria Analítica. Vol. 1. São Paulo: McGraw-Hill, 1994.
2. Álgebra Linear
Ementa: Sistemas de Coordenadas. Mudança de referencial. Vetores no R2 e no R3. Estudo das retas. Estudo do plano. Lugares geométricos - reta e curvas planas, curvas e superfícies no espaço. Sistemas de equações lineares. Matrizes. Transformações Lineares. Autovalores e Autovetores. Espaços vetoriais.
Bibliografia
KOLMAN, B. Introdução a Álgebra Linear com Aplicações.- 6ª Ed. Livros Técnicos e Científicos Editora S.A.
MOORE, H.G. A first course in Linear Algebra with application. Academic Press, 1998.
PENNEY, R.C. Linear Algebra - Ideas and Applications. John Wiley & Sons, 1998.
LIMA, E. L. Álgebra Linear. 2.ed. Rio de Janeiro: IMPA, 1996.
LEHMANN, C. H. Geometria Analítica. 7.ed. São Paulo: Globo, 1991.
3. Estatística e Probabilidade para Computação
Ementa: Probabilidade e probabilidade condicional. Variáveis aleatórias discretas e contínuas. Medidas de posição e de dispersão. Distribuições. Processos estocásticos e cadeias de Markov. Planos e distribuições amostrais. Estimação. Teste de hipóteses. Correlação.
Bibliografia
FONSECA, Jairo Simon da; MARTINS, Gilberto de Andrade. Curso de estatística. 6. ed. São Paulo: Atlas, 1996. 320 p. BS. ISBN 85-224-1471-8.
James, Barry. Probabilidade: um curso em nível intermediário. [S.l.]: Impa, 1996. 289 p. BS. ISBN 85-244-0101-X.
SPIEGEL, M. R.. Estatística. 3.ed. São Paulo: McGraw-Hill, 1993.
MENDENHALL, W. Probabilidade e Estatística. Ed. Campus, vol. I, 1985.
MORETTIN, L.G. Estatística Básica. Volume I: Probabilidade, 7ª Edição. Makron Books, 1999.
MEYER, P. Probabilidade, Aplicações à Estatística. Rio de Janeiro: LTC - Livros Técnicos e Científicos, 1983.
FELLER, W. Probabilidades. Edgar Blucher, 1976.
ROSS, S. M. Introduction to Probability and Statistics for Engineers and Statistics. Academic Press. 2000.
BLOCO II
1. Processamento de Imagens
Ementa: Dotar o aluno com a capacidade de resolver problemas que envolvam a utilização de imagens, nos diversos campos de aplicação. Percepção visual e formação da imagem. Amostragem e quantização.Imagem binária. Transformações de imagens. Realce de imagens. Filtragem. Restauração de imagens. Interpretação de Imagens.
Bibliografia
GONZALEZ, Rafael C; WOODS, Richard E. Processamento de imagens digitais. São Paulo: Edgard Blücher, 2000. 509 p. ISBN 85-212-0264-4
BAXES, G.A. Digital Image Processing, Principles and applications. 1994.
RUSS, J.C. The Image Processing Handbook. 1992
SID-AHMED, M.A. Image Processing, Theory, Algorithms and Archtectures,1995.
2. 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.
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. 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.
5. 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.
6. Computação Gráfica
Ementa: Sistemas Gráficos e Modelos. Dispositivos de Entrada e Saída. Modelagem de Sólidos. Iluminação, Sombreamento e Texturas. Técnicas de Interação. Visualização. Programação usando uma linguagem Gráfica orientada a objetos. Transformações Geométricas. Modelagem de curvas e superfícies. Algoritmos básicos.
Bibliografia
HEARN, D., BAKER, M. P.Computer Graphics - C version. New Jersey, Prentice-Hall, 1997.
ANGEL, E. Interactive computer graphics: A top-down approach with open GL. New York, Addison Wesley Longman, 1997.
GOMES, J.; VELHO, L. Computação Gráfica Volume 1. Série Computação e Matemática, SBM/IMPA, 1998.
VELHO, L.; GOMES, J. Sistemas Gráficos 3D. Série Computação e Matemática, SBM/IMPA, 2001.
FOLEY, J.D. et al. Computer graphics: Principles and Practice. 2ª ed.: New York, Addison Wesley Longman,1996.
7. Multimídia e Hipermídia
Ementa: Conceitos de Mídia e de Comunicação. Conceitos de Multimídia, Hipertexto e Hipermídia. Caracterização dos diferentes tipos e formatos de mídia. Ferramentas para produção e edição de Mídias. Planejamento e projeto de aplicações em multimídia e hipermídia. Arquitetura e Modelagem de Sistemas Hipermídia. Conceitos de Programação Visual. Hipermídia na Internet. Aplicações em diferentes áreas.
Bibliografia
GOMES, Fábio Lúcio Soares. Videoconferência: sistemas e aplicações. Florianópolis: Visual Books, 2003. 328 p. ISBN 85-7502-100-1.
NIELSEN, J. Multimedia and Hypertext. Academic Press. 1995
BUFORD, J. F. K. - Multimedia Systems - Addison-Wesley, 1994.
OLSEN, G. - Getting started in Multimedia design. - Cincinnati - North Light Books, 1997.
ENCARNAÇÃO, J. L.; FOLEY J. D. - Multimedia: system architectures and applications - Berlin - Springer- Verlag, 1994.
FURHT, B.; SMOLIAR, S. W.; ZHANG, H. - Video and image processing in multimedia systems. - Boston -Kluwer Academic, 1995.
BEGAULT, D. R., - 3D sound for virtual reality and multimedia. - Boston - AP Professional, 1994.
WEINMAN, L. - Designing Web Graphics.3 How to prepare images and media for the Web - New Riders, 1999.
MILENKOVIC, B. F. - A guided tour of multimedia systems and applications - Washington - IEEE Computer Society Press, 1995.
LOPUCK, L. Designing Multimedia. Peachpit Press. 1996