EMENTAS DO CURSO DE CIÊNCIA DA COMPUTAÇÃO

O texto a seguir descreve as ementas válidas para o curso de Ciência da Computação da Universidade Federal de Pernambuco, Recife, no ano letivo de 1996.

• IF136 - Administração de Projetos de Sistemas
• IF240 - Álgebra Aplicada à Computação
• MA041 - Álgebra Linear
• IF096 - Algoritmos e Estruturas de Dados
• IF119 - Análise e Especificação de Requisitos
• IF127 - Análise Numérica
• IF141 - Arquiteturas Avançadas
• IF115 - Arquitetura de Computadores
• IF135 - Automação de Projeto de VLSI
• IF121 - Avaliação de Desempenho de Sistemas
• IF559- Banco de Dados 1
• IF562 - Banco de Dados 2
• IF112 - Cálculo de Programas
• MA026 - Cálculo Diferencial e Integral 1
• MA022 - Cálculo Diferencial e Integral 2
• MA128 - Cálculo Diferencial e Integral 3
• IF140 - Categorias para Computação
• IF111 - Circuitos Digitais
• IF120 - Compiladores
• IF124 - Computação Gráfica
• IF143 Computação Visual
• IF314 - Computador e Sociedade
• IF113 - Concorrência
• IF570 - Engenharia de Software
• IF421 - Estágio
• FI006 - Física Geral 1
• FI007 - Física Geral 2
• FI108 - Física Geral 3
• IF126 - Fundamentos de Inteligência Artificial
• MA036 - Geometria Analítica
• IF145 - Gerenciamento de Redes
• IF095 - Iniciação à Ciência da Computação
• IF138 - Inteligência Artificial Simbólica
• IF134 Interface Homem-Máquina
• IF097 - Linguagem de Programação 1
• IF098 - Linguagem de Programação 2
• IF101 - Linguagem de Programação 3
• IF114 - Linguagens e Máquinas
• IF312 - Lógica Aplicada à Computação
• IF125 - Métodos de Projeto de Sistemas
• IF116 - Métodos Formais
• IF109 - Métodos Numéricos
• IF118 - Organização de Computadores
• ET317 - Probabilidade e Estatística
• IF131 - Processamento de Conhecimento
• IF144 - Processamento de Linguagem Natural
• IF129 - Projeto de Banco de Dados
• IF293 - Projeto de Compiladores
• IF578 - Projeto de Sistemas Operacionais
• IF132 - Prototipação de Circuitos Integrados
• IF122 - Redes de Computadores 1
• IF123 - Redes de Computadores 2
• IF139 - Redes Neurais
• IF137 - Semântica de Linguagens
• IF660 - Sistemas de Informação
• IF662 - Sistemas Distribuídos
• IF117 - Sistemas Operacionais
• IF525 - Teoria da Computação
• IF142 Teoria da Prova
• IF128 - Teoria dos Grafos
• IF130 - Teoria dos Modelos
• IF558 - Tópicos de Banco de Dados 1
• IF564 - Tópicos de Banco de Dados 2
• IF133 - Tópicos em Computação Gráfica
• IF152 - Trabalho de Graduação em Arquitetura de Computadores
• IF149 - Trabalho de Graduação em Banco de Dados
• IF150 - Trabalho de Graduação em Circuitos Integrados
• IF154 - Trabalho de Graduação em Computação Visual
• IF146 - Trabalho de Graduação em Engenharia de Software
• IF151 - Trabalho de Graduação em Inteligência Artificial
• IF147 - Trabalho de Graduação em Redes de Computadores
• IF148 - Trabalho de Graduação em Sistemas Distribuídos
• IF153 - Trabalho de Graduação em Teoria da Computação
• About this document ...