RCT00094 RCT00024 RCT00048 RCT00007 RCT00049 RCT00015 RCT00009 ADMINISTRACAO E ORGANIZACAO ALGEBRA LINEAR ALGORITMOS DISTRIBUIDOS ALGORITMOS EM GRAFOS ALGORITMOS RONDONICOS E APROXIMATIVOS ANALISE COMBINATORIA ANALISE E PROJETO DE ALGORITMOS A administração da empresa industrial; Administração de pessoal; Planejamento empresarial; Organização; Dinâmica Organizacional; Produtividade Industrial; Custos da Produção; Desenvolvimento do produto; Layout industrial e movimentação de materiais; Engenharia e métodos; Controle de estoques; Controle de qualidade; Manutenção das instalações industriais; Pesquisa operacional; Método PERT/CPM. Vetores em RN; espaços vetoriais; matrizes; transformações lineares; determinantes; ortogonalidade; polinômios; autovalores e autovetores; triangulação de matrizes; o teorema espectral; decomposições primárias. 1. Introdução e motivação 2. Conceitos e Modelo 3. Fundamentos de Programação Distribuída 4. Alguns Algoritmos 5. Técnicas Básicas 6. Compartilhamento de Recursos 7. Implementações. 1. Conceitos e definições de grafos; 2. Representação de grafos; 3. Busca em grafos; 4. Árvore geradora mínima; 5. Caminhos Mínimos; 6. Fluxo máximo e multifluxo; 7. Fluxo de custo mínimo. 1. Tópicos em complexidade de algoritmos; 2. Tópicos em probabilidade; 3. Métodos de Monte Carlo e de Las Vegas; 4. Classes de complexidade; 5. Algoritmos aproximativos determinísticos e randômicos. Combinações. Permutações. Arranjos. Princípio de inclusão/exclusão. Princípio de Dirichlet. Triângulo de Pascal. Binômio de Newton. 1. Técnicas de Demonstração 2. Complexidade de algoritmos; 3. Método da divisão e conquista; 4. Método guloso; 1 / 12
5. Programação dinâmica; 6. Retrocesso ("Backtracking"); 7. Classes de problemas. RCT00059 APLICACAO DE LOGICA A COMPUTACAO Lógicas para especificação e verificação de sistemas. Provadores de teoremas. Verificadores de modelos. Representação de conhecimento com Lógicas de Descrição. Processamento de Linguagem Natural. Programação em Lógica. Outras aplicações. INSTRUMENTOS DE ACOMPANHAMENTO E AVALIAÇÃO: RCT00014 ARQUITETURAS DE COMPUTADORES Máquinas virtuais; microarquitetura; construção do conjunto de instruções de máquina;montagem; visão geral de arquiteturas avançadas. RCT00035 BANCO DE DADOS Introdução aos conceitos e terminologias básicos. Modelos de dados. Modelos de dados de alto nível. Modelos de dados de implementação. Sistemas de gerência de bancos de dados. Linguagens de definição e manipulação de dados. Processamento e otimização de consultas. Processamento de transações. RCT00050 BIOLOGIA COMPUTACIONAL 1. Conceitos básicos de biologia molecular; 2. Conceitos básicos de computação; 3. Comparação de bio-seqüências e pesquisa em Banco de Dados; 4. Montagem de fragmentos de DNA; 5. Mapeamento físico de DNA; 6. Rearranjo de genomas. RCT00016 CALCULO I Funções de uma variável real. Limites. Continuidade. Derivadas. Aplicações da derivada. Fórmula de Taylor. Antidiferenciação. RCT00017 CALCULO II Integral definida. Técnicas de integração. Integrais impróprias. Equações diferenciais de primeira ordem. Equações diferenciais de segunda ordem. Equações diferenciais lineares de ordem n. RCT00160 CALCULO III - A Funções vetoriais (caminhos). Funções de várias variáveis. Continuidade. Diferenciabilidade. Fórmula de Taylor. Máximos e mínimos. RCT00092 CIENCIA E TECNOLOGIA Evolução histórica da ciência e da tecnologia; A tecnologia e o quadro estratégico Os mundial; Os conceitos básicos para compreensão da geração e transferência de tecnologia; elementos da política de desenvolvimento científico e tecnológico. RCT00011 CIRCUITOS DIGITAIS Sistemas de Numeração, Cálculo Proposicional, Álgebra Booleana, Simplificação de funções lógica, Circuitos Combinacionais, Circuitos de Chaveamento, Circuitos Seqüenciais. RCT00034 COMPILADORES Arquitetura básica de um compilador; Análise léxica; Análise sintática; Tradução dirigida por sintaxe; Geração e otimização de código. 2 / 12
INSTRUMENTOS DE ACOMPANHAMENTO E AVALIAÇÃO: RCT00045 COMPUTACAO E SOCIEDADE A Sociedade da Informação. A Internet. Informática e Telecomunicações no Brasil. Mercado, Trabalho e Oportunidades. Universalização de Serviços para a Cidadania. Educação na Sociedade da Informação. Conteúdos e Identidade Cultural. Governo ao Alcance de todos. Pesquisa e Desenvolvimento, Tecnologias-chave e Aplicações. Infra-estrutura Avançada e Novos Serviços. Análise de temas relevantes no contexto da Sociedade da Informação, tais como: exclusão digital, privacidade, ética e propriedade intelectual. RCT00040 COMPUTACAO GRAFICA Fundamentos. Imagem Digital x Vetorial. Objetos Gráficos 2D e 3D: conceitos, representações, transformações geométricas e sistemas de coordenadas. Curvas e Superfícies: paramétricas, implícitas, poligonização, noções de modelagem. Rasterização e recorte: algoritmos para rasterização de curvas e polígonos, algoritmos de recorte. Visualização e recorte 3D: modelos de câmera, transformação de visualização, recorte 3D. Realismo Visual: cálculo de visibilidade, algoritmo do pintor, Z-buffer, modelos de iluminação, mapeamento de textura. RCT00096 DIREITO DO CONSUMIDOR Dos direitos do consumidor; dos direitos básicos do consumidor; da responsabilidade por vício do produto e do serviço; da decadência e da prescrição; da desconsideração da personalidade jurídica; da proteção contratual; do sistema nacional de defesa do consumidor. RCT00095 DIREITO E INFORMATICA Legislação de proteção à propriedade intelectual de programas de computador; Lei nº 5,998, de 14/12/73, e Lei 7,646, de 18/12/87; Decreto nº 96,036, de 12/05/88. RCT00046 EMPREENDEDORISMO Desenvolvimento da capacidade empreendedora na área de Informática. Técnicas de identificação e aproveitamento de oportunidades. Aquisição e gerenciamento de recursos. Inovação. Criatividade e aprendizagem pró-ativa. Plano de negócios. RCT00037 ENGENHARIA DE SOFTWARE Engenharia de Software: histórico, objetivo, importância e principais desafios; Engenharia de Requisitos; Modelagem na Engenharia de Requisitos; Engenharia de Projeto; Modelagem na Engenharia de Projeto; A UML (Unified Modelling Language - Linguagem Unificada de Modelagem) nas engenharias de requisitos e de projeto; Ferramentas CASE (Computer-Aided Software Engineering) para elaboração de modelos de análise e de projeto. RCT00079 ENGENHARIA DE SOFWARE II Gerência de projetos: planejamento, controle, liderança e organização de equipes; Processos de desenvolvimento de software; Controle de qualidade: revisões e testes; Garantia de qualidade; Gerência de Configuração; Métricas; Reengenharia, engenharia 3 / 12
Reversa e manutenção de software; CASE (Engenharia de Software Auxiliada por por Computador) RCT00019 EQUACOES DIFERENCIAIS Sistemas de equações diferenciais. Aplicações seqüências e séries de números reais. Resoluções de equações diferenciais por séries. Transformada de Laplace. RCT00041 ESTAGIO SUPERVISIONADO Atividades na área de Informática desenvolvidas junto a pessoa jurídica de direito público ou privado. RCT00004 ESTRUTURAS DE DADOS Conceito de tipo abstrato de dado (TAD); Implementações alternativas para um mesmo TAD; TADs: Pilha, Filas, Listas, Árvores e Grafos. RCT00047 ETICA Definição e divisão da ética; Juízos da existência e de valor; Relações entre o virtude e problema da ação e o do conhecimento; O dever e o direito; A responsabilidade, o mérito, a as sanções; Doutrinas morais; A pessoa; Os deveres para consigo mesmo; A justiça e a caridade; Sociedade, bem comum e autoridade; Moral familiar, civil e internacional. RCT00027 FISICA EXPERIMENTAL I 1. Introdução às medidas físicas. 2. Determinação da trajetória de uma esfera lançada em queda livre. Interpretação funcional do gráfico e determinação da velocidade de lançamento através da análise do gráfico e comparação com a medida direta da velocidade instantânea. 3. Análise e medida de sistemas mecânicos simples de uma e duas dimensões. 4. Estudo do atrito estático: força de atrito e força de atrito máxima. 5. Pêndulo simples A. 6. Conservação do momento linear a uma dimensão observada por experimentos de colisão em trilho de ar. 7. Dinâmica da rotação. 8. Conservação do momento angular: experimentos e demonstrações experimentais. 9. Pequenas colisões: Pêndulo simples B. (a) Montagem simples, visando estabelecer correlação entre período e comprimento. (b) Determinação do ângulo e da velocidade angular em função do tempo, para o pêndulo simples nos diferentes regimes de amortecimento. Verificação da dependência funcional em função do tempo. RCT00029 FISICA EXPERIMENTAL II 1. Eletrização 2. Instrumentos de Medidas Elétrica 3. Linhas Equipotenciais do Campo Elétrico em uma Cuba 4. Circuito de Corrente Contínua 5. Força Magnética 4 / 12
6. Campo Magnético 7. Lei de Faraday 8. Circuito de Corrente Alternada RCT00026 FISICA I Introdução (2h) Cinemática unidimensional (2s); Caráter tensorial das grandezas físicas (2h); Cinemática Vetorial (4h); Leis Fundamentais da mecânica (6h); Trabalho e energia (6h); Conservação do movimento linear (6h); Colisões (4h); Rotação de corpos rígidos (I) (8h) Rotação de corpos rígidos (II) (6h) Gravitação (8h) Atrito (2h) Oscilador Harmônico (8h) RCT00028 FISICA II 1. Eletrização 2. Instrumentos de Medidas Elétrica 3. Linhas Equipotenciais do Campo Elétrico em uma Cuba 4. Circuito de Corrente Contínua 5. Força Magnética 6. Campo Magnético 7. Lei de Faraday 8. Circuito de Corrente Alternada RCT00087 FUND. DE SISTEMAS DE MULTIMIDIA Introdução, Mídias Discretas e Contínuas, Técnicas de Compactação e Compressão, Imagem Estática, Áudio, Vídeo, Sistemas Multimídia e Hipermídia, Rede Mundial ("World Wide Web"), Aplicações Multimídia Distribuídas, Infra-estrutura de Telecomunicações para Aplicações Multimídia Distribuídas. RCT00013 FUNDAMENT.DE ARQUITETURA DE Sistemas numéricos e sua representação, operações de ponto fixo e de ponto COMPUTADORES flutuante;representação de dados e códigos; elementos básicos e essenciais de arquitetura de computadores. RCT00088 FUNDAMENTOS DA ECONOMIA Noções de microeconomia; Noções de macroeconomia; Noções de contabilidade nacional; Balanço de pagamento; Sistema bancário; Banco Central e política monetária; Sistemas econômicos alternativos. 5 / 12
RCT00089 FUNDAMENTOS DE ENGENHARIA ECONOMICA Matemática financeira; Análise de investimentos; Mercado de capitais; Análise de balanços e de empresas; análise de recursos e planejamento financeiro; Depreciação. RCT00021 GEOMETRIA ANALITICA E CALCULO VETORIAL Vetores no plano e no espaço: conceitos, operações, propriedades e aplicações. Retas, paralelismo, perpendicularismo e distâncias no plano. Transformações geométricas. Cônicas: posições canônicas, transladadas e rodadas. Retas, planos, interseções, paralelismo, perpendicularismo e distâncias no espaço. Superfícies quádricas. Breve ensaio sobre outros tipos de curvas, superfícies, coordenadas e representações no plano ou no espaço. Regiões no plano e no espaço. RCT00091 GERENCIA DE TECNOLOGIA Ciência, técnica e tecnologia; A informação tecnológica; Importância da tecnologia para a empresa; Mudança tecnológica; Geração ou compra de tecnologia; Negociações de tecnologia; Formas de contratação; Adaptação; Organização e gerenciamento do processo, o papel do Estado. RCT00039 INTELIGENCIA ARTIFICIAL Conceitos Básicos, Representação de Conhecimento: Busca, Linguagens e Plataformas de Desenvolvimento, Sistemas de Conhecimento, Redes Neurais. RCT00038 INTERFACE HUMANO-COMPUTADOR Conceitos; Padrões Ruins de Interação; Interação Humano-Computador; Estilos de Interação Princípios de Projeto ("Design"); Gestalt do Objeto; Usabilidade: Definição; Usabilidade: Teoria e Prática;Teste de Usabilidade: Estado da Arte ("Surveys"); Projeto na Web. RCT00093 INTRODUCAO A ADMINISTRACAO Evolução do conceito de administração; Empresa; Funções da empresa; Atividades de administração da empresa; Funções essenciais do administrador; Funções de administração: planejamento, organização, direção e controle; Atividades técnicas auxiliares de administração; Evolução do pensamento administrativo; Administração e desenvolvimento. RCT00065 INTRODUCAO A ANIMACAO POR COMPUTACAO Técnicas de Modelagem complexa. Modelagem fractal. Realismo visual. Animação, realidade virtual, jogos de computador. RCT00001 INTRODUCAO A CIENCIA DA COMPUTACAO Apresentação de conceitos e eventuais implementações elementares nas áreas de Armazenamento de dados, Manipulação de dados, Sistemas operacionais e redes, Algoritmos, Linguagens de Programação, Engenharia de Software, Estrutura de Dados, Estruturas de arquivo, Estruturas de Banco de Dados, Inteligência Artificial e Teoria da Computação. RCT00068 INTRODUCAO A COMPUTACAO MOVEL Introdução: problemas relacionados à mobilidade, tecnologias sem fio, tipos, arquiteturas e aplicações. Conceitos básicos: rádio-freqüência, sistemas celulares, células, multiplexão, canais, hand-off, GPRS e 802.11. 6 / 12
Roteamento e mobilidade na camada de rede. IP móvel básico, otimização, IPV6, TCP para móveis, Multcast. Redes AD-HOC: Definição, algoritmos de roteamento, multicast. Arquiteturas e software: interceptadores, adaptabilidade, desconexões, mobilidade de dados e código, middlewares. Sistemas de arquivos e políticas de caching. RCT00090 RCT00078 RCT00062 RCT00012 RCT00053 INTRODUCAO A ECONOMIA INTRODUCAO A MATEMATICA INTERVALAR LABORATORIO DE BANCO DE DADOS LABORATORIO DE CIRCUITOS DIGITAIS LABORATORIO DE PROGRAMACAO PARALELA Noções fundamentais; Esquema de uma economia de mercado; A economia ao nível microeconômico; Estudo da produção; Custos e formação de preços; Moeda e crédito; A economia ao nível macroeconômico; Relações básicas fundamentais; Macrofatores da economia agregativa; Formação do desenvolvimento econômico; Teoria e prática das operações financeiras; Conceito de juros simples, compostos e contínuos; Equivalência; Anuidades; Sistemas de amortização e resgate; Conceito de depreciação; Métodos de avaliação. Controle operacional das empresas; Controle financeiro e contábil; Análise econômico-financeira; Custos; Análise de balanços e demonstrativos; Orçamento; Aspectos do desenvolvimento econômico brasileiro; A evolução do país; Os ciclos da produção; A industrialização; Produção e exportação; Consumo interno. Espaço dos Intervalos. Operações aritméticas. Definições Topológicas. Funções Intervalares. Problemas Algébricos. Problemas Contínuos. Sistemas gerenciadores de bancos de dados construídos sobre diferentes modelos de dados, principalmente: relacional, orientado a objetos e objeto-relacional. Desenvolvimento de aplicações com acesso a banco de dados. Administração, ajuste e sintonia de banco de dados. Tópicos avançados em banco de dados. Ambientação com os kits do laboratório; Montagem de circuitos lógicos combinacionais; Montagem de Circuitos lógicos sequenciais; Apresentação de software para simulação de circuitos; Ambientação com a técnica de programação de EPLD's; Utilização de software para programação das EPLD's. Visão geral de programação paralela, Visão geral do ambiente de programação paralela MPI, Estudo de um problema que requeira computação de alto desempenho, Avaliação de métodos de solução, Desenvolvimento do programa paralelo. INSTRUMENTOS DE ACOMPANHAMENTO E AVALIAÇÃO: RCT00069 LABORATORIO DE SISTEMAS DISTRIBUIDOS O conteúdo específico será variável visando acompanhar o desenvolvimento da 7 / 12
RCT00008 RCT00073 RCT00010 RCT00023 RCT00022 RCT00051 RCT00025 RCT00076 RCT00061 LINGUAGENS DE PROGRAMACAO LINGUAGENS DE PROGRAMACAO EM LOGICA LINGUAGENS FORMAIS E TEORIA DA COMPUTAC. LOGICA PARA CIENCIA DA COMPUTACAO MATEMATICA DISCRETA METAHEURISTICAS METODOS NUMERICOS METODOS NUMERICOS II MINERACAO DE DADOS tecnologia na área. Neste sentido será dada ênfase especial a aspectos de programação de sistemas móveis baseados em pequenos dispositivos. Paradigmas de linguagens de programação; Linguagens de programação no contexto de desenvolvimento de software; Semântica formal; Expressões, Declarações, Comandos, Abstrações (funções), Tipos de dados, Exceções, Concorrência. A Linguagem Prolog; Programação em Lógica Orientada a Objetos; Uma Introdução à Programação Paralela em Lógica. A hierarquia de Chomsky, suas gramáticas e seus reconhecedores. Computabilidade. Lógica proposicional; métodos de prova para lógica proposicional; lógica de primeira ordem; métodos de prova para a lógica de primeira ordem; introdução à programação em lógica. Construções indutivas, provas por indução, relações de recorrência, conjuntos, métodos de contagem (Combinatória), relações binárias, funções (parciais e totais), ordem, grandeza de funções, estruturas algébricas. 1) Fundamentos; 2) Heurísticas construtivas; 3) Métodos de busca local; 4) Metaheurísticas; 5) Principais Metaheurísticas: 6) Extensões; 7) Aplicações. Representação de números, operações com precisão finita, sistemas lineares (métodos diretos e interativos clássicos) e não lineares, interpolação, ajuste por mínimos quadrados, integração, introdução a resolução numérica de equações diferenciais ordinárias (PVI, problemas de contorno). Modelagem de problemas: metodologias, equações de movimento e energia para o estudo de sistemas de engenharia e de ciências naturais. Projeto e implementação de aplicações. Resolução numérica de equações diferenciais Parciais. Resolução de sistemas lineares. Métodos de Montecarlo. Aplicações computacionais. Introdução aos conceitos e terminologias básicos. Processo de KDD ("Knowledge 8 / 12
RCT00052 RCT00020 RCT00064 RCT00082 RCT00006 RCT00002 RCT00003 RCT00074 RCT00043 OTIMIZACAO COMBINATORIA PROBABILIDADE E ESTATISTICA PROCESSAMENTO DE IMAGENS PROCESSAMENTO DE LINGUAGEM NATURAL PROGRAMACAO COM ARQUIVOS PROGRAMACAO DE COMPUTADORES I PROGRAMACAO DE COMPUTADORES II PROGRAMACAO PARA INTERNET PROJETO DE APLICACAO I Discovery in Databases"). Tarefas, Técnicas e Modelos de Mineração de Dados. Ferramentas de Mineração de Dados. Aplicações de Mineração de Dados. 1. Modelagem e resolução de problemas de programação linear; 2. Dualidade; 3. Programação inteira; 4. Problemas clássicos em otimizaçào combinatória; 5. Heurísticas. Estatística descritiva; probabilidade; variáveis aleatórias; distribuições, amostragem e estimação; testes de hipóteses. Fundamentos, Imagem digital: binária, em nível de cinza e colorida. Histogramas, Filtros, Transformadas. Realce de Imagens. Segmentação. Quantização. Amostragem. Sistemas de Cores. Percepção Visual. Transformações locais, globais e pontuais Análise léxica. Tagging. Análise sintática. Métodos estatísticos. Semântica. Formas lógicas. Lambda-cálculo. Conceito de arquivos; interface com os sistemas operacionais; organização primária de arquivos: arquivos em série, seqüenciais e de acesso direto; Organizações indexadas: arquivos invertidos e multi-lista; Implementação de índices; Classificação externa. Conceitos Básicos de Programação: Algoritmos e Estruturas de Dados; Comandos e Estruturas de Controle; Sub-Programação; Metodologia de Desenvolvimento de Programa ou Subprograma; Aplicações em Problemas de Pequeno Porte. Arquivos binários, tipos abstratos de dados, recursividade, alocação dinâmica de memória, implementação e acesso a bibliotecas, programação visual, programação orientada a eventos e aplicações gerais. Tipo de Dados Recursivos: Pilhas e Filas. Métodos de Ordenação Interna. Introdução à Linguagem Java. A API para Acesso a Bancos de Dados Relacionais. A API Servlet (Servlets como Controladores de Aplicações). Desenvolvimento de Páginas JSP para a Camada de Interface. variável de acordo com o Projeto a ser desenvolvido. 9 / 12
RCT00044 PROJETO DE APLICACAO II variável de acordo com o Projeto a ser desenvolvido. RCT00036 PROJETO DE BANCO DE DADOS Projetos conceitual, lógico e físico de bancos de dados relacionais e orientados a objetos. Desenvolvimento de aplicações com acesso a esses bancos de dados. RCT00098 PROPRIEDADE INDUSTRIAL E INTELECTUAL A Propriedade Intelectual: importância no contexto atual no Brasil e no mundo; Principais Tratados, Convenções e Acordos Internacionais de Proteção Industrial; Inteligência Competitiva; Proteção a softwares; Conhecimentos Tradicionais; O Sistema de Proteção Nacional para a Indústria - INPI; O que, como, por que e quando proteger?; Propriedade Industrial - Patentes, Desenho Industrial, Marcas e Indicações Geográficas; Concorrência desleal; Rota Tecnológica; Transferência de Tecnologia; Busca em Base de Patentes Nacional e Internacionais. RCT00067 REDE DE SENSORES SEM FIO Redes de sensores sem fio (RSSFs). Áreas de aplicação. Sistemas embutidos de baixo consumo. Arquitetura de comunicação sem fio. Padrões para RSSFs. Pilhas de protocolos para RSSFs. Plataformas de nós sensores. Sistemas operacionais para RSSFs. Algoritmos de localização e sincronização. Modelos de programação para RSSFs. Segurança em RSSFs. Desenvolvimento de aplicações. RCT00032 REDES DE COMPUTADORES I Introdução às Redes de Computadores e a Internet: conceitos básicos e terminologias-chave; A Camada de Aplicação; A Camada de Transporte, A Camada de Rede. RCT00033 REDES DE COMPUTADORES II A camada de enlace e redes locais; Redes sem fio e redes móveis; Segurança em redes de computadores; Rede multimídia; Gerenciamento de rede. RCT00097 RESPONSABILIDADE CIVIL Conceito de responsabilidade civil; Evolução histórica; Responsabilidade Civil Teoria contratual e extracontratual; Responsabilidade civil subjetiva; Responsabilidade civil objetiva; do risco; O dano moral e os direitos da personalidade; A responsabilidade civil no Código atual; Avanço da teoria Objetiva na Doutrina, na Jurisprudência e no Projeto de Código Civil. RCT00057 RCT00085 RCT00070 SEMANTICA DE LINGUAGENS DE PROGRAMACAO SISTEMAS DE REALIDADE VIRTUAL SISTEMAS DE TEMPO REAL Semântica operacional. Semântica denotacional. Lambda-cálculo. Semântica axiomática. Tipos de Realidade Virtual; interfaces não convencionais; aplicações de Realidade Virtual; modelagens tridimensionais; implementação de interações, animações, software para geração de código VRML. Conceitos básicos de tempo real; Considerações sobre hardware; Sistemas operacionais de tempo real; Requisitos de software; Sistemas distribuídos; Análise de desempenho. 10 / 12
RCT00031 SISTEMAS DISTRIBUIDOS Introdução; Paradigmas de programação; Paradigmas de comunicação; ação; Introdução à sincronização; Técnicas de Tolerância a Falhas; Arquiteturas Específicas; Estudo de Casos. RCT00030 SISTEMAS OPERACIONAIS Introdução; Estruturas de Hardware do computador no qual executa um Sistema Operacional; Estrutura do Sistema Operacional; Conceitos sobre processos; Processos Concorrentes; Alocação de recursos e impasse ("deadlock"); Escalonamento de UCP; Gerência de memória; Sistemas de Arquivos, Gerência de entrada e saída. RCT00005 TECNICAS DE PROGRAMACAO AVANCADA Princípios de Programação Orientada a Objetos. Padrões de Projeto Tratamento de Exceções. Aplicações e Estudo de Casos. RCT00060 TEORIA DA COMPUTABILIDADE Modelos computacionais. Funções recursivas. Lambda-cálculo. Máquinas de Turing. Máquinas de Post. Algoritmos de Markov. Combinadores. Famílias abstratas de algoritmos. Tese de Church-Turing. Problemas não-computáveis. Reduções. RCT00054 TEORIA DAS CATEGORIAS Categorias, objetos, morfismos, funtores, transformação natural, limites e co-limites, adjunções, soma amalgamada e produto fibrado, lógica categórica. RCT00077 TEORIA DOS NUMEROS Algoritmo euclidiano. Algoritmo euclidiano estendido. Fatoração. Teorema fundamental da Aritmética. Números de Mersenne e de Fermat. Aritmética modular. Pequeno teorema de Fermat. Algoritmo chinês do resto. Grupos aritméticos. Criptografia RSA. RCT00058 TIPOGRAFIA DIGITAL Padrões tipográficos de documentos técnicos e científicos de Matemática e Computação. Uso dos sistemas TeX e LaTeX. Algoritmos usados por estes sistemas. RCT00086 RCT00083 RCT00081 TOP. ESP. EM MULTIMIDIA EM REAL. VIRTUAL TOPICOS ESP. EM ARQUIT. DE COMPUTADORES TOPICOS ESP. EM INTELIGENCIA ARTIFICIAL variável em algum tópico de multimídia e realidade virtual. variável em algum tópico de arquiteturas de computadores. variável em algum tópico de inteligência artificial. RCT00071 RCT00072 RCT00055 RCT00063 RCT00056 TOPICOS ESP. EM REDE E SIST.DISTRIBUIDOS TOPICOS ESP. EM SIST. OPERACIONAIS TOPICOS ESPECIAIS EM ALGORITMOS TOPICOS ESPECIAIS EM BANCO DE DADOS TOPICOS ESPECIAIS EM COMPUTACAO variável em algum tópico de redes de computadores e sistemas distribuídos variável em algum tópico de sistemas operacionais. variável em algum tópico de algoritmos. variável em algum tópico de banco de dados. variável em algum tópico de computação 11 / 12
RCT00066 RCT00080 RCT00075 RCT00084 TOPICOS ESPECIAIS EM COMPUTACAO GRAFICA TOPICOS ESPECIAIS EM ENG. DE SOFTWARE TOPICOS ESPECIAIS EM PROGRAMACAO VISUALIZACAO, SIMULACAO E JOGOS DIGITAIS variável em algum tópico de computação gráfica. variável em algum tópico de engenharia de software. variável em algum tópico de programação. Conceitos de Real Time Rendering, Arquitetura de GPU s, Arquitetura de Game Engines, Real-Time Physics, Tratamento de Inteligência Artificial. 12 / 12