Abaixo estão listadas as disciplinas oferecidas por nosso departamento. As ementas completas podem ser obtidas através do site do Matrícula Web.
Arquiteturas VLSI
Créditos: 04
Ementa:
Dispositivos reconfiguráveis, Modelamento de circuitos combinacionais e sequenciais em VHDL, especificação e síntese de máquinas algorítmicas, otimização de registradores, escalonamento e alocação de operadores, técnicas de aceleração de hardware.
Fundamentos de Sistemas Computacionais
Créditos: 04
Ementa:
Organização de Computadores: Componentes do computador, ciclos de instruções, pipelining, barramentos, caches, memória RAM, arquiteturas RISC x CISC, Instruction level Parallelism (Execução Fora de Ordem, Previsão de Desvios, Execução Superescalar, Exexução Especulativa, Very Large Instruction Word), Multiprocessadores Simétricos (organização e coerência de caches).
Sistemas operacionais: estruturação do kernel, gerência de processos, gerência de memória, gerência de arquivos, gerência de E/S, micro-kernels, exo-kernels.
Inteligência Artificial I
Créditos: 04
Ementa:
Introdução: o que é IA., uma visão geral, problemas, espaços de problemas e métodos básicos de solução de problemas. Conhecimento: representação e uso. Meta. Conhecimento. Aspectos gerais de sistemas baseados em conhecimento.
Inteligência Artificial II
Créditos: 04
Ementa:
Aquisição e representação do conhecimento. Forma de raciocínio automático. Raciocínios não monotônicos. Sistemas Avançados de Solução de Problemas. Aprendizado mecânico. Processamento de linguagem natural. Sistemas especialistas. Sistemas conexionistas. Interfaces inteligentes.
Linguagens Declarativas
Créditos: 04
Ementa:
Sistema físico de símbolos; Processamento simbólico; Linguagens declarativas e IA; Linguagem funcional pura: Reescrita, funções primitivas, paradigma funcional: equacional, equações guardadas, recursão, casamento de padrões, polimorfismo, avaliação preguiçosa, funções de alta ordem, definição local; aplicações, LISP, PROLOG.
Processamento de Alto Desempenho
Créditos: 04
Ementa:
Algoritmos paralelos, Princípios de paralelismo, Redes de interconexão, Protocolos de alto-desempenho, Arquiteturas SIMD/MIMD, Escalonamento, Balanceamento de carga, Gerenciamento de recursos geograficamente distribuídos, Fundamentos de Cluster computing, Fundamentos Grid computing
Projeto e Complexidade de Algoritmos
Créditos: 04
Ementa:
Análise de algoritmos - princípios e exemplos; critérios e avaliação; estruturas de dados el
Ementares; estratégias para projetar algoritmos; algoritmos e grafos; a transformada rápida de Fourier e aplicações; reconhecimento de padrões; tratabilidade.
Processamento de Imagens
Créditos: 04
Ementa:
Fundamentos de Processamento Digital de sinais. Captação de imagens. Representação e Tratamento de imagens. Amostragem de sinais. Transformadas aplicadas ao processamento digital de sinais. Desenvolvimento de aplicações em software específico.
Programação Paralela
Créditos: 04
Ementa:
Introdução à computação paralela e distribuída. Avaliação de desempenho. Processadores paralelos e distribuídos. Modelo PRAM e algoritmos. Modelos de troca de mensagens e algoritmos. Programação paralela. Algoritmos de escalonamento. PVM. MPI. Java.
Reconhecimento de Padrões
Créditos: 04
Ementa:
Introdução; Teorema de Bayes; Classificadores Paramétricos; Funções Discriminantes Paramétricas; Avaliação do Desempenho; Classificadores Não Paramétricos; Extração de Características; Teoria da Aprendizagem; Aprendizagem Não Supervisionada.
Sistemas Distribuídos
Créditos: 04
Ementa:
Definição de Sistema Distribuído, Arquiteturas Paralelas e Distribuídas, Aspectos no Projeto de Sistemas Distribuídos, Gerência de Processos Distribuídos (Escalonamento de Processadores, Migração de Processos, Troca de Mensagens, Remote Procedure Call, Distributed Shared Memory), Grupos de Processos, Sincronização de Processos Distribuídos, Deadlock Distribuído, Exclusão Mútua Distribuída, Gerência de Arquivos Distribuídos, Noções de Tolerância a Falhas.
Sistemas Multiagentes
Créditos: 04
Ementa:
Esta disciplina trata de agente inteligente e sistemas multiagentes (SMA), incluindo uma fundamentação teórica básica da área de Inteligência Artificial Distribuída. Diversos aspectos relacionados a SMA serão estudados, tais como modelos de raciocínio, protocolos de comunicação e interação, definições arquiteturais, metodologias de modelagem, utilizando uma abordagem prática de desenvolvimento de aplicações orientada a agentes. Ferramentas e plataformas de desenvolvimento de SMA serão utilizados nos trabalhos de implementação para melhor fixação do conhecimento adquirido
Seminário
Créditos: 02
Ementa:
Palestras de pesquisadores convidados e de alunos matriculados em Dissertação de Mestrado
Teoria da Computação
Créditos: 04
Ementa:
Teoria de autômatos e linguagens formais, maquinas de Turing e teoria das funções recursivas, noções de computabilidade e classes de complexidade básicas.
Tópicos em Formalismos de Computação
Créditos: 04
Ementa:
Ementa variável
Tópicos em Fundamentos e Métodos de Computação
Créditos: 04
Ementa:
Ementa variável
Trabalho Individual em Fundamentos e Métodos de Computação
Créditos: 02
Ementa:
Trabalho individual orientado e escrito ao longo de um período letivo que resulta de pesquisa ou estudo de um tema proposto por um orientador responsável.
Trabalho Individual em Sistemas de Computação
Créditos: 02
Ementa:
Trabalho individual orientado e escrito ao longo de um período letivo que resulta de pesquisa ou estudo de um tema proposto por um orientador responsável.
Tópicos em Sistemas de Computação
Créditos: 04
Ementa:
variável: Conteúdo designado a partir do pessoal docente disponível, do interesse dos alunos e da necessidade de reforço em determinado tema. Temas sugeridos.
Semântica de Programas Paralelos
Créditos: 04
Ementa:
Conceitos matemáticos básicos; programas sequenciais x programas paralelos; programas paralelos com memória compartilhada; programas paralelos com troca de mensagens.
end faq
{accordionfaq faqid=accordion1 faqclass="redmondfaq arrow headerbackground headerborder contentbackground contentborder round5"}