Ciência da Computação

Carga Horária

64 horas.

Professores

• CAMILA HELENA SOUZA OLIVEIRA
• NELSON CARVALHO SANDES
• THIAGO BESSA PONTES

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

Carga Horária

96 horas.

Professores

• VICENTE HELANO FEITOSA BATISTA SOBRINHO

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

• Stewart, J.. Cálculo. 2ª. Cengage. 2010
• Guidorizzi, H. L.. Um Curso de Cálculo, Vol. 1. 5ª. LTC. 2001
• Leithold, L.. O Cálculo com geometria analítica. 3ª. Harbra. 1994

Carga Horária

64 horas.

Professores

• PAOLA RODRIGUES DE GODOY ACCIOLY
• 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

• J. Glenn Brookshear. Ciência da Computação. Uma Visão Abrangente.. 11ª. Bookman. 2013

Carga Horária

64 horas.

Professores

• FRANCISCO DE ASSIS BENJAMIM FILHO

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

• Leon, S. J. Álgebra Linear com aplicações. 8ª. LTC. 2013
• Lima, Elon Lages. Geometria Analítica e Álgebra Linear. 2ª. IMPA. 2013
• Lipschutz, Seymour & Lipson Marc. Álgebra Linear. 4ª. Bookman. 2011
• Coelho, Flávio Ulhoa & Lourenço, Mary Lilian. Um Curso de Álgebra Linear. 1ª. EDUSP. 2005
• Steinbruch, Alfredo & Winterle, Paulo. Geometria Analítica. 2ª. McGraw-Hill. 1987
• Steinbruch, Alfredo & Winterle, Paulo. Geometria Analítica. 2ª. McGraw-Hill. 1987
• Steinbruch, Alfredo & Winterle, Paulo. Introdução à Álgebra Linear. 2ª. Makron Books. 1987
• Boldrine, J. L. & et al. Boldrine, J. L. & et al.. Álgebra Linear. 4ª. Harbra. 1986. 4ª. Harbra. 1986

Carga Horária

64 horas.

Professores

• THIAGO BRAGA MARCILON

Ementa

Relações. Técnicas de Demonstração. Princípio da Indução Finita. Contagem. Funções geradoras. 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. 7ª edição. LTC. 2017

Carga Horária

64 horas.

Professores

• MAXWELL GUIMARAES DE OLIVEIRA
• 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

• CORMEN, T. H. et al.. Algoritmos: Teoria e Prática. 3. Elsevier. 2012
• SZWARCFITER, L. M.; MARKENZON, L.. Estruturas de Dados e seus Algoritmos. 3. LTC. 2010
• WEISS, M. A.. Data Structures And Problem Solving Using Java. 4. Pearson. 2009
• DASGUPTA, S.; PAPADIMITRIOU, C.H.; VAZIRANI, U.V.. Algorithms. . Macgraw-Hill. 2008
• SZWARCFITER, L. M.. Estruturas de Dados e seus Algoritmos. . -. 1994
• KNUTH, D.E.. The Art of Computer Programming. . Addison-Wesley. 1973
• KNUTH, D.E.. KNUTH, D.E.. KNUTH, D.E.. The Art of Computer Programming. . Addison?Wesley. 1973. . Addison-Wesley. 1973. . Addison-Wesley. 1973

Carga Horária

64 horas.

Professores

• STEVE DA SILVA VICENTIM

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

Carga Horária

64 horas.

Professores

• JOB SARAIVA FURTADO NETO

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

• H. Moysés Nussenzveig. Curso de Física Básica. 5. Blucher. 2013

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

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

Carga Horária

64 horas.

Professores

• THIAGO BRAGA MARCILON

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

• João Nunes de Souza. Lógica para ciência da computação e áreas afins. 3ª edição ampliada. Elsevier. 2015

Carga Horária

64 horas.

Professores

Ementa

Técnica de busca hashing, union-find, árvores AVL e rubro-negras, árvores B, ordenação mergesort e keysort, compressão de dados: códigos de Huffman.

Bibliografia

Carga Horária

64 horas.

Professores

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

Carga Horária

96 horas.

Professores

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

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

Ementa

Linguagem de montagem, montadores, ligação de programas, interrupções, interface com linguagens de alto nível, interrupções, interface com hardware. Gerenciamento de compilação de programas e bibliotecas com ferramentas como make. Modularização de código. Construção de um programa de médio porte em uma linguagem procedimental. Técnicas de depuração e testes de programas. Ferramentas auxiliares no desenvolvimento de programas. Expressões regulares, geradores de analisadores léxicos, noção básica de gramáticas, geradores de analisadores sintáticos. Entrada e saída padrão, concatenação de programas através de pipelines, linguagens de processamento de texto.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Introdução a grafos. Definições básicas. Conceitos importantes de Teoria de Grafos. Grafos como estruturas de dados. Grafos Eulerianos. Algoritmo para Trilhas Eulerianas. Busca em profundidade em grafos. Algoritmo para determinar articulações e blocos de um grafo. Conceito de digrafo (grafo direcionado). Busca em profundidade em digrafos. Algoritmo para determinar componentes fortemente conexas de um digrafo. Busca em largura em grafos. Algoritmo de Dijkstra para caminhos mínimos em digrafos. Algoritmo de Floyd-Warshall para caminhos mínimos entre todos os pares de vértices de um digrafo. Programação Dinâmica para caminhos mínimos. Algoritmos de Kruskal e Prim para determinação de árvores geradoras mínimas. Algoritmos de ordenação topológica de um dígrafo acíclico. Fluxos em redes. Emparelhamentos. Algoritmo dos caminhos aumentantes. Método Húngaro para emparelhamentos em grafos bipartidos. O Problema do Caixeiro Viajante (PCV). Algoritmo exato para o PCV. Algoritmos aproximativos para o PCV.

Bibliografia

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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 (Java). Análise e projeto orientados a objetos. UML. Padrões de projeto de software.

Bibliografia

Carga Horária

64 horas.

Professores

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 (UC): arquitetura típica de uma UC por circuito convencional e microprogramada, relógio e sincronia, máquina clássica de três tempos, microprogramação horizontal e vertical. Memória: hierarquia, memórias secundárias, barramento de memória, projeto da arquitetura interna da memória principal (MP), métodos de aceleração da MP: “split memory”, “interleaving”, estudo e projeto da memória cachê, introdução ao gerenciamento de memória. Unidade de Entrada e Saída: barramento de E/E, E/S programada ou por “loop de status”, interrup- ção por software e por hardware, interrupção por vários níveis, E/S por acesso direto à memória (DMA). Introdução ao paralelismo e multiprocessamento: classificaçãode Flynn, arquiteturads em “pipeline”, máquinas vetoriais, arquiteturas com múltiplas unidades funcionais, processadores super escalares, processadores RISC.

Bibliografia

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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; redes convergentes; redes sem fio. Arquiteturas de Redes e o modelo ISO/OSI. Internet e os protocolos TCP/IP; conceitos de comunicação de dados: meios e modos de transmissão, formas de sinalização, modulação e multiplexação. Interconexão de Redes e Roteamento. Controle de Congestionamento. Protocolos de Aplicação. Conceitos de segurança..

Bibliografia

Carga Horária

64 horas.

Professores

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. Modelagem de Dados. Modelos de Dados: Relacional, Hierárquicos e de Redes. Projeto de Banco de Dados Relacional: Dependência Funcional, Chaves, Normalização, Álgebra Relacional e SQL.

Bibliografia

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

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. Complexidade: definição das classes P e NP.

Bibliografia

Carga Horária

64 horas.

Professores

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

Carga Horária

64 horas.

Professores

Ementa

Introdução a Engenharia de Software. Modelos de processos de desenvolvimento de software. Gerência de projeto. Modelagem e especificação de requisitos de software. Análise de requisitos de software. Verificação e validação de requisitos de software. Noções de métodos formais para especificação e verificação de requisitos. Ferramentas para engenharia de requisitos. Métricas de requisitos de software. Requisitos e prototipagem de interfaces. Aspectos éticos relacionados ao desenvolvimento de software.

Bibliografia

Carga Horária

64 horas.

Professores

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.

Bibliografia

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

Conceitos de aplicações Web. Modelo MVC para modelagem de aplicações Web interativas. Plataforma Java para desenvolvimento de aplicações na Web. XML e Java.

Bibliografia

Professores

Ementa

Estudo de aspectos técnicos da gerência de projetos de sistemas de sofware tais como, métricas, modelos de previsão e análise de risco, e de aspectos humanos tais como organização e motivação de equipes. Estudo de aspectos da qualidade do produto e do processo de software, através da discussão de caminhos que levam à definição e mensuração de tais aspectos e da apresentação de modelos de qualidade.

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.

Bibliografia

Professores

Ementa

Abrangência e escopo de projetos de rede. Tipos de projetos de redes e o conhecimento necessário para realizá-los. Ciclo de vida de um projeto de rede; Análise de viabilidade de um projeto de rede. Uma metodologia top-down para projeto de rede. Fase 1: Identificação dos Requisitos do Cliente. Fase 2: Projeto Lógico da Rede. Fase 3:Projeto Físico da Rede. Fase 4: Testes, Otimização e Documentação do Projeto de Rede. 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). Codificadores de voz. Arquitetura H.323: Gateway, Gatekeeper, Terminais H.323, MCU. Protocolos H.323. Arquitetura VoIP da IETF: SIP, SDP, RTP, RTSP. Outros protocolos: IAX. Exemplos de serviços de redes convergentes: Skype, etc. Serviços de vídeo: HTDV, TV interativa, Vídeo sob demanda (VoD) e streaming de vídeo. Qualidade de Serviço (QoS): Necessidade de QoS, técnicas e mecanismos, IntServ, DiffServ. Engenharia de Tráfego: MPLS. Instalação e utilização de soluções de VoIP e vídeo.

Bibliografia

Professores

Ementa

Métodos de avaliação de desempenho, Distribuição de tempos de serviço, Modelos de Filas Markovianas de Sistemas Computacionais, Processos estocásticos, Filas Markovianas, Filas com prioridade, Rede de filas, Simulação, Análise e projeto de redes de comunicação de computadores, Simulação e routing, Controle de fluxo, Throughput de redes.

Bibliografia

Professores

Ementa

Planejamento de sistemas celulares; Modelos e classificação do canal sem fio; Efeitos do canal sem fio no desempenho da modulação digital; Processamento de sinais para sistemas de comunicações sem fio; Introdução aos principais padrões de comunicações sem fio; Atividades de laboratório.

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

Análise exploratória de um ou mais conjuntos de dados. Métodos gráficos: medidas robustas, P-P e Q-Q plots. Regressão e análise de resíduos. Simulação estática: simulação de variáveis aleatórias, métodos de Monte Carlo. Simulação de eventos discretos: filas, controle de estoques, etc. Reamostragem. Aceitação-rejeiçã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

Espaços multi-dimensionais, decomposição em valores singulares, agrupamento de dados, caminhos aleatórios em grafos, algoritmos para grandes massas 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