Ciência da Computação

Carga Horária

64 horas.

Professores

• NELSON CARVALHO SANDES

Ementa

Introdução a lógica de programação. Algoritmos. Resolução de problemas. Fluxogramas. Conceitos básicos de linguagens de programação. Entrada e saída. Tipos básicos de dados. Operadores e expressões. Estruturas condicionais. Estruturas de repetição. Funções. Noções de estruturas de dados: vetores e matrizes. Técnicas básicas de boa programação. Tratamento de erros.

Bibliografia

• Flavio Varejão. Introdução à programação: Uma nova abordagem usando C. 1ª. Elsevier. 2014

Carga Horária

96 horas.

Professores

• FRANCISCO PEREIRA CHAVES

Ementa

Números reais e funções. Limite e Continuidade. Derivada. Regras de Derivação. Funções Inversas. Teorema do Valor Médio. Máximos e Mínimos e Aplicações. Construção de Gráficos. Regra de L’Hôspital. Fórmula de Taylor. Primitivas. Integral definida. Teorema Fundamental do Cálculo. Teorema da Mudança de Variável. Integração por Partes.

Bibliografia

• Hamilton Luiz Guidorizzi. Um Curso de Cálculo, Vol. 1. 6. ed. LTC. 2018
• James Stewart. Cálculo, Vol. 1. 7. ed. Cengage Learning. 2013
• Geraldo Ávila. O Cálculo das Funções de Uma Variável a Valores Reais, Vol. 1. . LTC. 2003
• George F. Simmons. Cálculo com Geometria Analítica, Vol. 1. . Makron. 1996
• Louis Leithold. O Cálculo com Geometria Analítica, Vol. 1. 3. ed. Harbra. 1994

Carga Horária

64 horas.

Professores

• RAFAEL PERAZZO BARBOSA MOTA

Ementa

Visão Geral do Curso de Ciência da Computação. Sistemas de Computação, Aplicações do Compu tador e Evolução Histórica. A Informação e sua Representação.

Bibliografia

• LINK DO GOOGLE MEET PARA ATENDIMENTO DISCENTE
• PÁGINA DE ACOMPANHAMENTO DA DISCIPLINA
• LINK DO GOOGLE MEET PARA AS AULAS AO VIVO (SÍNCRONAS)
• Google Classroom - Link convite
• Ciência da Computação: Uma visão abrangente

Carga Horária

64 horas.

Professores

• PLACIDO FRANCISCO DE ASSIS ANDRADE

Ementa

Álgebra de vetores no plano e no espaço, combinação linear, retas, planos, cônicas e quádricas, coordenadas polares, cilíndricas e esféricas.

Bibliografia

• Álgebra linear no Rn e Geometria Analítica vetorial
• Álgbra Linear no Rn e Geometria analítica vetorial

Carga Horária

64 horas.

Professores

• THIAGO BRAGA MARCILON

Ementa

Relações. Técnicas de Demonstração. Princípio da Indução Finita. Contagem. Introdução à Teoria dos Grafos. Relações de recorrência.

Bibliografia

• Judith L. Gersting. Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações. 2ª edição. LTC. 2016

Carga Horária

64 horas.

Professores

• LUIS HENRIQUE BUSTAMANTE DE MORAIS
• ROBERTO HUGO WANDERLEY PINHEIRO

Ementa

Tipo abstrato de dados. Estruturas de dados simples: listas, filas e pilhas. Noções de estruturas de dados avançadas. Árvores de busca. Algoritmos de busca e ordenação. Noções básicas sobre complexidade de algoritmos.

Bibliografia

Carga Horária

64 horas.

Professores

• PLACIDO FRANCISCO DE ASSIS ANDRADE

Ementa

O método das frações parciais. Integrais Impróprias. Aplicações da integral. Sequências e séries numéricas. Séries de potências. Funções de duas e três variáveis. Limite e continuidades. Derivadas parciais. Regra da cadeia. Máximos e mínimos. Multiplicadores de Lagrange. Fórmula de Taylor para funções de duas variáveis.

Bibliografia

• Um Curso de Cálculo, Hamilton Guidorizzi, Vol 1, Vol2

Carga Horária

64 horas.

Professores

• ANTONIO CARLOS ALONGE RAMOS

Ementa

Vetores, Cinemática em 1, 2 e 3 Dimensões, Leis de Newton, Trabalho e Energia, Conservação de Energia, Centro de Massa e Momento Linear, Cinemática e Dinâmica de Rotação.

Bibliografia

• Sears & Zemansky, Young & Freedman. Física I - Mecânica. 12. Pearson. 2008
• Resnick & Halliday. Fundamento de Física 1. 3. LTC. 1994
• Notas de aula do prof. Romero

Carga Horária

64 horas.

Professores

• CLARICE DIAS DE ALBUQUERQUE

Ementa

Álgebra matricial, espaços vetoriais e equações lineares, Transformações Lineares ortogonalidade, determinantes, autovalores e auto-vetores.

Bibliografia

• José Luiz Boldrini et al.. Álgebra Linear. 3. Harbra. 1980

Carga Horária

64 horas.

Professores

• FRANCISCO ALIXANDRE AVILA RODRIGUES

Ementa

Papel da Estatística na computação. Análise Exploratória de Dados. Elementos Básicos de Teoria das Probabilidades. Variáveis Aleatórias e Distribuições de Probabilidade Discretas e Contínuas. Amostragem. Estimação e Testes de Hipóteses de Média, Variância e Proporção. Testes de Aderência, Homogeneidade e Independência. Análise de Variância. Regressão Linear Simples e Correlação.

Bibliografia

• Pedro A. Morettin & Wilson de O. Bussab. Estatística Básica. 5ª. Saraiva. 2004

Carga Horária

64 horas.

Professores

• NELSON CARVALHO SANDES

Ementa

Conceitos da lógica informal. Conceitos básicos e elementos de lógica formal proposicional, regras de inferência, fórmulas bem formadas, métodos de prova, lógica de predicados (ou de primeira ordem), sintaxe e semântica de Prolog. Noções de lógicas não-clássicas.

Bibliografia

• Mortari. Introdução à lógica. 1ª. Unesp. 2021

Carga Horária

64 horas.

Professores

• CARLOS VINICIUS GOMES COSTA LIMA

Ementa

Tabelas de dispersão, conjuntos disjuntos, heaps, árvores AVL, árvores rubro-negras, árvores B e B+.

Bibliografia

• CORMEN, T.H.; LEISERSON, C.E.; RIVEST, R.L. e STEIN, C.. Algoritmos: teoria e prática. 3ª. LTC. 2012
• SZWARCFITER, J. L.; MARKEZON, L.. Estruturas de Dados e seus Algoritmos. 3ª. LTC. 2010
• Ziviani, N.. Ziviani, N.. Projeto de algoritmos: com implementações em Pascal e C. 1ª. Thomson. 2010

Carga Horária

64 horas.

Professores

• FRANCISCO DE ASSIS BENJAMIM FILHO

Ementa

Integrais duplas, Triplas e Aplicações. Funções Vetoriais e curvas. Campos de vetores. Integral de linha. Integral de Superfície. Teoremas de Green, Gauss e Stokes.

Bibliografia

• GUIDORIZZI, Hamilton Luiz. Um Curso de Cálculo, Vol. 3. 5ª. ed. Rio de Janeiro: Editora LTC, 2007.
• STEWART, J. Cálculo, Vol. 1. 7ª. ed. São Paulo, SP: Editora Cengage Learning Edições Ltda, 2014
• STEWART, J. Cálculo, Vol. 1. 7ª. ed. São Paulo, SP: Editora Cengage Learning Edições Ltda, 2014.
• LEITHOLD, L. O Cálculo com Geometria Analítica, Vol. 2. 3ª. ed. São Paulo: Editora Harbra, 1994.
• MUNEM, M. e FOULIS, D. J., Cálculo, Vol. 1 Cálculo, 1ª ed. LTC, 1982.
• MUNEM, M. e FOULIS, D. J., Cálculo, Vol. 2 Cálculo, 1ª. ed. LTC, 1982.
• STEWART, J. Cálculo, Vol. 2. 7ª. ed. São Paulo: Editora Cengage Learning Edições Ltda, 2014.
• GUIDORIZZI, Hamilton Luiz. Um Curso de Cálculo, Vol. 3. 5ª. ed. Rio de Janeiro: Editora LTC, 2007.
• MUNEM, M. e FOULIS, D. J., Cálculo, Vol. 1 Cálculo, 1ª ed. LTC, 1982.
• LEITHOLD, L. O Cálculo com Geometria Analítica, Vol. 2. 3ª. ed. São Paulo: Editora Harbra, 1994.
• MUNEM, M. e FOULIS, D. J., Cálculo, Vol. 1 Cálculo, 1ª ed. LTC, 1982.
• MUNEM, M. e FOULIS, D. J., Cálculo, Vol. 2 Cálculo, 1ª. ed. LTC, 1982.
• STEWART, J. Cálculo, Vol. 2. 7ª. ed. São Paulo: Editora Cengage Learning Edições Ltda, 2014.
• a. a. a. a. a

Carga Horária

96 horas.

Professores

• JOB SARAIVA FURTADO NETO

Ementa

Carga elétrica, campo elétrico e a Lei de Gauss, Potencial elétrico, capacitores e dielétricos, Corrente e resistência elétricas, Campo Magnético e Lei de Ampère, Lei da Indução de Faraday e Indutância, Propriedades Magnéticas da Matéria.

Bibliografia

• Halliday. Fundamentos de Física vol 3. . LTC. 2007

Carga Horária

64 horas.

Professores

• CARLOS VINICIUS GOMES COSTA LIMA

Ementa

Sistema de Numeração. Portas Lógicas. Álgebra Booleana. Circuitos Combinacionais e Técnicas de Simplificação. Codificadores, decodificadores. Circuitos Sequenciais. Flip-Flops, registradores e contadores. Elementos de memória.

Bibliografia

• TOCCI, Ronald J.; WIDMER, Neal S.; MOSS, Gregory L.. Sistemas digitais: princípios e aplicações. 11ª. São Paulo: Pearson/ Prentice Hall. 2011

Carga Horária

64 horas.

Professores

• PAOLA RODRIGUES DE GODOY ACCIOLY
• ROBERTO HUGO WANDERLEY PINHEIRO

Ementa

Linguagens de programação. Implementação de Procedimentos e Funções. Modularização de código, depuração, teste, design de programas. Ferramentas auxiliares no desenvolvimento de programas como scripts shell, ferramentas de build e sistemas de controle de versão.

Bibliografia

• Turma no Classroom

Carga Horária

64 horas.

Professores

• CARLOS VINICIUS GOMES COSTA LIMA

Ementa

Conceitos e definições de grafos; Representação de grafos: matriz e listas de adjacências. Algoritmos de percurso em grafos. Árvore geradora mínima. Caminhos mínimos. Fluxo máximo.

Bibliografia

• SZWARCFITER, J. L. Teoria computacional de grafos: os Algoritmos. 1ª. GEN LTC. 2018
• CORMEN, T.H.; LEISERSON, C.E.; RIVEST, R.L. e STEIN, C.. Algoritmos: teoria e prática. 3ª. LTC. 2012

Carga Horária

64 horas.

Professores

• VICENTE HELANO FEITOSA BATISTA SOBRINHO

Ementa

Erros de aproximação. Zeros de funções. Solução de sistemas de equações lineares. Interpolação e aproximação. Integração numérica.

Bibliografia

• Material complementar sobre Numpy (II)
• Curso de Python da USP
• Material complementar sobre Numpy (I)
• BURDEN et al.. Análise Numérica. 10ª ed. Cengage. 2017
• CHAPRA, S. C.; CANALE, R. P.. Métodos numéricos para engenharia. 7ª ed. AMGH. 2016
• CAMPOS FILHO, F. F.. Algoritmos numéricos. 2ª ed. LTC. 2014
• CHENEY, E. W.; KINCAID, D.. Numerical mathematics and computing. 7th ed. Brooks Cole. 2013
• KINCAID, David; CHENEY, E. W.. Numerical analysis: mathematics of scientific computing. 3rd ed. AMS. 2009
• FRANCO, N. M. B.. Cálculo numérico. . Pearson-Prentice Hall. 2006
• RUGGIERO, M. A. G.; LOPES, V. L. R.. Cálculo Numérico. 2ª ed. Pearson-Makron Books. 1996
• BARROSO, L. C. et al.. Cálculo Numérico: com aplicações. 2ª ed. Harbra. 1987

Carga Horária

64 horas.

Professores

• PAOLA RODRIGUES DE GODOY ACCIOLY

Ementa

Conceitos básicos: classes, objetos, mensagens, encapsulamento, herança, polimorfismo. Programação orientada a objetos utilizando uma linguagem de programação orientada a objetos. Tratamento de Exceções. Análise e projeto orientados a objetos. Noções de padrões de projeto de software e linguagem UML.

Bibliografia

Carga Horária

64 horas.

Professores

• CAMILA HELENA SOUZA OLIVEIRA

Ementa

Introdução, breve histórico da computação, organização lógica e funcional de uma UCP (modelo Von-Neumann). Formato típico de codificação de uma instrução. Unidade Aritmética e Lógica (UAL): arquitetura típica, percursos internos, registros, funções primitivas, funcionamento básico e em ponto flutuante. Unidade de Controle, Sistemas de Memória e Unidade de Entrada e Saída e barramento de um computador. Introdução ao paralelismo e multiprocessamento.

Bibliografia

• Tanenbaum, Austin.. Organização estruturada de compuatdores. . Pearson. 2013
• William Stallings.. Arquitetura e organização de computadores. . Prentice Hall. 2010

Carga Horária

64 horas.

Professores

• RAFAEL PERAZZO BARBOSA MOTA

Ementa

Conceitos básicos: processos, threads, interrupções, escalonamento. Aspectos de Implementação e concorrência. Propriedades de segurança e imparcialidade. Modelos de concorrência. Semântica e implementação de mecanismos de sincronização. Problemas de programação concorrente: deadlock, alocação de recursos, leitura e escrita concorrente, exclusão mútua, consenso. Semântica e implementação de mecanismos de comunicação. Programação concorrente em UNIX. Algoritmos baseados em variáveis compartilhadas: Dijkstra, Peterson, consenso. Algoritmos baseados em envio de mensagens.

Bibliografia

• SISTEMA DE ACOMPANHAMENTO DA DISCIPLINA - MOODLE
• MOODLE

Carga Horária

64 horas.

Professores

• NELSON CARVALHO SANDES

Ementa

Linguagens funcionais. Funções como valores de primeira ordem; polimorfismo; ambientes e fechamentos; avaliação "adiada"; linguagens funcionais; linguagens orientadas a objetos. Tipos abstratos de dados. Módulos. Herança e hierarquias. Linguagens lógicas. Predicados, cláusulas e o modelo de unificação. Implementação dos vários paradigmas em um interpretador; compilação vs implementação. Administração de memória; pilha vs heap; coleta de lixo.

Bibliografia

• Robert W. Sebesta. Conceitos de Linguagens de Programação. 9ª. bookman. 2011

Carga Horária

64 horas.

Professores

• THIAGO BRAGA MARCILON

Ementa

Conceitos básicos: recorrências, medidas de complexidade: melhor caso, caso médio e pior caso. Técnicas gerais de projeto de algoritmos: divisão e conquista, método guloso e programação dinâmica. Classes de complexidade: P, NP e NP-completude.

Bibliografia

• Cormen, T. H. et. al.. Algoritmos: Teoria e Prática. 3ª edição. Elsevier. 2012
• Dasgupta, S. et al.. Algorithms. . McGraw-Hill. 2007

Carga Horária

64 horas.

Professores

• CAMILA HELENA SOUZA OLIVEIRA

Ementa

Conceitos básicos de Redes de Computadores: definições; terminologia; classificação; protocolos; topologias; comutação de circuitos e pacotes; uso de redes; serviços de redes; Arquiteturas de Redes e o modelo ISO/OSI. Internet e os protocolos TCP/IP; noções de comunicação de dados: meios e modos de transmissão. Interconexão de Redes e Roteamento. Controle de Congestionamento. Protocolos de Aplicação. Conceitos de segurança.

Bibliografia

• Kurose, Ross. Redes de Computadores e a Internet. . Pearson. 2010

Carga Horária

64 horas.

Professores

• THIAGO BESSA PONTES

Ementa

Conceitos Básicos: Arquitetura de um Sistema de Banco de Dados, Modelos de Dados, Linguagens de Definição e Manipulação de Dados, Usuário de Banco de Dados. Modelo Relacional. Projeto de Banco de Dados Relacional: Dependência Funcional, Chaves, Normalização, Álgebra Relacional e Linguagem SQL.

Bibliografia

• Elmasri, R.; Navathe, S. B.. Sistemas de banco de dados. 5. Pearson/Addison-Wesley.. 2006

Carga Horária

64 horas.

Professores

• RAFAEL PERAZZO BARBOSA MOTA

Ementa

Conceituação; Evolução Histórica; Estruturação de Sistemas Operacionais; A Função do Gerenciamento; Gerenciamento de Processos, Memória, Serviços, Dispositivos, Dados: Desempenho e Arquivos; Características de um Sistema Operacional; Tópicos de Sistemas Operacionais.

Bibliografia

• PÁGINA DE ACOMPANHAMENTO DA DISCIPLINA
• LINK DO GOOGLE MEET PARA AS AULAS AO VIVO (SÍNCRONAS)
• ATENDIMENTO DISCENTE (Quartas, das 10:00 as 11:00)
• Sistemas Operacionais, Série didática da UFRGS

Carga Horária

64 horas.

Professores

• NELSON CARVALHO SANDES

Ementa

Introdução à Inteligência Artificial. Agentes inteligentes. Resolução de problemas utilizando técnicas de busca. Sistemas Baseados no Conhecimento. Representação do conhecimento. Tratamento de incerteza. Aprendizado.

Bibliografia

• Stuart Russel e Peter Norving. Inteligência Artificial. 3ª. Elsevier. 2013
• Ben Coppin. Inteligência Artificial. 1ª. LTC. 2004

Carga Horária

64 horas.

Professores

• THIAGO BRAGA MARCILON

Ementa

Conceitos básicos. Linguagens regulares: autômatos determinísticos e não-determinísticos, expressões regulares. Linguagens livres de contexto: gramática, autômatos a pilha. Linguagens recursivamente enumeráveis: máquinas de Turing determinísticas e não-determinísticas. Indecidibilidade: o problema da parada.

Bibliografia

• Michael Sipser. Introdução à Teoria da Computação. 2ª. Cengage Learning. 2021

Carga Horária

64 horas.

Professores

• VICENTE HELANO FEITOSA BATISTA SOBRINHO

Ementa

Computação Gráfica; Sistemas gráficos; Primitivas gráficas e seus atributos; Transformações geométricas; Projeções paralela e perspectiva; Câmera virtual; Definição de objetos e cenas tridimensionais; O Processo de Rendering: fontes de luz; remoção superfícies ocultas; Modelos de iluminação e de tonalização; Animação Computacional; Texturas. Introdução aos Shaders programáveis.

Bibliografia

• Tutorial: OpenGL-101
• AKENINNE-MÖLLER, T. et al.. Real-Time Rendering,. 4th ed. A K PETERS. 2018
• Steve Marschner; Peter Shirley. Fundamentals of Computer Graphics. 4th ed. A. K. Peters. 2016
• PHARR, M. et al.. Physically Based Rendering: From Theory to Implementation. 3rd ed. Morgan Kaufmann. 2016
• KESSENICH, J. M. et al.. OpenGL Programming Guide. 9ª ed. Pearson. 2016
• AILEY, Michael John; CUNNINGHAM, Steve. Graphics shaders: theory and practice. 2nd ed. A K PETERS. 2011
• ROST, R. J.; LICEA-KANE, B.. OpenGL Shading Language. 3rd ed. Addison-Wesley Professional. 2009
• Jonas M. Gomes e Luiz Velho. Fundamentos de computação gráfica. . IMPA. 2008
• ANGEL, Edward. Interactive computer graphics: a topdown approach using OpenGL. . Pearson/Addison-Wesley. 2006
• HEARN, Donald; BAKER, M. Pauline. Computer graphics with OpenGL. 3rd ed. Pearson Prentice-Hall. 2004
• ANGEL, Edward. OpenGL: a primer. 2nd ed. Pearson/Addison Wesley. 2004
• AZEVEDO, Eduardo; Conci, Aura. Computação gráfica: geração de imagens. . Campus. 2003

Carga Horária

64 horas.

Professores

• PAOLA RODRIGUES DE GODOY ACCIOLY

Ementa

Introdução a Engenharia de Software. Modelos de processos de desenvolvimento de software. Planejamento e gerenciamento de software. Requisitos de software. Análise e Projeto de Software. Codificação de Software. Depuração e Testes. Refatoração e Modularidade.

Bibliografia

• Armando Fox e David Patterson. Engenharia de Software como um Serviço. 1ª. Strawberry Canyon LLC. 2017

Carga Horária

64 horas.

Professores

• JOAO ADOLFO RIBEIRO BANDEIRA
• THIAGO BESSA PONTES

Ementa

O papel do computador na sociedade contemporânea. O profissional da Informática e Ciência da Computação. Ética profissional. Acesso não autorizado: segurança e privacidade. Software livre versus software proprietário. Aplicações da tecnologia: exemplos de mudança de paradigma. Comportamento social e Internet. Questões ambientais e étnico raciais relacionadas à computação. Questões sobre a participação de mulheres na computação. Legislação e compliance na computação.

Bibliografia

• DUPAS, Gilberto. Ética e poder na sociedade da informação: de como a autonomia de novas tecnologias obriga a rever o mito do progresso. 2. Editora da Universidade Estadual de São Paulo. 2011

Carga Horária

64 horas.

Professores

Ementa

Análise Léxica. Análise Sintática. Análise Semântica. Ambientes de Execução. Geração de Código. Projeto e Implementação de um Compilador.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Elaboração de um projeto em Ciência de Computação, sob a orientação de docente da UFCA, da área de computação, ou de docente de outra Instituição de Ensino Superior desde que autorizado pelo coordenador do curso. O projeto deve compreender as fases de especificação e implementação e, quando for o caso, levantamento bibliográfico deve ser feito.

Bibliografia

Carga Horária

160 horas.

Professores

Ementa

Tópicos variados em função do campo de estágio (local do estágio).

Bibliografia

Carga Horária

96 horas.

Professores

Ementa

Elaboração de um projeto em Ciência de Computação, sob a orientação de docente da UFCA, da área de computação, ou de docente de outra Instituição de Ensino Superior desde que autorizado pelo coordenador do curso. O projeto deve compreender as fases de especificação e implementação e, quando for o caso, levantamento bibliográfico deve ser feito. Produção de monografia acerca do projeto realizado.

Bibliografia

Professores

Ementa

Teorias, métodos, técnicas e ferramentas associadas ao projeto de software enquanto atividade sistemática. Técnicas orientadas a objeto para análise e projeto de sistemas. Linguagem de modelagem unificada (UML). Padrões de Projeto.

Bibliografia

Professores

Ementa

Introdução a interação humano-computador, fundamentos teóricos, Projetos de Interação com Usuário, processo de design em IHC, Avaliação de avaliação de IHC.

Bibliografia

Professores

Ementa

Projetos de Sistemas para Web: modelo cliente-servidor, padrão MVC, arquitetura em camadas, protocolo http. Linguagens de marcação para Interface com o usuário. Servidores: web, web dinâmico e de aplicação. Linguagens de programação para Internet. Tecnologias de apoio à programação para Internet. Frameworks de programação para Internet.

Bibliografia

Professores

Ementa

Estudo de aspectos técnicos relacionados à atuação do gerenciamento de projetos nos negócios de TI. Gestão Ágil. Metodologias de Design (ADDIE, Design Thinking, System Thinking, X-Problem), Técnicas de Business gamification e Storytelling ou similares. Técnicas de gerenciamento de projetos segundo as boas práticas indicadas pelo PMI. São abordadas as áreas de conhecimento de gerenciamento da integração, escopo, tempo, custo, aquisição e riscos em projetos. Aplicação direta dos conhecimentos de gerenciamento de projetos para a atuação em projetos de tecnologia da informação, com gerenciamento de serviços de tecnologia da informação (ISO 20000 e ITIL).

Bibliografia

Professores

Ementa

Conceitos e técnicas de validação e verificação. Inspeções de software. Testes de software. Aplicação de técnicas de verificação e de validação de software.

Bibliografia

Professores

Ementa

Introdução e Motivação: Políticas e normas de segurança da informação; Sistemas de Gestão de Segurança da Informação; Ferramentas, Vulnerabilidades e Ataques: Códigos maliciosos (malware), programas de varredura (scanners), Quebradores (crackers) de senhas; Programas "farejadores" (sniffers); Firewalls, proxies e NATs (middleboxes); Ferramentas de log e auditoria; Detecção de vulnerabilidades. Segurança no Desenvolvimento de Aplicações: Segurança como parte integrante dos sistemas; Desenvolvimento e a manutenção de sistemas seguros; Controles para verificar a segurança em sistemas; Metodologias de desenvolvimento e manutenção de sistemas críticos.

Bibliografia

Professores

Ementa

Introdução e caracterização de sistemas distribuídos. Evolução histórica. Modelos arquiteturais, objetivos, aplicações e tendências modernas. Comunicação e sincronização em Sistemas distribuídos. Servidores remotos. Servidor de arquivos, diretórios, impressora, nomes, correio eletrônico, etc. Sistema de Arquivos: organização, segurança, confiabilidade e desempenho. Estudos de Casos.

Bibliografia

Professores

Ementa

Introdução ao Android, Open Handset Alliance e Android Market. Visão geral da arquitetura; a pilha de software Android; o ambiente de desenvolvimento; principais conceitos: activities, services, intents, intentfilters, contente providers, broadcast receivers, etc.. Interface do usuário, views, widgest e layouts. Capabilities, sensores, consulta ao GPS e APL de mapas.

Bibliografia

Professores

Ementa

Avaliar os aspectos pertinentes à interconexão de redes de computadores usando os protocolos de comutação e roteamento em redes de pacotes TCP/IP. Principais protocolos de transporte e aplicação.

Bibliografia

Professores

Ementa

Tipos de projetos de redes. Análise de metas, requisitos e restrições técnicas em projeto de redes; Metodologias de projetos de redes; Projeto físico e projeto lógico, mapa da rede, endereçamento e nomenclatura; Teste, otimização e documentação; Exemplos de Projeto de Rede; Execução de um projeto de rede.

Bibliografia

Professores

Ementa

Tecnologias e tipos de redes convergentes: dados, voz e vídeo. Ciclos Evolutivos das Telecomunicações. Arquitetura das redes atuais e das redes futuras para convergência de voz. Voz sobre IP (VoIP). Exemplos de serviços de redes convergentes: Skype, etc. Qualidade de Serviço (QoS): Necessidade de QoS, técnicas e mecanismos, IntServ, DiffServ. Noções de engenharia de Tráfego: MPLS.

Bibliografia

Professores

Ementa

Motivação à avaliação de desempenho de redes de computadores: finalidade, aplicabilidade, parâmetros considerados (dados de entrada e medidas de desempenho). Taxonomia das técnicas de avaliação de desempenho. Técnicas de modelagem. Soluções analíticas: processos markovianos e teoria de filas. Simulação: tipos, técnicas e dificuldades. Aspectos de medição: tipos, técnicas e ferramentas. Apresentação de resultados.

Bibliografia

Professores

Ementa

Introdução a redes sem fio. Protocolos e Mecanismos de Controle: Acesso ao Meio, Topologia, Potência e Taxa. Padronização de redes sem fio (Padrões IEEE WPAN, WLAN e WMAN). Roteamento e QoS em redes sem fio: ad hoc e infraestruturadas. Mobilidade IP, TCP móvel. Estudos de casos: redes locais, redes de sensores e redes veiculares.

Bibliografia

Professores

Ementa

Conceitos básicos sobre segurança da informação. Vulnerabilidades, ameaças e ataques. Autenticação, criptografia e assinatura digital. Aspectos de segurança para aplicações em redes TCP/IP. Políticas de segurança. Aspectos sociais da segurança de redes de computadores.

Bibliografia

Professores

Ementa

Programação do lado servidor: conhecimento de uma linguagem e padrões. Controle de sessões, cookies, request/response e conexão com BD.

Bibliografia

Professores

Ementa

Introdução. Tipos de aprendizado. Paradigmas de aprendizado. Avaliação experimental de algoritmos de Aprendizado de Máquina. Alguns algoritmos de Aprendizado de Máquina.

Bibliografia

Professores

Ementa

Utilização de ferramentas computacionais para: estatística descritiva e exploratória, amostragem, distribuições de probabilidade, testes de hipótese e modelagem de regressão.

Bibliografia

Professores

Ementa

O processo de mineração de dados. Pré-processamento, mineração e pós-processamento de dados. Aprendizado por memorização. Árvores de decisão. Classificadores baseados em regras. Avaliação do conhecimento descoberto e comparação de classificadores. Mineração de regras de associação. Agrupamento de dados (clustering).

Bibliografia

Professores

Ementa

Álgebra linear e cálculo multivariado para ciência dos dados, distribuições de probabilidade, redução de dimensionalidade, agrupamento de dados, noções de processamento de grandes volumes de dados.

Bibliografia

Professores

Ementa

Recuperação Inteligente da Informação (RII). Modelos de Recuperação da Informação. Operações com Texto. Indexação e Recuperação. Recuperação Inteligente de Informação na Web e Bibliotecas Digitais.

Bibliografia

Professores

Ementa

Problemas no processo automatizado de Interpretação e Geração de Linguagem natural. Aplicações em Tradução Automática, Sistemas de Perguntas e Respostas, Geração e Compreensão de Texto. Técnicas de Parsing (ATNs, DCGs, etc.), de representação lexical e semântica. Técnicas de planejamento e realização de sentenças. Aplicações para o Português.

Bibliografia

Professores

Ementa

Jogo na forma normal, estratégias, equilíbrio puro de Nash, estratégias dominantes, equilíbrio misto de Nash, jogos na forma extensiva, estratégia minmax, jogos repetidos, noções de jogos Bayesianos e noções de jogos cooperativos.

Bibliografia

Professores

Ementa

Ementa variável. Tópicos que estão atualmente em desenvolvimento pela comunidade acadêmica e técnicas presentes no estado-da-arte.

Bibliografia

Professores

Ementa

Ementa variável. Tópicos que estão atualmente em desenvolvimento pela comunidade acadêmica e mercado de trabalho.

Bibliografia