Ministrio da Educao

Universidade Federal do Cear

Centro de Cincias

Fortaleza
maro de 1999

Sumrio

Sumrio ........................................................................................................................................... 2
1. Introduo.................................................................................................................................... 3
2. Breve Histrico do Curso de Computao da UFC ..................................................................... 3
3. Perfil dos Profissionais formados ................................................................................................ 5
4. Diretrizes ..................................................................................................................................... 5
4.1 As Diretrizes Curriculares do MEC ...................................................................................... 5
4.2 O Currculo de Referncia da SBC........................................................................................ 6
5. Exposio de Motivos ................................................................................................................. 8
6. A Nova Estrutura Curricular ....................................................................................................... 9
6.1 Estrutura Curricular ............................................................................................................. 10
6.1.1 Disciplinas Obrigatrias ............................................................................................... 10
6.1.2 Disciplinas Optativas .................................................................................................... 10
6.2 Integralizao Curricular ..................................................................................................... 12
6.2.1 Disciplinas Obrigatrias ............................................................................................... 13
6.2.2 Disciplinas Optativas .................................................................................................... 15
7. Tabela de Equivalncias ............................................................................................................ 18
8. Ementas ..................................................................................................................................... 22
8.1 Disciplinas Obrigatrias ...................................................................................................... 22
8.2 Disciplinas Optativas ........................................................................................................... 26
9. Concluso .................................................................................................................................. 33
Apndice........................................................................................................................................ 34
A. Grade Curricular ....................................................................................................................... 34

1. Introduo
A Universidade Federal do Cear forma profissionais de Computao desde 1975 atravs do
Curso de Bacharelado em Computao do Centro de Cincias. O curso est integralizado de
acordo com o atual currculo pleno, em vigor desde 1988. Diversas condies tm-se alterado
nesses onze anos de sua vigncia de forma a afetar significativamente o panorama da
Computao no pas, tendo em vista especialmente ser esta uma rea na qual as inovaes so
uma constante. A prestao de um servio adequado s condies atuais e preparado para o futuro
nos leva a rever o elenco de disciplinas do curso e propor transformaes na estrutura e no
contedo das mesmas.
Este documento contm a proposta de reformulao do currculo do Curso de Bacharelado
em Computao. o resultado do esforo conjunto de mais de um ano realizado por todos os
professores do Departamento de Computao da UFC e dos demais membros da coordenao do
curso. O novo elenco de disciplinas est fortemente baseado nas diretrizes curriculares sugeridas
pelo Ministrio da Educao bem como pela Sociedade Brasileira de Computao. A data de sua
implantao est prevista para o semestre 2000.1.
A reforma, iniciada na gesto da Profa. Valneide Cabral como coordenadora do curso e
concluda na gesto do prof. Riverson Rios, tem como objetivos principais:

diagnosticar e corrigir as falhas do currculo vigente;

atualizar e ampliar o elenco de disciplinas do curso, notadamente o elenco de disciplinas

optativas;

rever a ementa e o programa de todas as disciplinas existentes,

adequar o curso s diretrizes curriculares propostas pelo MEC e pela SBC;

remover disciplinas cujo contedo no mais se adequa ao perfil dos profissionais formados;

permitir aos alunos complementar sua formao com a escolha de disciplinas eletivas
pertencentes ou no ao currculo, ofertadas pelos demais departamentos da universidade;

a fim de formar um(a) novo(a) profissional, apto(a) a desempenhar as funes que dele(a) se
esperam num mundo onde a tecnologia de informao mais e mais faz parte da vida dos cidados.
Este texto est organizado da seguinte forma. Inicialmente so mostrados um breve
histrico do Curso de Computao da UFC e o perfil dos profissionais que se quer formar. Em
seguida, as diretrizes curriculares do MEC e da SBC so detalhadas. Na Seo 5, os motivos
pelos quais se prope uma mudana do currculo de nosso curso so expostos. A nova estrutura
curricular pretendida apresentada na Seo 6, sendo mostradas as disciplinas obrigatrias, as
optativas por rea e a integralizao curricular. A Seo seguinte traz a tabela de equivalncias
com as disciplinas do currculo atual que podem ser aproveitadas como disciplinas do currculo
proposto. As ementas de todas as disciplinas so descritas na Seo 8. O texto se encerra com
uma concluso e com um apndice trazendo uma representao grfica da grade curricular aqui
proposta.

2. Breve Histrico do Curso de Computao da UFC

O ensino de Computao a nvel de graduao no Cear iniciou-se em 1975 com a criao pela
UFC do Curso de Graduao em Tecnologia de Processamento de Dados atravs da Resoluo
no. 311 de 31/jan/1975 da Reitoria. O reconhecimento viria em 02/out/1978 pelo Decreto-Lei no.
82.353 do Presidente da Repblica. O curso, com uma integralizao de seis semestres que o
caracterizava como sendo de curta durao, foi ofertado com a finalidade de suprir o mais rpido
possvel a demanda por profissionais da rea de computao diante da velocidade com que se

implantava o uso de computadores nos mais diversos ramos de atividade em nosso pas. Durante
seus onze anos de funcionamento, o curso teve uma crescente procura por vestibulandos (veja
tabela abaixo) e formou de mais de trezentos alunos.
Tabela I. Relao Candidato/Vaga no Vestibular para o Curso de Processamento de Dados
(de 1975 a 1985)
Vestibular

Inscritos

Vagas

Concorrncia

2694

700

3,8

582

----

---

77/1

324

40

8,1

78/1

329

40

8,2

79/1

274

40

6,9

80/1

403

40

10,0

81/1

681

40

17,0

82/1

647

40

16,2

83/1

689

40

17,2

84/1

887

40

22,2

404

40

10,1

75/1
76/1

85/2

Em 1986, reconhecendo a necessidade de se formar um novo tipo de profissional que

atendesse nova realidade brasileira de informtica e seguindo o exemplo de outras
universidades brasileiras, a coordenao promoveu uma profunda transformao na grade
curricular. Com a elevao do nmero de crditos para 202, a durao do curso passava para
quatro anos, caracterizando-se como de longa durao, enquanto eram criadas disciplinas de
formao bsica em Matemtica e Fsica e, de forma indita, disciplinas optativas. Com a nova
durao, o curso deixava de formar tecnlogos e passava a formar bacharis, ao mesmo tempo em
que passou a ter a denominao atual. Aos alunos do currculo antigo foi dada a oportunidade de
escolha entre a continuidade na grade curricular vigente ou a transferncia para o novo currculo.
J ao final de 1989 deu-se a colao de grau da primeira turma do Curso de Bacharelado em
Computao.
A partir de 1997, a oferta de vagas no vestibular, que tradicionalmente era de 40
estudantes em uma nica entrada anual, foi acrescida de modo a receber 45 alunos por ano. Neste
ano, as vagas foram novamente aumentadas, sendo oferecidas 60 lugares no primeiro semestre.
Por esses e outros motivos, o nmero de alunos matriculados chega a 223 no semestre 1999.1.
O curso , em sua maior parte, diurno com apenas um pequeno elenco de disciplinas
ofertadas nos turnos da tarde, especialmente nos trs semestres iniciais. As disciplinas optativas
correspondem a 42 dos 200 crditos necessrios graduao. Algumas delas, de semestres
elevados, so ofertadas no turno da noite de modo a atender aqueles alunos que j desempenham
atividades profissionais no perodo diurno.

Nesses anos, a concorrncia era informada por rea e no por curso.

Greves de estudantes e professores foraram o cancelamento do semestre 84.1 e defasaram o vestibular.

O presente currculo reconhecido pela Portaria do Conselho Federal de Educao no.

1012 de 24/out/90. O reconhecimento foi publicado no Dirio Oficial da Unio de 25/out/90
pgina 20313.

3. Perfil dos Profissionais formados

Embora seja uma cincia muito nova, a Cincia da Computao est em constante evoluo.
Vrias de suas sub-reas vm se expandindo consideravelmente nos ltimos anos. O advento e a
popularizao dos microcomputadores e, mais recentemente, da Internet, revolucionaram todos os
ramos do conhecimento, resultando numa maior informatizao da sociedade.
O Curso de Bacharelado em Computao visa a formar profissionais que possam, ao
mesmo tempo, desenvolver atividades docentes e de pesquisa e atuar em empresas usurias de
informtica, prestadoras de servios, universidades, hospitais, consultrios mdicos, rgos de
sade pblica, grupos financeiros, rgos governamentais, indstrias, provedores de acesso
Internet, produtoras, grficas &c. As opes de reas de interesse, na forma de disciplinas
optativas, abrem linhas de formao de diferentes tipos de profissionais capazes de:

exercer a funo de programadores, analistas e administradores de sistemas, gerentes de

centros de informao e projetistas para a web aptos a liderar equipes de projeto e a
ampliar sua competncia tcnica pela aquisio de novos conhecimentos;

trabalhar em aplicaes tcnicas ou cientficas que envolvam modelos matemticos ou

lgicos resolvveis por computador;

trabalhar no desenvolvimento de ferramentas computacionais e em aplicaes sofisticadas de computao com amplos conhecimento em diversas reas da computao como
engenharia de software, inteligncia artificial, matemtica computacional, computao
grfica, arquitetura de computadores, sistemas operacionais, bancos de dados, sistemas de
informao e redes de computadores.

com condies suficientes de modelar e especificar problemas, planejar, desenvolver, implementar, gerenciar e validar software bsico, multimdia, distribudo e de aplicao, e adaptvel a
mudanas de mercado, a novas tecnologias e a novas situaes propiciadas pela sociedade.
Segundo a Sociedade Brasileira de Computao, o egresso de um curso na rea de
computao deve ter condies de assumir o papel de agente transformador, sendo capaz de
provocar mudanas atravs da agregao de novas tecnologias na soluo dos problemas. Deve
ter a capacidade de dominar novas ferramentas e implementar sistemas visando melhores
condies de trabalho e de vida; construir novos conhecimentos e produtos; possuir uma viso
humanstica consistente e crtica do impacto de sua atuao profissional na sociedade. Alm
disso, os egressos devem conhecer e respeitar os princpios ticos da rea de computao.

4. Diretrizes
A seguir so descritas as diretrizes curriculares do Ministrio da Educao e o currculo
referncia da Sociedade Brasileira de Computao nos quais est fortemente baseada a presente
proposta.

4.1 As Diretrizes Curriculares do MEC

O Ministrio da Educao, atravs das Diretrizes Curriculares de Cursos da rea de
Computao e Informtica, pe em prtica o disposto no Artigo 53 da Lei de Diretrizes e Bases,
no sentido de oferecer s instituies de ensino superior que ofeream cursos de Computao a
possibilidade de conceber currculos plenos diversificados e de qualidade. Diferentes dos antigos

currculos mnimos, as diretrizes podem ser vistas como uma "especificao de requisitos" ou um
guia que permita a criao de uma rede de disciplinas que forme um currculo pleno.
Na proposta do MEC, j em fase final de preparao pela comisso de especialistas, est
disponvel na Internet no endereo http://www.mec.gov.br/sesu/diretriz/curric.htm. De acordo
com ela, so as seguintes as reas de formao que podem compor um curso de Computao
junto com algumas dos assuntos por elas compreendidos:
1. Formao bsica
Cincia da computao (mquina e algoritmo)
Programao (tcnicas, estruturas de dados, compilao, linguagens &c)
Computao e algoritmos (anlise de algoritmos, modelos de computao &c)
Arquitetura de computadores (projeto e funcionamento de computadores &c)
Matemtica (matemtica discreta, grafos, matemtica do contnuo)
Fsica (viso cientfica, fenmenos que ocorrem nos computadores, eletricidade)
Pedagogia (compreenso da escola e sua configurao moderna)
2. Formao tecnolgica
Sistemas operacionais (gerenciamento de processos, memria, armazenamento)
Redes de computadores (interligao e compartilhamento de recursos)
Sistemas Distribudos (algoritmos distribudos, sistemas de tempo real)
Compiladores (anlise lxica e sinttica, semntica, gerao e otimizao de cdigo)
Bancos de dados (sistemas de gerenciamento, garimpagem de dados)
Engenharia de software (produo, manuteno, evoluo, recuperao de software)
Sistemas multimdia (computao grfica, computao snica, programao visual)
Interface homem-mquina (projeto, implementao e avaliao de sistemas computacionais
interativos para uso humano)
Realidade virtual (construo de interfaces tridimensionais altamente interativas)
Inteligncia Artificial (representao do conhecimento, automatizao do raciocnio,
aprendizagem automtica, processamento de linguagem natural &c)
Computao grfica (CAD, apresentao grfica de dados, visualizao de dados
tridimensionais, animao e efeitos especiais &c)
Processamento de imagens (representao, anlise, compresso e transmisso de imagens)
Prtica do ensino de computao (aplicao de pedagogia no ensino de computao)
3. Formao humanstica
Histria da Cincia da Computao
Empreendedorismo (legislao, gerenciamento de recursos e de negcios, marketing)
tica (responsabilidade profissional, segurana, direitos de propriedade &c)
Computador e Sociedade (influncias negativas sociais e individuais dos computadores)
Sociologia (dinmica social, interesses polticos, estruturas e relaes de poder)
Filosofia (compreenso da realidade, relacionamento entre as teorias cientficas &c)
4. Formao complementar
Economia, direito, administrao, contabilidade &c.

4.2 O Currculo de Referncia da SBC

Com o fim de guiar as coordenaes dos diversos cursos de Computao, Informtica e
Engenharia de Computao a montar suas integralizaes curriculares, a Diretoria de Educao
da Sociedade Brasileira de Computao preparou um documento com diretivas que serviriam

como referncia para os currculos dos diversos cursos, dependendo de eles terem computao
como meio ou como fim. O assim-chamado Currculo de Referncia est disponvel na Internet
no site da SBC: http://www.sbc.org.br/cr/cr99.htm.
As diretivas esto organizadas em seis ncleos, nominalmente:

Fundamentos da Computao, que compreende as matrias que envolvem a parte

"cincia" da rea e as tcnicas fundamentais formao slida estudantes.
Tecnologia da Computao, que compreende as matrias que representam o
conhecimento agregado e consolidado que capacita os estudantes a elaborar a soluo de
problemas nos diversos domnios de aplicao.
Sistemas de Informao, que compreende as matrias que capacitam os alunos a utilizar
os recursos de Tecnologia de Informao na soluo de problemas nas atividades-meio e
atividades-fim de setores produtivos da sociedade.
Matemtica, que prov a base terica necessria para definie formalmente os princpios
bsicos da rea de computao.
Cincias da Natureza, que desenvolvem no aluno a habilidade para aplicao do mtodo
cientfico e que so necessrias para permitir o entendimento e o projeto de computadores
tecnicamente viveis.
Contexto Social e Profissional, que permite uma interao dos estudantes com outras
profisses e uma dimenso social e humana.

Cada ncleo envolve um conjunto de tpicos, chamados matrias. Uma matria definida
como um corpo de conhecimento que pode dar origem a uma ou mais disciplinas ou ento
agrupar-se com outras matrias para formar uma nica disciplina, dependendo da nfase e do
objetivo de cada curso. As matrias de cada ncleo so mostradas a seguir:
1. Fundamentos da Computao
Arquitetura de Computadores
Projeto e Anlise de Algoritmos
Circuitos Digitais
Pesquisa e Ordenao
Estruturas de Dados
Sistemas Operacionais
Linguagens Formais e Autmatos
Tcnicas de Programao
Linguagens de Programao
Teoria dos Grafos
2. Tecnologia da Computao
Anlise de Desempenho
Mtodos Formais
Bancos de Dados
Modelagem e Simulao
Circuitos Integrados
Multimdia
Compiladores
Processamento de Imagens
Computao Grfica
Programao Paralela
Controle de Processos
Redes de Computadores
Engenharia de Software
Sistemas Digitais
Inteligncia Artificial
Sistemas Distribudos
Interfaces Homem-Mquina
Tolerncia a Falhas
Matemtica Computacional
Telecomunicaes
3. Sistemas de Informao
Controle e Avaliao de Sistemas
Fundamentos de Sistemas de Informao
Prtica e Gerenciamento de Projetos
Produtividade Pessoal com Tecnologia da Informao
Segurana e Auditoria de Sistemas
Sistemas Cooperativos

Teoria e Prtica dos Sistemas de Informao

Teoria Geral dos Sistemas
4. Matemtica
lgebra Linear
Anlise Combinatria
Clculo Diferencial e Integral
Geometria Analtica
5. Cincias da Natureza
Fsica
6. Contexto Social e Profissional
Administrao
Computadores e Sociedade
Comunicao e Expresso
Contabilidade e Custos
Direito e Legislao
Economia
Empreendedorismo

Lgica Matemtica
Matemtica Discreta
Probabilidade e Estatstica

Estgio
Filosofia
Informtica na Educao
Ingls
Sociologia
Mtodos Quantitativos

5. Exposio de Motivos
O currculo pleno atual do Curso de Bacharelado em Computao foi concebido h mais de 14
anos e implementado oficialmente em 1988. Pequenas revises tm sido efetuadas ao longo do
tempo a fim de corrigir localmente algumas falhas, como por exemplo a atualizao dos prrequisitos de algumas disciplinas e a criao de uma ou outra disciplina optativa. A estrutura geral
da grade, no entanto, tem permanecido praticamente intacta.
Ocorre, porm, que a cincia da computao uma rea em constante e veloz evoluo.
Muito do que se tinha como indispensvel na dcada passada no mais usado hoje. Em
contrapartida, abriram-se novas fronteiras do conhecimento, novos desafios, criaram-se novas
reas de pesquisa, novos interesses, novas necessidades. Alm disso, exigido do profissional do
terceiro milnio o conhecimento das tendncias e concepes de organizao do trabalho, das
mudanas no contedo do trabalho e das novas exigncias de qualificaes impostas pelas novas
tecnologias.
Uma anlise do atual currculo leva constatao de estar ele bastante defasado. Mesmo
com as pequenas atualizaes levadas a cabo nos ltimos anos, ele ainda no segue as diretrizes
do MEC nem da SBC. Alm disso, a rede de disciplinas no reflete mais as reas de interesses
dos diversos professores do Departamento de Computao, que j h algum tempo vem
solicitando coordenao a criao no s de novas disciplinas optativas em suas reas mas,
principalmente, de disciplinas obrigatrias nos primeiros semestres.
para diagnosticar e corrigir as falhas do currculo vigente, ampliar o elenco de
disciplinas do curso, rever a ementa e o programa de todas as disciplinas existentes, dessa forma
atendendo as reivindicaes de nossos mestres, melhor adequando o curso s diretrizes
curriculares propostas pelo MEC e pela SBC e promovendo a formao de um(a) novo(a)
profissional, apto(a) a desempenhar as funes que dele(a) se espera num mundo onde a
tecnologia de informao muda a cada dia, que propomos a presente reformulao do currculo
vigente do Curso de Bacharelado em Computao da Universidade Federal do Cear, fruto do
esforo conjunto de mais de um ano de todos os professores do Departamento de Computao e
dos demais membros da coordenao do curso.

A seguir, sero mostradas a estrutura e a integralizao curriculares e a ementa das

disciplinas que comporo o novo currculo pleno.

6. A Nova Estrutura Curricular

A nova estruturao curricular est estruturada em trs grupos de disciplinas, perfazendo um total
de 205 crditos a serem cursados para a formao dos novos profissionais do Curso de
Bacharelado em Computao. O nmero de crditos por grupo est assim dividido:

Disciplinas Obrigatrias:
Disciplinas Optativas:
Disciplinas Eletivas:
TOTAL:

163 crditos
32 crditos
10 crditos
205 crditos

As disciplinas obrigatrias so aquelas que os alunos tm de concluir necessariamente

para graduar-se e perfazem 80% do total. So elas que definem o caminho didtico especificado
pela coordenao. Por si s, esse caminho j inclui disciplinas bsicas de todas as diretrizes
citadas na Seo 4. Todos os egressos do curso tero, portanto, uma formao comum que
satisfaz os requerimentos tanto do MEC quanto da SBC.
As disciplinas optativas complementam esta formao, dando aos discentes a
oportunidade de escolher aquelas disciplinas pelas quais mais se inclinam. A partir do sexto
semestre, eles j podem passar a selecionar suas reas de interesse, escolhendo gradativamente
um nmero maior de disciplinas que lhes agradam. Este processo culmina com a total liberdade
de escolho d oitavo semestre, composto exclusivamente por disciplinas opcionais. Esto definidas
atualmente 64 disciplinas de nove reas, conforme mostrado na Seo 6.1.2 a seguir.
Finalmente, as disciplinas eletivas, correspondentes a apenas 5% do total de crditos,
incluem todas as disciplinas cadastradas na Pr-Reitoria de Graduao ofertadas pelos diversos
departamentos acadmicos da UFC. Seu propsito de deixar os alunos livres para complementar
seus estudos com outras matrias, em especial as de formao humanstica e complementar.
Espera-se com este grupo, dar aos discentes uma viso mais universal das atividades humanas.
A compatibilidade da nova estruturao curricular com as diretrizes do MEC e da SBC
foi plenamente realizada. Juntos, os dois primeiros grupos atendem quase totalidade dos
assuntos compreendidos pelas quatro reas de formao indicadas pelas Diretrizes Curriculares
do MEC (Seo 4.1). A Formao Bsica, por exemplo, contemplada por disciplinas de
Estruturas de Dados, Matemtica Discreta, Fsica Geral I e Construo e Anlise de Algoritmos.
A Formao Tecnolgica atendida pela grande maioria das disciplinas que fazem parte das sete
reas de estudos mostradas na Seo 6.1.2 como Sistemas Operacionais I e II, Redes de
Computadores, Fundamentos de Bancos de Dados, Engenharia de Software e Inteligncia
Artificial &c. J a Formao Humanstica compreende as disciplinas de Informtica e Sociedade,
Impactos Scio-Tcnicos da Tecnologia da Informao, Empreendedorismo em Informtica,
Informtica na Educao entre outras. Finalmente, a Formao Complementar contemplada por
Introduo Administrao, Administrao de Empresas e Contabilidade Geral.
A nova estrutura curricular tambm compatvel com as sugestes da SBC (Seo 4.2).
Para isso, foram criadas as disciplinas de Linguagens Formais e Autmatos, Circuitos Digitais e
Transmisso de Dados e Teoria dos Grafos, dessa forma atendendo todas as matrias do ncleo
de Fundamentos de Computao, por exemplo. A compatibilidade foi alcanada, ainda, com a
criao de diversas outras disciplinas como Matemtica Discreta, Autmatos e Linguagens
Formais, Gerenciamento de Redes, Modelagem Lgica do Raciocnio &c. Ao todo, o nmero de
disciplinas optativas foi aumentado de 24 no currculo vigente para 63 no proposto e o de
obrigatrias mantido em 32. Somando-se a isso a grande liberdade proporcionada pelas

disciplinas eletivas, pode-se considerar que praticamente ambas as diretrizes da Seo 4 so

atendidas pelo novo currculo do curso.

6.1 Estrutura Curricular

6.1.1 Disciplinas Obrigatrias
So as seguintes as disciplinas obrigatrias do currculo proposto.

lgebra Linear I
Anlise e Projeto de Sistemas
Arquitetura de Computadores I
Autmatos e Linguagens Formais
Clculo Diferencial e Integral I
Clculo Diferencial e Integral Ii
Circuitos Digitais e Transmisso de Dados
Computao Grfica I
Construo de Compiladores I
Construo e Anlise de Algoritmos
Engenharia de Software
Estruturas de Dados
Fsica Geral I
Fundamentos lgebricos para Computao
Fundamentos de Programao
Fundamentos de Bancos de Dados
Informtica e Sociedade
Inteligncia Artificial
Introduo Probabilidade e Estatstica
Linguagens de Programao I
Lgica para Computao
Matemtica Discreta para Computao
Mtodos Numricos I
Mtodos Numricos II
tica
Programao
Programao Linear e Algoritmos em Grafos
Redes de Computadores
Sistemas de Gerenciamento de Bancos de Dados
Sistemas Operacionais I
Tcnicas de Programao I
Teoria da Computao

6.1.2 Disciplinas Optativas

As 63 disciplinas optativas do currculo proposto, divididas por rea, so mostradas abaixo:
a) Inteligncia Artificial

Aprendizagem Automtica
Garimpagem de Dados
Linguagens de Programao II
Lgica Aplicada
Lgica Intuicionista e Modal
Modelagem Lgica do Raciocnio

Processamento de Linguagem Natural

Redes Neurais
Teoria da Prova
Tpicos Avanados em Inteligncia Artificial I
Tpicos Avanados em Inteligncia Artificial II
Tpicos Especiais em Lgica Matemtica

b) Matemtica Computacional e Computao Grfica

Clculo Diferencial e Integral III

Computao Grfica II
Computao Simblica
Fsica Geral II
Introduo s Equaes Diferenciais Ordinrias
Introduo s Equaes Diferenciais Parciais
Tpicos Avanados em Computao Grfica I
Tpicos Avanados em Matemtica Computacional I
Variveis Complexas e suas Aplicaes

c) Arquitetura de Computadores e Sistemas Operacionais

Arquitetura de Computadores II
Construo de Compiladores II
Sistemas Operacionais II
Tpicos Avanados em Sistemas Operacionais

d) Bancos de Dados

Bancos de Dados No Convencionais

Sistemas de Informao Distribudos
Tpicos Avanados em Bancos de Dados

e) Sistemas de Informao

Anlise e Projeto de Sistemas Orientados a Objetos

Interface Homem-Mquina
Tcnicas de Programao II
Tpicos Avanados em Sistemas de Informao
Trabalho Final de Desenvolvimento de Sistemas de Informao

f) Algoritmos, Grafos e Otimizao Combinatria

Algoritmos Aproximativos
Algoritmos Distribudos
Algoritmos Paralelos
Estruturas de Dados Avanadas
Pesquisa Operacional
Programao Matemtica
Teoria dos Grafos
Tpicos Avanados em Pesquisa Operacional
Tpicos Especiais em Grafos e Algoritmos I
Tpicos Especiais em Grafos e Algoritmos II

g) Redes de Computadores e Sistemas Distribudos

Computao de Alto Desempenho

Especificao Formal e Validao de Protocolos de Comunicao

Gerenciamento de Redes
Modelagem Analtica e Avaliao de Desempenho de Sistemas de Computao
Modelagem e Simulao Discreta de Sistemas
Noes de Probabilidade e Processos Estocsticos
Redes de Alta Velocidade
Sistemas Distribudos
Tpicos Avanados em Redes de Computadores
Tpicos Avanados em Sistemas Distribudos

h) Organizao e Gesto da Tecnologia de Informao

Administrao da Tecnologia da Informao

Impactos Scio-Tcnicos da Tecnologia da Informao
Reengenharia de Sistemas Administrativos
Sistemas de Informao

i) Contexto Social e Profissional

Administrao de Empresas
Contabilidade Geral
Empreendedor em Informtica
Informtica na Educao
Introduo Administrao
Novas Tecnologias e Ensino a Distncia

6.2 Integralizao Curricular

A seguir est a integralizao curricular proposta, mostrando semestre a semestre as disciplinas
sugeridas e seus pr-requisitos. Primeiramente so descritas as disciplinas obrigatrias e logo em
seguida as optativas.
As seguintes convenes so usadas. Antes do nome de cada disciplina est informado o
cdigo da mesma, se j existente. Por exemplo, lgebra Linear I tem o cdigo CB537. As
disciplina a serem criadas aparecem com cdigo CKxxx. A segunda coluna traz o nmero de
crditos, totalizados na ltima linha. Para as disciplinas optativas, consideramos como semestre o
perodo mnimo quando a disciplina pode ser cursada, tendo em vista seus pr-requisitos e as
solicitaes dos professores da unidade curricular correspondente. Isto implica, por exemplo, que
os alunos podem se matricular em Administrao de Empresas j no segundo semestre, uma vez
que tenham cursado Introduo Administrao no primeiro.

6.2.1 Disciplinas Obrigatrias

1o Perodo
CB534 Clculo Diferencial e Integral I
CB537 lgebra Linear I
CBxxx Matemtica Discreta para Computao
CKxxx Circuitos Digitais e Transmisso de Dados
CKxxx Fundamentos de Programao

Crd
6
3
4
6
6
25

2o Perodo
CB535 Clculo Diferencial e Integral II
CBxxx Fundamentos lgebricos para Computao
CD201 Fsica Geral I
CKxxx Estruturas de Dados

Crd
6
6
6
6

CKxxx Programao

3o Perodo
CBxxx Lgica para Computao
CCxxx Introduo Probabilidade e Estatstica
CD280 tica
CKxxx Programao Linear e Algoritmos em Grafos
CKxxx Tcnicas de Programao I

2
26

Requisitos
-

Requisitos
CB534 Clculo Diferencial e Integral I
CKxxx Matemtica Discreta para Computao
CB534 Clculo Diferencial e Integral I
CKxxx Matemtica Discreta para Computao
CKxxx Fundamentos de Programao
CKxxx Fundamentos de Programao

Crd
Requisitos
6 CKxxx Fundamentos Algbricos para Computao
4 CB535 Clculo Diferencial e Integral II
4 CD201 Fsica Geral I
CB535 Clculo Diferencial e Integral II
6 CKxxx Estruturas de Dados
CKxxx lgebra Linear
4 CKxxx Estruturas de Dados
CKxxx Programao
24

4o Perodo
CKxxx Arquitetura de Computadores I
CKxxx Construo e Anlise de Algoritmos
CKxxx Fundamentos de Bancos de Dados
CKxxx Linguagens de Programao I
CKxxx Mtodos Numricos I

5o Perodo
CKxxx Anlise e Projeto de Sistemas
CKxxx Computao Grfica I
CKxxx Inteligncia Artificial
CKxxx Mtodos Numricos II
CKxxx Sistemas de Gerenciamento de Bancos De Dados

6o Perodo
CKxxx Autmatos e Linguagens Formais
CKxxx Engenharia de Software
CKxxx Redes de Computadores
CKxxx Sistemas Operacionais I

Crd
Requisitos
4 CKxxx Circuitos Digitais e Transmisso de Dados
6 CKxxx Programao Linear e Algoritmos em Grafos
CCxxx Introduo Probabilidade e Estatstica
6 CKxxx Estruturas de Dados
6 CKxxx Estruturas de Dados
4 CKxxx Fundamentos de Programao
CB535 Clculo Diferencial e Integral II
CB537 lgebra Linear I
26
Crd
Requisitos
6 CKxxx Tcnicas de Programao I
CKxxx Fundamentos de Bancos de Dados
4 CB537 lgebra Linear I
CD280 tica
6 CKxxx Lgica para Computao
CKxxx Construo e Anlise de Algoritmos
4 CKxxx Mtodos Numricos I
6 CKxxx Fundamentos de Bancos de Dados
26
Crd
Requisitos
4 CKxxx Lgica para Computao
4 CKxxx Anlise e Projeto de Sistemas
6 CKxxx Arquitetura de Computadores I
CCxxx Introduo Probabilidade e Estatstica
6 CKxxx Estrutura de Dados
CKxxx Arquitetura de Computadores I
20

7o Perodo
CKxxx Construo de Compiladores I
CKxxx Informtica e Sociedade
CKxxx Teoria da Computao

Crd
Requisitos
6 CKxxx Autmatos e Linguagens Formais
CKxxx Linguagens de Programao I
CKxxx Arquitetura de Computadores I
4
6 CKxxx Autmatos e Linguagens Formais
16

6.2.2 Disciplinas Optativas

1o Perodo
CKxxx Impactos Scio-Tcnicos da Tecnologia de
Informao
CKxxx Novas Tecnologias e Ensino a Distncia
CKxxx Sistemas de Informao
ED056 Introduo Administrao
EH316 Contabilidade Geral
PB074 Informtica na Educao

Crd
4

Requisitos
-

4
4
6
4
4

2o Perodo
CKxxx Administrao da Tecnologia da Informao
CKxxx Reengenharia de Sistemas Administrativos
CKxxx Teoria dos Grafos
ED049 Administrao de Empresas

Crd
4
4
4
6

3o Perodo
CB536 Clculo Diferencial e Integral III
CD202 Fsica Geral II
CKxxx Computao Simblica

Crd
Requisitos
6 CB535 Clculo Diferencial e Integral II
6 CD201 Fsica Geral I
4 CKxxx Fundamentos de Programao
CB535 Clculo Diferencial e Integral II
4 CKxxx Estruturas de Dados

CKxxx Estruturas de Dados Avanadas

Requisitos
CKxxx Sistemas de Informao
CKxxx Sistemas de Informao
CKxxx Matemtica Discreta para Computao
ED056 Introduo Administrao

4o Perodo
CKxxx Lgica Aplicada
CKxxx Lgica Intuicionista e Modal
CKxxx Noes de Probabilidade e Processos Estocsticos
CKxxx Tcnicas de Programao II
CKxxx Teoria da Prova
CKxxx Tpicos Especiais em Lgica Matemtica

Crd
6
4
4
4
4
4

Requisitos
CKxxx Lgica para Computao
CKxxx Lgica para Computao
CCxxx Introduo Probabilidade e Estatstica
CKxxx Tcnicas de Programao I
CKxxx Lgica para Computao
CKxxx Lgica para Computao

5o Perodo
CCxxx Pesquisa Operacional
CKxxx Algoritmos Aproximativos
CKxxx Algoritmos Distribudos
CKxxx Algoritmos Paralelos
CKxxx Arquitetura de Computadores II
CKxxx Linguagens de Programao II
CKxxx Programao Matemtica
CKxxx Tpicos Avanados em Grafos e Algoritmos I

Crd
4
4
4
4
4
4
4
4

Requisitos
CKxxx Construo e Anlise de Algoritmos
CKxxx Construo e Anlise de Algoritmos
CKxxx Construo e Anlise de Algoritmos
CKxxx Construo e Anlise de Algoritmos
CKxxx Arquitetura de Computadores I
CKxxx Linguagens de Programao I
CKxxx Construo e Anlise de Algoritmos
CKxxx Construo e Anlise de Algoritmos

6o Perodo
CCxxx Tpicos Avanados em Pesquisa Operacional
CK102 Empreendedor em Informtica
CKxxx Anlise e Projeto de Sistemas Orientados a Objetos
CKxxx Aprendizagem Automtica
CKxxx Bancos de Dados no Convencionais
CKxxx Computao Grfica II
CB519 Introduo s Equaes Diferenciais Ordinrias
CKxxx Modelagem Lgica do Raciocnio
CKxxx Processamento de Linguagem Natural
CKxxx Redes Neurais
CKxxx Sistemas de Informao Distribudos
CKxxx Tpicos Avanados em Bancos de Dados I
CKxxx Tpicos Avanados em Grafos e Algoritmos II
CKxxx Tpicos Avanados em Inteligncia Artificial I

Crd
4
4
4
4
4
4
6
4
4
4
4
4
4
4

Requisitos
CCxxx Pesquisa Operacional
CKxxx Anlise e Projeto de Sistemas
CKxxx Anlise e Projeto de Sistemas
CKxxx Inteligncia Artificial
CKxxx Sistemas de Gerenciamento de Bancos de Dados
CKxxx Computao Grfica I
CKxxx Mtodos Numricos II
CKxxx Inteligncia Artificial
CKxxx Inteligncia Artificial
CKxxx Inteligncia Artificial
CKxxx Sistemas de Gerenciamento de Bancos de Dados
CKxxx Sistemas de Gerenciamento de Bancos de Dados
CKxxx Construo e Anlise de Algoritmos
CKxxx Inteligncia Artificial

CKxxx Tpicos Avanados em Sistemas de Informao

CKxxx Variveis Complexas e Suas Aplicaes
7o Perodo
CKxxx Computao de Alto Desempenho
CB524 Introduo s Equaes Diferenciais Parciais
CKxxx Garimpagem de Dados
CKxxx Gerenciamento de Redes
CKxxx Interface Homem-Mquina
CKxxx Modelagem Analtica e Avaliao de Desempenho de
Sistemas de Computao
CKxxx Modelagem e Simulao Discreta de Sistemas
CKxxx Sistemas Distribudos
CKxxx Sistemas Operacionais II
CKxxx Tpicos Avanados em Computao Grfica I
CKxxx Tpicos Avanados em Inteligncia Artificial II
CKxxx Tpicos Avanados em Matemtica Computacional I
CKxxx Tpicos Avanados em Redes de Computadores
CKxxx Trabalho Final de Desenvolvimento de Sistemas de
Informao

8o Perodo
CKxxx Construo de Compiladores II
CKxxx Especificao Formal e Validao de Protocolos de
Comunicao
CKxxx Redes de Alta Velocidade
CKxxx Tpicos Avanados em Sistemas Distribudos
CKxxx Tpicos Avanados em Sistemas Operacionais

4
4

CKxxx Anlise e Projeto de Sistemas

CKxxx Mtodos Numricos II

Crd
Requisitos
4 CKxxx Sistemas Operacionais I
CKxxx Construo e Anlise de Algoritmos
6 CB519 Introduo s Equaes Diferenciais Parciais
4 CKxxx Aprendizagem Automtica
4 CKxxx Redes de Computadores
4 CKxxx Engenharia de Software
4 CKxxx Redes de Computadores
CKxxx Noes de Probabilidade e Processos Estocsticos
4 CKxxx Redes de Computadores
CKxxx Noes de Probabilidade e Processos Estocsticos
CKxxx Fundamentos de Programao
4 CKxxx Sistemas Operacionais I
CKxxx Redes de Computadores
6 CKxxx Sistemas Operacionais I
4 CKxxx Computao Grfica II
4 CKxxx Inteligncia Artificial
4 CKxxx Variveis Complexas e Suas Aplicaes
4 CKxxx Redes de Computadores
6 CKxxx Bancos de Dados no Convencionais
CKxxx Anlise e Projeto de Sistemas Orientados a Objetos
CKxxx Sistemas de Informao Distribudos
Crd
Requisitos
4 CKxxx Construo de Compiladores I
4 CKxxx Modelagem e Simulao Discreta de Sistemas
CKxxx Sistemas Distribudos
4 CKxxx Sistemas Distribudos
4 CKxxx Sistemas Distribudos
4 CKxxx Sistemas Operacionais II

7. Tabela de Equivalncias
O novo currculo est previsto para ser implementado a partir do ano 2000. Os alunos que
ingressarem pelo vestibular do prximo ano sero, portanto, automaticamente matriculados nele.
Os alunos correntemente matriculados em 1999, no entanto, tero a oportunidade de optar pelos
dois caminhos. De modo a diminuir a inconvenincia para a universidade de conviver com dois
currculos diferentes simultaneamente, os alunos esto sendo fortemente encorajados a mudar
para a nova proposta. Espera-se cham-los para fazer a escolha no final do ms de novembro.
O novo currculo j lhes foi apresentado no final de fevereiro, oportunidade em que foi
feito um debate sobre as vantagens de mudar para a nova proposta. Suas dvidas principais foram
esclarecidas e at uma pgina da Internet foi criada a fim de cadastrar as perguntas j respondidas
e acolher novas dvidas que possam surgir. O endereo da pgina http://www.dc.ufc.br/cacomp/
curriculo-faq.html.
A fim de facilitar o aproveitamento de estudos dos estudantes optantes pela mudana de
currculo, foi elaborada a seguinte tabela de equivalncias. As disciplinas da coluna da esquerda
informam o nome das disciplinas do currculo novo que so equivalentes a suas congneres do
currculo atual. O maior esforo possvel foi feito para manter a maior compatibilidade possvel
de modo a que os alunos possam aproveitar todos os crditos cursados enquanto includos no
currculo vigente.

UNIVERSID ADE FEDER AL DO CE AR

CURSO COMPUTA O

CENTRO DE CINCIAS

(CURR CULO PLENO)

H ABI LI TA O

COORDENAO DO CURSO DE COMPUTAO

NF ASE

EQUIVALNCIA DE DISCIPLINAS
DISCI PLIN AS DO CURR CULO PROPO STO
SEM

CD

NOME D A DISCI PLI N A

DISCI PLIN AS DO C URRCULO VIGENTE

CRD SEM

CD

NOME D A DISCI PLI N A

CRD

CB XXX MATEMTI CA DISCRETA PARA COMP UTAO

04

CB567 TEORIA DOS CONJUNTOS

06

CK087 FUNDAMENTOS DE PROGRAMAO

06

CK087 FUNDAMENTOS DE PROGRAMAO

06

CB534 CLCULO DIFERENCIAL E INTEGRAL I

06

CB534 CLCULO DIFERENCIAL E INTEGRAL I

06

CB589 LGEBRA LINEAR I

04

CB589 LGEBRA LINEAR I

04

CK XXX CIRCUITOS DIGITAIS E TRANSMISSO DE DA DOS

06

CK009 ARQUITETURA DE COMPU TADORES

04

CK XXX FUNDAMENTOS ALGBRI COS PARA CO MPUTAO

06

CB507 ESTRUTURAS ALGBRICA S

06

CKXXX ESTRUTURAS DE DADOS

06

CK029 ESTRUTURAS DE INFORMAO

04

CD201 FSICA GERAL I

06

CD201 FSICA GERAL I

06

CB535 CLCULO DIFERENCIAL E INTEGRAL II

06

CB535 CLCULO DIFERENCIAL E INTEGRAL II

06

CK XXX PROGRA MAO

02

CK036 LABORATRIO DE PROGR AMAO I

03

CK XXX LGICA PARA COMPUTA O

06

CB515 INTRODUO LGICA MATEMTI CA

06

CK XXX PROGRA MAO LI NEAR E ALGORITMOS EM GRAFOS

06

CC060 PROGRA MAO LI NEAR

06

CCXXX INTRODUO PROBABI LIDADE E ESTATSTICA

04

CC051 INTRODUAO ESTATS TICA

06

CK XXX TCNICAS DE PROGRA MA O I

04

CK075 TCNICAS DE PROGRA MA O I

06

CK019 CONSTRUO E ANLISE DE ALGORITMOS

06

CK019 CONSTR. E ANLISE DE ALGORITMOS

06

CK XXX LINGUAGE NS DE PROGRA MAO I

06

CK043 LINGUAGE NS DE PROGRA MAO I

04

CK047 MTODOS NUMRI COS I

04

CK047 MTODOS NUMRI COS I

04

CK XXX FUNDAMENTOS DE BANCO DE DADOS

06

CK105 BANCO DE DADOS I

06

CK031 INTELIGNCIA ARTIFICIAL

06

CK031 INTELIGNCIA ARTIFICIAL

06

CK090 COMPUTAO GRFICA I

04

99

CK090 COMPUTAO GRFICA I

04

CK048 MTODOS NUMRI COS II

04

CK048 MTODOS NUMRI COS II

04

06

CK011 BANCO DE DADOS II

06

CK003 ANLISE E PROJETO DE SISTEMAS I

04

CK005 ANLISE E PROJETO DE SISTEMAS II

04

CKXXX

SISTEMAS DE GERENCIA MENTO DE BANCO DE

DADOS

CK XXX ANLISE E PROJETO DE SISTEMAS

SEM

99

CD

NOME D A DISCI PLI N A

06

CRD SEM

CD

NOME D A DISCI PLI N A

CRD

CK069 SISTEMAS OPERACIONAI S I

06

CK069 SISTEMAS OPERACIONAI S I

06

CK XXX ENGENHA RIA DE SOFTW ARE

04

CK024 ENGENHA RIA DE PROGRA MAO

04

CK061 REDES DE COMPUTA DORE S

06

99

CK061 REDES DE COMPUTA DORE S

06

CK101 TEORIA DA COMPUTAO

06

99

CK101 TEORIA DA COMPUTAO

06

CK017 CONSTRUO DE COMPI LADORES I

06

CK017 CONSTRUO DE COMPI LADORES I

06

CK XXX INFORMTICA E SOCIEDA DE

04

CK016 COMPUTADOR E SOCIEDA DE

04

04

99

C K 0 0 1 ADMINISTRAO DE CPD

04

ED049 ADMINISTRAO DE E MP RESAS

06

99

ED049 ADMINISTRAO DE E MP RESAS

06

CK104 ANLISE E PROJETO DE S. ORIENTADOS A OBJETOS

06

99

CK104 APS ORIENTADOS A OBJ ETOS

06

CC536 CLCULO DIFERENCIAL E INTEGRAL III

06

CC536 CLCULO DIFERENCIAL E INTEGRAL III

06

CK091 COMPUTAO GRFICA I I

04

99

CK091 COMPUTAO GRFICA I I

04

CK092 COMPUTAO SI MBLICA

04

99

CK092 COMPUTAO SI MBLICA

04

CKXXX

ADMINISTRAO DA TECNOLOGIA DA INFORMAO

CK018 CONSTRUO DE COMPI LADORES II

06

99

CK018 CONSTRUO DE COMPI LADORES II

06

EH316 CONTABILIDADE GERAL

04

99

EH316 CONTABILIDADE GERAL

04

CK102 EMPREENDEDOR E M INFO RMTICA

04

99

CK102 EMPREENDEDOR E M INFO RMTICA

04

CKXXX ESTRUTURAS DE DADOS AVANADAS

04

05

CK051 ORGANIZAO DE ARQUI VOS

04

CD202 FSICA GERAL II

06

02

CD202 FSICA GERAL II

06

PB074

04

99

PB074 INFORMTICA NA EDUCA O

04

ED056 INTRODUO ADMI NIS TRAO

06

99

ED056 INTRODUO ADMI NISTRA O

06

CK XXX INTRODUO COMPUTA O

04

01

CK033 INTRODUO COMPUTA O

04

CK XXX LABORATRIO DE PROGR AMAO II

03

03

CK038 LABORATRIO DE PROGR AMAO II

03

CK044 LINGUAGE NS DE PROGRA MAO II

06

99

CK044 LINGUAGE NS DE PROGRA MAO II

06

CK045 LGICA APLICADA

06

99

CK045 LGICA APLICADA

06

CCXXX PESQUISA OPERACIONAL

04

99

CC158 PESQUISA OPERACIONAL I

06

CK068 SISTEMAS DISTRIBUDO S

06

CK068 SISTEMAS DISTRIBUDO S

06

CK070 SISTEMAS OPERACIONAI S II

06

99

CK070 SISTEMAS OPERA CIONAIS II

06

CK XXX TCNICAS DE PROGRA MA O II

04

CK076 TCNICAS DE PROGRA MA O II

06

CK XXX TPICOS AV. EM MATE MTICA COMPUTACIONAL I

04

99

CK079 TPICOS EM MAT. COMP UTACIONA L

06

CKXXX TPICOS AVANADOS EM BANCO DE DADOS I

04

99

CKXXX TPICOS AV. EM BANCO DE DADOS

04

INFORMTICA NA EDUCA O

8. Ementas
A seguir esto, em ordem alfabtica, as ementas das disciplinas obrigatrias e optativas descritas
nas sees anteriores.

8.1 Disciplinas Obrigatrias

lgebra Linear I 3 crditos
Matrizes. Determinantes. Sistemas de equaes lineares. Espaos vetoriais. Transformaes
lineares. Autovalores e autovetores. Diagonalizao de operadores lineares. Produto interno.
Formas quadrticas. Classificao de cnicas e qudricas.
Anlise e Projeto de Sistemas 6 crditos
Fundamentos de Sistemas. Fundamentos de Sistemas de Informao. Ciclo de vida de um sistema
de Processamento Eletrnico de Dados. Concepo. Projeto Lgico. Projeto Fsico. Implantao.
Novas Tecnologias.
Arquitetura de Computadores I 4 crditos
Projeto de sistemas digitais. Organizao de computadores. Modelo de Sistemas Digitais
Unidade Arit-mtica-Lgica. Modelo de Sistemas Digitais Unidade de Controle. Conjunto de
instrues. Projeto de um stack computer.
Autmatos e Linguagens Formais 4 crditos
Linguagens: Regulares. Livres de Contexto. Sensveis ao Contexto. Irrestritas. Operaes com
linguagens. Propriedades das Linguagens. Reconhecedores: Autmatos de Estados Finitos, de
Pilha. Mquinas de Turing.
Clculo Diferencial e Integral I 6 crditos
Funes reais de uma varivel real. Limite e continuidade. Funes trigonomtricas, exponencial
e logartmica. Derivadas e suas aplicaes. Primitivas.
Clculo Diferencial e Integral II 6 crditos
Aplicaes da integral definida. Coordenadas Polares. Mtodos de integrao. Funes transcendentes.
Circuitos Digitais e Transmisso de Dados 6 crditos
Cdigos, Nmeros e Aritmtica. lgebra Booleana. Portas Lgicas. Simulador de Circuitos
Digitais. Circuitos Combinatrios. Circuitos Seqenciais. Circuitos Bsicos da Lgica Digital.
Circuitos Combina-trios. Circuitos Aritmticos. Memria. Transmisso de Dados.
Computao Grfica I 4 crditos

Introduo. Estudo das Primitivas de Output Grficas. Cenas Bidimensionais. Cenas

Tridimensionais. Cores e Pigmentao. Mtodos de Modelagem. Projeto de Interface com o
Usurio
Construo de Compiladores I 6 crditos
Introduo Compilao. Anlise Lxica. Anlise Sinttica. Anlise Semntica. Gerao de
Cdigo. Otimizao de Cdigo.
Construo e Anlise de Algoritmos 6 crditos
Introduo Anlise de Algoritmos. Mtodo Guloso. Programao Dinmica. Retrocesso.
Classes de Complexidade Algortmica.
Engenharia de Software 4 crditos
Gerenciamento de projeto. Estimao de custos. Anlise e especificao de requisitos
Especificaes formais. Interface com o usurio. Modelagem de dados. Tcnicas e modelagens
para projeto e imple-mentao: arquitetura de projeto, projeto estruturado, projeto orientado a
objetos. Gerenciamento de verses e configuraes. Verificao: testes, revises e inspees.
Validao e certificao de qualidade. Manuteno. Documentao.
Estruturas de Dados 6 crditos
Introduo. Listas lineares. rvores. rvores balanceadas. Listas de prioridades. Tabelas de
disperso. Busca digital.
Fsica Geral I 6 crditos
Cinemtica translacional e rotacional. Dinmica translacional. Trabalho. Energia. Momento
linear. Princpios de conservao. Colises.
Fundamentos lgebricos para Computao 6 crditos
Axiomtica de Cantor para a Teoria de Conjuntos. Relaes. Relao de Equivalncia. Conjunto
Partio e lgebra Quociente. Funes. Axiomtica de Peano. Induo. Recurso. Cardinalidade
e Enumerabilidade de Conjuntos. Ordem. Reticulados.
Fundamentos de Bancos de Dados 6 crditos
Introduo. O Modelo relacional. A Linguagem SQL. Modelagem de Dados. Projeto Lgico de
Banco de Dados.
Fundamentos de Programao 6 crditos
Algoritmos. Estruturas de Controle. Tipos de Dados Estruturados. Algoritmos de Classificao.
Algoritmos de Busca. Funes e Procedimentos. Entrada e Sada.
Informtica e Sociedade 4 crditos

Leitura sobre impactos do uso na informtica nos diversos segmentos das sociedades.
Implicaes econmicas, polticas e culturais das novas tecnologias. O papel do Terceiro Mundo
frente as inovaes tecnolgicas. A telemtica e as redes de comunicao internacional e sua
influncia sobre a gerao, disseminao e consumo de cincia e tecnologia. Influncia do uso de
novas tecnologias sobre a famlia, educao, trabalho e cidadania.
Inteligncia Artificial 6 crditos
Sistemas de Produo e Inteligncia Artificial. Estratgias de Busca. Estratgias de Busca para
Sistemas Decomponveis. Clculo de Predicados em IA. Resoluo. Sistemas de Deduo
Baseados em Regras. Aplicaes.
Introduo Probabilidade e Estatstica 4 crditos
Noes sobre populao, amostra e espao amostral. Probabilidades em espaos amostrais
discretos. Variveis aleatrias discretas. Parmetros de distribuio de uma varivel aleatria.
Distribuies discretas: binomial, hipergeomtrica, Poisson. A aproximao normal, uso das
tabelas. Noes sobre amostragem e distribuies amostrais. Estimao. Provas de hipteses
estatsticas. Regresso e correlao, noes de anlise de varincia.
Linguagens de Programao I 6 crditos
Introduo. Especificao formal de sintaxe. Traduo. Projeto de linguagens de programao.
Tipos de dados. Controle de Seqncia. Controle de Dados. Paradigmas de linguagens de
programao.
Lgica para Computao 6 crditos
Induo e recurso. Lgica proposicional. Lgica de primeira ordem. Semntica da lgica.
Mtodos de prova. Teorema da completude.
Matemtica Discreta para Computao 4 crditos
Conjuntos e funes. Princpio de Contagem. Induo Matemtica. Princpio da Incluso e da
Excluso. Funes Geradoras. Relaes de Recorrncia. Grafos. Teoria da Codificao.
Mtodos Numricos I 4 crditos
Estudo e Implementao dos Mtodos Numricos. Tempo e Estabilidade Computacional. Razes
de Equaes Transcendentes. Aproximao Numrica. Interpolao Polinomial. Diferenciao e
Integrao Numrica. Sistema de Equaes Lineares e Inverso de Matrizes.
Mtodos Numricos II 4 crditos
Clculo do Zero de Funes No-Lineares. Integrao Numrica. Diferenciao Numrica.
Soluo de Sistemas de Equaes Algbricas Lineares. Clculo de Autovalores de Matrizes.
Soluo de Valores Iniciais de Equaes Diferenciais Ordinrias. Soluo de Valores Iniciais de
Equaes Diferenciais Ordinrias.
tica 4 crditos

Princpios de tica geomtrica e fsica. Lentes, Espelhos, Natureza da luz. Refrao, Difrao,
Interferncia, Polarizao.
Programao 2 crditos
Escolha de uma linguagem de programao. Variveis, constantes e expresses dessa linguagem.
Estruturas de controle e de dados. Entrada e sada. Procedimentos e funes. Aplicaes. Prtica
de programao em laboratrio empregando os recursos e as facilidades supridas por essa
linguagem.
Programao Linear e Algoritmos em Grafos 6 crditos
Programao Linear: Modelagem e Mtodo Simplex. Conceitos e definies de grafos. Representao de Grafos. Busca em Grafos. rvore Geradora Mnima. Caminhos Mnimos. Fluxo
Mximo e Multifluxo.
Redes de Computadores 6 crditos
Introduo. Transmisso da Informao. Topologias e meios fsicos de transmisso. Arquiteturas
e padres. Sistemas operacionais de redes. Segurana em redes. Tecnologias de redes de alta
velocidade.
Sistemas de Gerenciamento de Bancos de Dados 6 crditos
Armazenamento de dados. Processamento de consulta. Otimizao de consulta. Projeto fsico e
tuning de banco de dados. Transaes. Controle de concorrncia. Reconstruo aps falha.
Segurana. Sistemas de suporte deciso.
Sistemas Operacionais I 6 crditos
Conceitos de sistemas operacionais. Gerncia de processos. Gerncia de memria. Sistemas de
arquivo. Gerncia de dispositivos de entrada/sada. Problemtica dos deadlocks. Sistema
operacional DOS. Sistema operacional Unix.
Tcnicas de Programao I 4 crditos
Tcnicas de Programao. Projeto Estruturado de Programas. Projeto Lgico de Programas.
Implementao do Projeto. Construo de Programas. Testes de Programas. Evoluo de
Programas. Ambientes de Programao. Ferramentas Case. Programao Orientada a Objetos.
Linguagens de Programao Orientadas a Objetos.
Teoria da Computao 6 crditos
Linguagem Algortmica. Funes Recursivas. Mquinas de Turing. Mquinas de Turing
Universais. Tese de Church. Problemas Indecidveis. Enumerabilidade de Conjuntos via estes
formalismos. Problemas Intratveis. Exemplos de uso dos mtodos da diagonalizao e reduo
de problemas.

8.2 Disciplinas Optativas

Administrao da Tecnologia da Informao 4 crditos
Planejamento e desenvolvimento de sistemas. Administrao da funo informtica. Aspectos
culturais e organizacionais em sistemas de informao
Administrao de Empresas 6 crditos
O comportamento humano e a gerncia de empresas. A gerncia eficaz; modelos e teorias. As
funes gerenciais. Caractersticas das empresas. A teoria sistmica. A criatividade gerencial.
Algoritmos Aproximativos 4 crditos
Definies. Algoritmos Aproximativos Determinsticos. Algoritmos Aproximativos Evolutivos.
Algoritmos Aleatrios. Complexidade de Problemas e Algoritmos Aproximativos.
Algoritmos Distribudos 4 crditos
Modelos de computao distribuda. Problemas e Algoritmos. Aplicaes.
Algoritmos Paralelos 4 crditos
Introduo aos algoritmos paralelos. Modelo PRAM. Tcnicas bsicas de paralelizao. Modelo
de redes de interconexo.
Anlise e Projeto de Sistemas Orientados a Objetos 6 crditos
Fundamentos e Conceitos da Tecnologia de Orientao. Evoluo dos Mtodos Orientados a
Objetos. UML Unified Modeling Language. Modelagem com Diagramas UML. Diagrama de
Classes: Viso Esttica. Diagrama de Estados: Viso Dinmica. Diagrama Use Case: Viso
Dinmica. Diagrama de Interao: Viso Dinmica. Diagramas de Componentes. Diagramas de
Desenvolvimento.
Aprendizagem Automtica 4 crditos
Introduo a Aprendizagem Automtica. Aprendizagem de Conceitos. Aprendizagem em rvores
de Deciso. Proposta de trabalho de aplicao - rvores de deciso. Aprendizagem em Redes
Neurais. Avaliao escrita. Avaliao de Hipteses. Aprendizado Bayesiano. Teoria
computacional do aprendizado automtico. Algoritmos Genticos em Aprendizagem.
Aprendizagem de Regras de Produo. Aprendizagem no ambiente de multi-agentes.
Arquitetura de Computadores II 4 crditos
Pipelines. Organizao de Memria, hierarquia de memrias. Memria virtual. Caches.
Processadores CISC, RISC, superescalares, VLIW, vetoriais. Entrada/Sada. Multiprocessadores.
Memria compartilhada e distribuda. Topologias de interconexo.
Bancos de Dados no Convencionais 4 crditos

Bancos de dados orientados a objetos. Sistemas de suporte a deciso. Bancos de dados multimdia.
Clculo Diferencial e Integral III 6 crditos
Vetores em IRn e equaes paramtricas. Clculo diferencial de funes reais de mais de uma
varivel. Integrao mltipla. Introduo ao clculo de campos vetoriais.
Computao de Alto Desempenho 4 crditos
Vetorizao. Paralelismo. Arquiteturas. Sistemas Operacionais. Algoritmos e Modelos de
Programao. Otimizao. Mquinas Virtuais Paralelas (MPI, PVM).
Computao Grfica II 4 crditos
Geometria Tridimensional em Computao Grfica. Representao de Objetos. Sistemas de
Observao. Cenas Tridimensionais. Modelos de Cores e Pigmentao. Mtodos de Modelagem.
Projeto de Interface com o Usurio.
Computao Simblica 4 crditos
Princpios Bsicos: A Computao Hbrida Simblico-Numrica. Fundamentos dos Mtodos
Analtico-Numricos. Fundamentos de Computao Simblica. Tpicos Avanados.
Construo de Compiladores II 4 crditos
Processo de Compilao. Analise Sinttica bottom-up/top-down. Gerao de Cdigo das
Estruturas de Controle e das Estruturas de Dados Avanadas. Gerador de Compilador top-down/
bottom-up. Analise do Parser LL(1) /.SLR(1) mensagens de erro. Tabela de Smbolos. Gerao
de cdigo, Estudo da Maquina Intermediria Avanada
Contabilidade Geral 4 crditos
(*)
Empreendedor em Informtica 4 crditos
Desenvolvimento da capacidade empreendedora na rea de informtica, com nfase no estudo do
perfil do empreendedor, nas tcnicas de identificao e aproveitamento de oportunidades, na
aquisio e gerenciamento dos recursos necessrios ao negcio, fazendo uso de metodologias que
priorizam tcnicas de criatividade e da aprendizagem pr-ativa.
Especificao Formal e Validao de Protocolos de Comunicao 4 crditos
Tcnicas de Descrio Formal (Estelle, Lotos e SDL). Ferramentas para especificao e validao
de protocolos de comunicao.
Estruturas de Dados Avanadas 4 crditos
rvores Rubro-Negras. rvores Auto-Ajustveis. Heaps Binomiais. Heaps de Fibonacci.

Fsica Geral II 6 crditos

O oscilador harmnico simples: livre, amortecido e forado. Ondas progressiva e estacionrias.
Fluidos: princpios de Pascal e Arquimedes. Equaes da continuidade e Bernoulli. Calor. Calor
Especfico. Primeira lei da Termodinmica. Gs ideal. Equiparao de energia. Ciclo de Carnot.
Segunda lei da Termodinmica. Entropia.
Garimpagem de Dados 4 crditos
Introduo Garimpagem de Dados e ao Descobrimento de Informaes. Predio por Seres
Temporais. Preparao dos Dados. Tcnicas estatsticas. Lgica Nebulosa. rvores de Deciso.
Regras de Deciso. Tcnicas de visualizao e sonificao de dados.
Gerenciamento de Redes 4 crditos
Conceitos bsicos de sistemas de gerenciamento de redes. Arquitetura do modelo SNMP. MIBs
padres. Estrutura da informao de gerenciamento e protocolo. Arquitetura OSI/ISO de
gerenciamento. servio e protocolo. Comparao entre os modelos OSI/ISO e TCP/IP de
gerenciamento. Modelo de gerenciamento baseado na WEB. Modelos de gerenciamento JMAPI e
DMTF. Servio CORBA de gerenciamento.
Impactos Scio-Tcnicos da Tecnologia da Informao 4 crditos
O poder da informao. Informao e Responsabilidade Individual . Tecnologia de Informao e
Organizao (painel para especialistas). Informao e Organizao Virtual. Pensamento Indutivo
e Tecnologia de Informao. tica, segurana e privacidade dos dados corporativos.
Informtica na Educao 4 crditos
Apresentao de textos para reflexo sobre as questes decorrentes da introduo das novas
tecnologias na escola. Seleo e apreciao do principal software utilizado como recurso em
atividades curriculares. Discutir estratgias e problemas envolvidos na formao e participao de
professores em programas de informtica educativa na sala de aula. Investigar programas
existentes no pas e exterior, discutindo os modelos adotados, e analisando suas implicaes e
potencial de adoo para a nossa realidade. Discutir mtodos alternativos de avaliao quando
ensino e aprendizagem forem mediatizados pelas novas tecnologias da informao. Desenvolver
projetos de integrao curricular das novas tecnologias, em funo das diversas matrias
existentes nas sries escolares.
Interface Homem-Mquina 4 crditos
Definio de usabilidade. Geraes de interfaces. Dispositivos de interao. Ciclo de vida da
engenharia de usabilidade. Heursticas para usabilidade. Mtodos para avaliao da usabilidade.
Padres para interfaces. Interao do usurio com sistemas hipermdia.
Introduo Administrao 6 crditos
Introduo Administrao. Histria da administrao. Os trabalhos: individual e grupal. As
grandes reas funcionais. O processo empresarial e a empresa.
Introduo s Equaes Diferenciais Ordinrias 6 crditos

Mtodos clssicos analticos para a resoluo de equaes diferenciais de primeira ordem.

Mtodo de Euler. Estabilidade e convergncia dos mtodos numricos. Mtodos numricos de
passos mltiplos. Mtodo de Runge-Kuta. Equaes diferenciais lineares de segunda ordem.
Equaes lineares de ordem n. Mtodos numricos para solues de equaes lineares. Sistemas
de equaes diferenciais ordinrias. Mtodos numricos para a soluo de sistemas de equaes
diferenciais ordinrias. Teorema de existncia e unicidade. Aplicaes.
Introduo s Equaes Diferenciais Parciais 6 crditos
Equaes de primeira ordem. Equaes semilineares de segunda ordem. Equao do calor. Mtodo de separao de variveis. Sries de Fourier e sua convergncia. Equao da onda. Equao de
Laplace. Transformada de Fourier. Identidades de Green. Princpio do mximo. Teoremas de
unicidade.
Linguagens de Programao II 4 crditos
Contexto Histrico do Paradigma Declarativo e Funcional. Interpretao Lgica e Algortmica
dos Programas Declarativos. Lambda Calculus. Recursividade. Polimorfismo. Inferncia de
Tipos. Prova e Transformao de Programas. Aplicaes.
Lgica Aplicada 6 crditos
Teorema de Herbrand. O Mtodo de Resoluo. Correo e completude do Mtodo de Resoluo.
O Mtodo dos Tableaux. Dualidade entre Tableaux e Resoluo. Clculo de Seqentes. Deduo
Natural. Eliminao do corte e teorema da forma normal.
Lgica Intuicionista e Modal 4 crditos
Motivao filosfica para o Intuicionismo: O construtivismo de Brower. Linguagem da lgica
Intuicionista. Mtodos de prova para a lgica Intuicionista. Semntica da lgica Intuicionista.
Teorema da completude. Motivao filosfica para a lgica Modal: Mundos possveis. A
linguagem da lgica Modal. As lgicas Modais normais: K, T, D, S4 e S5. Lgicas Modais nonormais. Mtodos de prova para as lgicas Modais. Semntica de Kripke para as lgicas Modais.
Teorema da completude.
Modelagem Analtica e Avaliao de Desempenho de Sistemas de Computao 4 crditos
A importncia da anlise de desempenho em sistemas de computao. Introduo aos processos
estocticos. Cadeia de Markov de tempo contnuo. Filas do tipo nascimento e morte em
equilbrio. Filas markovianas em equilbrio. Equaes de Kolmogorov. Processos de renovao.
A fila M/G/l. Conceito de planejamento de capacidade. Introduo a anlise operacional. Anlise
operacional de filas isoladas. Redes de Filas. Redes de Filas Fechadas: soluo atravs do valor
mdio. Aplicao da teoria de filas anlise de desempenho de redes de computadores e sistemas
de mltiplo acesso.
Modelagem e Simulao Discreta de Sistemas 4 crditos
Definio de Sistemas, Modelos e Simulao. Caracterizao das vrias vises da simulao.
Modelos baseados em redes de filas. Resoluo analtica e por simulao dos modelos (2 o e 3o
enfoque apenas). Mtodos de aproximao. Modelagem hbrida (2o e 3o enfoque apenas). A

estrutura de redes de filas estendidas em uma linguagem orientada a processo. Probabilidade e

estatstica em simulao (2o e 3o enfoque apenas). Estruturao de modelos. Modelagem e
simulao orientada a evento. Anlise de diversos pacotes para simulao.
Modelagem Lgica do Raciocnio 4 crditos
Raciocnio com conhecimento incompleto. Deduo e no monotonicidade. Regras de Inferncia
estendida e semnticas restritivas. Lgica de default. Lgicas do Conhecimento e da Crena.
Circunscrio. Caracterizao e propriedades das lgicas no monotnicas. Modelos
preferenciais. No monotonicidade e paraconsistncia.
Noes de Probabilidade e Processos Estocsticos 4 crditos
Probabilidades em espaos amostrais discretos, probabilidade condicional e independncia.
Variveis aleatrias discretas. Cadeias de Markov a parmetro discreto. Processo de Poisson.
Noes de cadeias de Markov a parmetro contnuo.
Novas Tecnologias e Ensino a Distncia 4 crditos
Visa a promover o estudo investigativo das questes pedaggicas, tcnicas e polticas do ensino a
distncia, proporcionando aos participantes o desenvolvimento de um produto/prottipo de
aula/lio a distncia, contendo os elementos essenciais, tais como pblico alvo, objetivos, meio
utilizado, estratgias de ensino e modelo de avaliao.
Pesquisa Operacional 4 crditos
Introduo. Mtodos de Decomposio. Modelos industriais.
Processamento de Linguagem Natural 4 crditos
Introduo ao processamento de linguagem natural. Fundamentos Lingsticos. Gramticas e
Anlise sinttica. Gramticas Aumentadas. Anlise Semntica. Resoluo de Ambigidade.
Anlise pragmtica. Representao de Conhecimento. Planejamento.
Programao Matemtica 4 crditos
Introduo. Teoria Polidrica. Teoria de Desigualdades Vlidas. Algoritmos.
Redes de Alta Velocidade 4 crditos
Apresentao das novas tecnologias de redes em alta velocidade. Ambiente TCP/IP para suportar
aplicaes interativas. Arquitetura ATM. Redes Locais de alta velocidade. Mecanismos de
controle de congestionamento e trfego. Classificao das aplicaes interativas e diferentes
nveis de qualidade de servio (QoS).
Redes Neurais 4 crditos
Conexionismo. Tcnicas de aprendizagem. Prova de convergncia dos mtodos. Aplicao de
redes neurais na soluo de problemas. Comparao: Conexionismo vs. Simbolismo.
Reengenharia de Sistemas Administrativos 4 crditos

Introduo e projeto de pesquisa. Processos radicalmente novos. Bases conceituais. Caractersticas dos novos processos. Mudanas decorrentes da reengenharia. Identificando a oportunidade.
Mapeamento de processos organizacionais. Metas e clientes dos processos. Necessidades dos
clientes dos processos. Implementando os novos processos. Transferindo os novos processos.
Administrao do projeto de reengenharia.
Sistemas de Informao 4 crditos
Conceitos e componentes de um Sistema de Informao. Sistemas de informao para a tomada
de deciso. Ciclos de vida de sistemas. Sistemas de informao e o negcio da empresa.
Definio de requisito de sistemas. Sistemas de informaes pessoais. Sistemas de informaes
para trabalho de grupos. Sistemas de informaes organizacionais. Planejamento de sistemas.
Especificao de informao. Caractersticas dos sistemas de informaes. JAD Joint
Application Design. Engenharia de Informao. Gerenciando o Projeto de Sistemas.
Sistemas de Informao Distribudos 4 crditos
Bancos de dados cliente/servidor. Bancos de dados distribudos. Sistemas multibase.
Sistemas Distribudos 4 crditos
Introduo a sistemas distribudos. Comunicao em sistemas distribudos. Sincronizao.
Gerncia de processos. Sistemas de arquivos distribudos.
Sistemas Operacionais II 6 crditos
Introduo aos sistemas operacionais. Projeto de um sistema operacional multi-programado.
Estudo de casos: MS-DOS. Estudo de casos: Microsoft Windows 98. Estudo de casos: Unix.
Tcnicas de Programao II 4 crditos
Classes e objetos, mensagens e mtodos. Subclasses: herana e polimorfismo. Classes abstratas.
Estudo de bibliotecas de classes: colees, classes visuais. `Double dispatching. Projeto. O
catlogo de padres e sua aplicao. Smalltalk v5, C++, Java: classes vs tipos, tipos estticos e
dinmicos, mtodos de resoluo de mensagens, metaclasses, templates.
Teoria da Prova 4 crditos
Sistemas de Deduo Natural e Clculo de Seqentes para lgica clssica e intuicionstica.
Teoremas da Normalizao e Eliminao do Corte e suas conseqncias. Lambda Clculo, Teoria
dos Tipos. Sistema de Deduo Rotulada. Isomorfismo de Curry-Howard. Proof-nets e Lgica
Linear.
Teoria dos Grafos 4 crditos
Definies bsicas de/em grafos. rvores. Conexidade. Grafos Eulerianos e Hamiltonianos.
Emparelhamentos. Colorao de Arestas. Conjunto independentes. Colorao de Vrtices. Grafos
planares e Dgrafos.
Tpicos Avanados em Bancos de Dados 4 crditos

ndices em Bancos de Dados. Processamento e Otimizao de Consultas. Administrao e

Sintonia de Banco de Dados.
Tpicos Avanados em Computao Grfica I 4 crditos
Histrico. Animao auxiliada por computador. Cinemtica e tipos de animao. Captura de
movimentos. Modelagem de objetos tridimensionais. Personagens. Animao 3D. Morphing.
GIFs animados. Composio de imagens digitais e reais. Edio. Sonoplastia.
Tpicos Avanados em Inteligncia Artificial I 4 crditos
Avanos recentes em lgica no-monotnica. Lgica paraconsistente. Lgica intensional. Filosofia da lgica. Filosofia da linguagem.
Tpicos Avanados em Inteligncia Artificial II 4 crditos
Conexionismo. Tcnicas de aprendizagem. Prova de convergncia dos mtodos. Aplicao de
redes neurais na soluo de problemas. Comparao: Conexionismo vs. Simbolismo.
(*) IGUAL A REDES NEURAIS!?!?
Tpicos Avanados em Matemtica Computacional I 4 crditos
(*)
Tpicos Avanados em Pesquisa Operacional 4 crditos
(*) It seems this course has been eliminated.
Tpicos Avanados em Redes de Computadores 4 crditos
Estudo dirigido para a pesquisa em desenvolvimento por parte dos alunos.
Tpicos Avanados em Sistemas de Informao 4 crditos
Estudo dirigido para a pesquisa em desenvolvimento por parte do aluno.
Tpicos Avanados em Sistemas Distribudos 4 crditos
Apresentao das novas tecnologias de redes em alta velocidade. Ambiente TCP/IP para suportar
aplicaes interativas. Arquitetura ATM. Redes Locais de alta velocidade. Mecanismos de
controle de congestionamento e trfego. Classificao das aplicaes interativas e diferentes
nveis de qualidade de servio (QoS).
(*) IGUAL A REDES de alta velocidade??
Tpicos Avanados em Sistemas Operacionais 6 crditos
O projeto de um sistema operacional. Modelos e linguagens aplicadas construo de sistemas
operacionais. Mecanismos de estruturao. A construo de um sistema operacional simplificado.

Tpicos Especiais em Grafos e Algoritmos I 4 crditos

Introduo. Tema de estudo. Resultados conhecidos. Desafios futuros.
Tpicos Especiais em Grafos e Algoritmos II 4 crditos
Introduo. Tema de estudo. Resultados conhecidos. Desafios futuros.
Tpicos Especiais em Lgica Matemtica 4 crditos
Lgicas Paraconsistentes. Os clculos Cn de da Costa. Outras lgicas paraconsistentes. Lgicas
relevantes. Clculos implicacionais. Implicao e negao.
Trabalho Final de Desenvolvimento de Sistemas de Informao 6 crditos
(*)
Variveis Complexas e suas Aplicaes 4 crditos
Nmeros Complexos. Funes Analticas. Funes Elementares. Transformaes por Funes
Elementares. Integrais. Sries de Potncias. Resduos e Polos. Transformaes Conformes.
Aplicaes de Transformaes Conformes. Transformao de Schwarz-Christoffel. Frmulas
Integrais de Poisson. Complementos Sobre Teoria das Funes.

9. Concluso
A Computao a exemplo de outras reas, est em constante mutao. A mudana de currculo
nesta poca faz-se necessria no s por ser o currculo atual relativamente velho mas
definitivamente desatualizado, mas tambm por no estar mais de concordante com as diretrizes
para cursos de computao determinadas pelo Ministrio de Educao e pela Sociedade Brasileira
de Computao.
A principal carncia de mo-de-obra enfrentada no momento qualitativa e no
quantitativa. Para isso, preciso formar profissionais de alto nvel e cabe universidade faz-lo.
Estamos certos de, com a atual proposta, estar melhorando o ensino de computao a nvel de
graduao no s na UFC, mas tambm no Estado, tendo em vista o currculo de vrios cursos da
UFC servir tradicionalmente como referncia para os demais cursos de outras instituies de
ensino. O novo currculo pleno corrige eventuais falhas contidas na grade corrente, atualiza o
programa e a ementa de todas as disciplinas, amplia o elenco delas e ainda permite aos alunos
complementar sua formao com a escolha de disciplinas eletivas, formando, assim, profissionais
bem qualificados.
Considerando o carter de grande flexibilidade dada ao novo currculo, em que os alunos
tm agora no s uma gama muito maior de escolha de reas a seguir mas tambm a possibilidade
de eleger disciplinas de outras reas do saber a serem cursadas, caber coordenao do curso
um papel preponderante de orientao do(a) aluno(a). Em contrapartida, urge a Universidade
oferecer aos alunos as melhores condies possveis de aprendizado, seja em termos de melhora
dos laboratrios e espaos ocupados pelo Departamento de Computao, seja em termos de
contratao de professores, seja em termos de aquisio de software, seja em termos de
atualizao da biblioteca. Com isso, teremos certeza de que o ensino de computao na UFC
estar preparado para o novo milnio.

Apndice
A. Grade Curricular
Nas prximas duas pginas est descrita graficamente a grade curricular do novo currculo do
Curso de Bacharelado em Computao. Inicialmente so mostradas as disciplinas obrigatrias e
seus relacionamentos de acordo com a Seo 6.2.1. Para cada disciplina, esto indicados seu
cdigo (xxx quando este ainda no existe pois a disciplina ainda deve ser criada), seu nmero
de crditos e seu nome. Note que por motivo de esttica, somente oito disciplinas optativas so
sugeridas nesta grade. Na verdade, os alunos tm de cursar 42 crditos de optativas e eletivas.
Como a esmagadora maioria das disciplinas no obrigatrias tm quatro crditos, estima-se que
os alunos devero cursar de oito a dez delas.
A pgina seguinte traz a grade das disciplinas optativas. Por motivo de espao, somente
aparecem a as disciplinas obrigatrias que sejam pr-requisito direto para alguma optativa. Para
diferenci-las, as primeiras so apresentadas com trao cheio enquanto as ltimas so mostradas
com trao pontilhado.
A grade est organizada por perodo. As disciplinas optativas aparecem no semestre mais
cedo quando elas podem ser cursadas. Computao Grfica II, por exemplo, est no VI semestre
pois seu pr-requisito, Computao Grfica I, obrigatria, ofertada no quinto. Isto no quer
dizer obviamente que CG II ser necessariamente ofertada no segundo semestre de cada ano. Por
isso preciso cautela ao ler a tabela. Ela serve, portanto, apenas como um guia para professores e
alunos.