Disciplinas

ASPECTOS FORMAIS DA COMPUTAÇÃO - 3 créditos

Preliminares Matemáticas: relações, funções, ordens parciais, indução, definições indutivas. Teoria das funções recursivas, Tese de Church, insolubilidade, famílias abstratas de algoritmos. Linguagens formais: sistemas de Post, gramáticas, autômatos finitos. Cálculo proposicional e lógica de primeira ordem: provas por consequência semântica e provas por dedução natural. Completude e corretude.

ALGORITMO EM GRAFOS - 3 créditos

Conceitos básicos de teoria dos grafos. Técnicas de algoritmos. Busca em grafos e dígrafos: profundidade, largura e largura lexicográfica. Caminhos. Árvores geradoras. Planaridade. Aplicações.

APRENDIZADO DE MÁQUINA - 3 créditos

Introdução ao aprendizado de Máquina; Regressão Linear; regressão Logística; Redes Neurais; Cadeias de Markov Escondida; Aprendizado baseado em Transformações; Máquinas de suporte vetorial; Métodos de Comitê-Boosting; Detecção de anomalias; Sistemas de recomendação.

CIÊNCIAS DE DADOS - 3 créditos

Ciência de Dados e Big Data: Contextualização e Fundamentos. Gestão de Dados (Noções Básicas e Abordagens NoSQL). Introdução à Inteligência Artificial (Representação de Conhecimento, Raciocínio, Incerteza, Busca e Aprendizado de Máquina). Mineração de Dados: Pré-Processamento, Tarefas (Associação, Classificação e Clusterização), Algoritmos e Ferramentas. Mineração de Dados Textuais: Tarefas (Extração de Informações e Reconhecimento de Entidades Nomeadas) e Algoritmos. Mineração de Grafos: Representações Computacionais e Tarefas (Predição de Ligações e Detecção de Comunidades). Mineração de Dados Paralela e Distribuída: Fundamentos, Algoritmos e Ambientes Computacionais (Hadoop). Projetos e Aplicações.

CRIPTOLOGIA - 3 créditos

Introdução. Segurança de sistemas: segurança física e lógica, as ameaças. Segurança de sistemas: as técnicas de proteção. Segurança de sistemas: planejamento e administração. Padrões nacionais e internacionais. Histórico: o desenvolvimento da criptologia ao longo da história: dos romanos aos "scholars" americanos. Fundamentos: terminologia; os problemas de segredo e da autenticidade. Protocolos criptográficos: blocos de construção, protocolos básicos. Sistemas criptográficos clássicos: sistemas de substituição e transposição, criptografia e criptoanálise. Difusão e confusão. O DES e suas versões. Sistemas de chave pública e suas aplicações. Criptografia e a segurança de redes de computadores: proteção da informação, gerenciamento de chaves, transferência eletrônica de fundos. A segurança na Internet. Aplicações civis e militares: perspectivas. Apresentação da Bibliografia.

DEFESA CIBERNÉTICA - 3 créditos

Conceitos de Segurança Cibernética, contexto mundial x nacional, os problemas de segurança e suas causas, Tipos de atacantes, ataques e defesa (varredura de rede, força bruta, craquers de senha, sniffers, DDoS, falhas de programação, roteamento, dns,smurf, Syn flood, spoofing, trojan horse, backdoors, source injections), Anatomia do ataque, Honeypots, DDoS (Introdução, métodos de ataques, métodos de defesa,, soluções Integradas), Botnets (definição, ciclo de vida Botnet, classificação das botnet, técnicas de detecção, técnicas de defesa), Análise de malwares.

DESENVOLVIMENTO DE SISTEMAS DE COMPUTAÇÃO - 3 créditos

Modelos de Processo de Software; Métodos Ágeis; Modelagem e especificação de sistemas; Projeto de sistemas; Teste de software; Programação orientada a objetos.

ENGENHARIA DE SOFTWARE - 3 créditos

Aplicação dos princípios da engenharia na produção de software para melhoria da qualidade do processo. Análise das principais metodologias (estruturada, orientada a objetos, etc.), processos de desenvolvimento (tradicional, espiral, prototipada, etc.) e métricas utilizadas no desenvolvimento de sistemas de software. Desenvolvimento e evolução de um sistema de software.

LÓGICA E COMPLEXIDADE - 3 créditos

Maquinas de Turing e suas variações. Resultados de teoria dos modelos (Teorema da Compacidade, Teorema de Löwenheim–Skolem). Complexidade de algoritmos / Classes de complexidade. Teorema de Cook. Mostrar que o problema SAT para o cálculo proposicional é NP-Completo. Como corolário o problema TAUT para o cálculo proposicional é coNP-Completo. Teorema de Fagin. Lógica de Segunda ordem existencial e classe NP. Mostrar que o problema QSAT para QBF é PSPACE-Completo. Introduzir o conceito de Maquina de Turing Alternada (ATM - Alternating Turing Machine. Definir a classe de complexidade AP e mostrar que AP=PSPACE. Introduzir a hierarquia polinomial e mostrar a relação com QSAT_i. Introduzir ATM com k alternâncias e Mostrar a relação com o hierarquia polinomial e com QSAT_i.

ORGANIZAÇÃO DE COMPUTADORES - 3 créditos

Funcionamento básico de um computador digital, representação de dados e revisão de lógica digital. Arquitetura do conjunto de instruções e modos de endereçamento de operandos; unidade lógica-aritmética; processador: datapath e controle; pipelining; Hierarquia de memória: cache e memória virtual; interface processador-periféricos; tendências em arquitetura de computadores.

PROGRAMAÇÃO CONCORRENTE E SISTEMAS OPERACIONAIS - 3 créditos

Programação Concorrente com Processos e Variáveis Compartilhadas. Processos, Escalonamento, Gerência de Memória, Armazenamento Secundário, E /S, Comunicação entre Processos (IPC) e Sincronização. Condição de Corrida. Região Crítica, Locks, Barreiras, Semáforos e Monitores. Starvtion e Deadlock. Estudo de Casos: Memória Compartilhada, Pthreads, Threads em Java. Programação Distribuída e Paralela com Processos, Passagem de Mensagem, MPI, RPC, Java RMI e Rendezvous; Memória Compartilhada Distribuída (Software DSM), HJLRC; Modelos de Interação de Processos; Análise de Desempenho, Métricas de Desempenho, Escalabilidade.

PROJETO E ANÁLISE DE ALGORITMOS - 3 créditos

Revisão de estruturas de dados: Listas lineares. Árvores binárias de busca. Árvores balanceadas. Árvores-B. Listas de prioridades. Análise de algoritmos. Complexidade de algoritmos. Algoritmos gulosos. Divisão e conquista. Programação dinâmica.

ROBÓTICA - 3 créditos

Conceitos básicos: manipuladores, robôs móveis, robôs coopérativos; Transformações homogêneas, cinemática para manipuladores; Transformações diferenciais, jacobiano; Método de Newton-Euler, formulação de lagrange-Euler; Planejamento de trajetória para manipuladores; Servomecanismos de controle de posição; Sensores para robótica; Aplicações de redes neurais artificiais e lógica fuzzy.

SISTEMAS DE BANCO DE DADOS - 3 créditos

Modelos de banco de dados (redes, relacional, relacional-objeto, orientado a objetos). Tecnologias de Armazenamento de Dados. Otimização de consultas. Controle de concorrência. Segurança em banco de dados. Integração de Informações.

SISTEMAS MULTIMÍDIA - 3 créditos

Representação de Informação Multimídia; Digitalização; Mídias Texto, Imagem, Áudio e Vídeo; Compressão; Padrões de Compressão: JPEG, JPEG2000, MPEG1, MPEG2, MPEG4, MPEG7, MPEG21, H261, H263, H263+, H263++, H263L, G72x; Comunicação Multimídia; Protocolos de Rede: TCP/IP, IPv6, FDDI, DQDB, ATM; Redes Locais: Token Ring, Fast Ethernet, Gigabit Ethernet; Redes Sem Fio, Bluetooth; Sincronismo de Mídias; SMIL; Qualidade de Serviço; Tópicos Avançados: Criptografia, Watermarking; Realidade Virtual, VRML; Serviços Multimídia: Vídeo Sob Demanda, Vídeoconferência; Sistemas Multimídia Avançados: Ambientes Virtuais Colaborativos; Apresentação da bibliografia.