Fundação UNIRG - TO

Notícia:   Fundação UnirG - TO abre 2 vagas para Professor de Ciência da Computação

FUNDAÇÃO UNIRG

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

PROCESSO SELETIVO SIMPLIFICADO

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