Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
Concorrncia
3,8
--8,1
8,2
6,9
10,0
17,0
16,2
17,2
84/1
85/22
887
404
40
40
22,2
10,1
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.
Empreendedorismo
Mtodos
Formais
Modelagem e Simulao
Multimdia
Processamento de Imagens
Programao Paralela
Redes de Computadores
Sistemas Digitais
Sistemas Distribudos
Tolerncia a Falhas
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
Lgica Matemtica
Clculo Diferencial e
Matemtica Discreta
Integral
Probabilidade e Estatstica
Geometria Analtica
5. Cincias da Natureza
Fsica
6. Contexto Social e Profissional
Administrao
Estgio
Computadores e Sociedade
Filosofia
Comunicao e Expresso
Informtica na Educao
Contabilidade e Custos
Ingls
Direito e Legislao
Sociologia
Economia
Mtodos Quantitativos
Empreendedorismo
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.
Disciplinas Eletivas:
crditos
205
TOTAL:
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.
Redes
Neurais
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
Teoria
Reengenharia
de Sistemas Administrativos
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
Sistemas
Crd
Requisitos
2o Perodo
CB535 Clculo Diferencial
e Integral II
CBxxx Fundamentos
lgebricos para Computao
Crd
CKxxx Programao
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
6
6
26
3o Perodo
CBxxx Lgica para
Crd
6
Requisitos
CKxxx Fundamentos
Computao
CCxxx Introduo
Probabilidade e Estatstica
CD280 tica
CKxxx Programao
Linear e Algoritmos em
Grafos
CKxxx Tcnicas de
Programao I
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
4
4
Crd
4
Requisitos
CKxxx Circuitos Digitais e
Transmisso de Dados
CKxxx Programao
Linear e Algoritmos em
Grafos
CCxxx Introduo
Probabilidade e Estatstica
CKxxx Fundamentos de
Programao
CB535 Clculo Diferencial
e Integral II
CB537 lgebra Linear I
26
5o Perodo
Crd
CKxxx Computao
Grfica I
CKxxx Inteligncia
Artificial
Requisitos
CKxxx Tcnicas de
Programao I
CKxxx Fundamentos de
Bancos de Dados
CB537 lgebra Linear I
CD280 tica
CKxxx Lgica para
Computao
CKxxx Construo e
Anlise de Algoritmos
CKxxx Mtodos
Numricos I
CKxxx Fundamentos de
Bancos de Dados
Crd
4
Requisitos
CKxxx Lgica para
Linguagens Formais
CKxxx Engenharia de
Software
Computao
CKxxx Anlise e Projeto de
Sistemas
CKxxx Arquitetura de
Computadores I
CCxxx Introduo
Probabilidade e Estatstica
CKxxx Estrutura de Dados
CKxxx Arquitetura de
Computadores I
CKxxx Redes de
Computadores
CKxxx Sistemas
Operacionais I
20
7o Perodo
Crd
CKxxx Construo de
Compiladores I
CKxxx Informtica e
Sociedade
CKxxx Teoria da
Computao
16
Requisitos
CKxxx Autmatos e
Linguagens Formais
CKxxx Linguagens de
Programao I
CKxxx Arquitetura de
Computadores I
CKxxx Autmatos e
Linguagens Formais
Crd
Requisitos
2o Perodo
CKxxx Administrao da
Tecnologia da Informao
CKxxx Reengenharia de
Sistemas Administrativos
Crd
ED049 Administrao de
Empresas
Requisitos
CKxxx Sistemas de
Informao
CKxxx Sistemas de
Informao
CKxxx Matemtica Discreta
para Computao
ED056 Introduo
Administrao
3o Perodo
CB536 Clculo Diferencial e
Crd
6
4
4
Requisitos
CB535 Clculo Diferencial e
Integral III
CD202 Fsica Geral II
Integral II
CD201 Fsica Geral I
CKxxx Fundamentos de
Programao
CB535 Clculo Diferencial e
Integral II
CKxxx Computao
Simblica
4o Perodo
Crd
Requisitos
CKxxx Lgica para
Computao
CKxxx Lgica para
Computao
4
4
4
5o Perodo
Crd
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
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
4
4
4
4
4
4
4
CCxxx Introduo
Probabilidade e Estatstica
CKxxx Tcnicas de
Programao I
CKxxx Lgica para
Computao
CKxxx Lgica para
Computao
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
Crd
Requisitos
4
4
CKxxx Sistemas de
Convencionais
CKxxx Computao Grfica
II
CB519 Introduo s
Equaes Diferenciais
Ordinrias
CKxxx Modelagem Lgica
do Raciocnio
CKxxx Processamento de
Linguagem Natural
CKxxx Redes Neurais
4
6
CKxxx Sistemas de
Informao Distribudos
4
4
4
4
7o Perodo
Crd
CB524 Introduo s
Equaes Diferenciais Parciais
CKxxx Garimpagem de
Dados
CKxxx Gerenciamento de
Redes
CKxxx Interface HomemMquina
Gerenciamento de Bancos de
Dados
CKxxx Computao Grfica
I
6
4
4
4
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
6
4
CKxxx Sistemas
Operacionais I
CKxxx Redes de
Computadores
CKxxx Sistemas
Operacionais I
CKxxx Computao Grfica
II
Crd
4
4
4
4
CKxxx Redes de
Computadores
CKxxx Bancos de Dados no
Convencionais
CKxxx Anlise e Projeto de
Sistemas Orientados a Objetos
CKxxx Sistemas de
Informao Distribudos
Requisitos
CKxxx Construo de
Compiladores I
CKxxx Modelagem e
Simulao Discreta de
Sistemas
CKxxx Sistemas
Distribudos
CKxxx Sistemas
Distribudos
CKxxx Sistemas
Distribudos
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.
EQUIVALNCIA DE DISCIPLINAS
DISCIPLINAS DO CURRCULO PROPOSTO
SEM
CBXXX
CK087
FUNDAMENTOS DE PROGRAMAO
MATEMTICA D
COMPUTAO
06
CB534
06
CB589
LGEBRA LINEAR I
CIRCUITOS DIGITAIS E TRANSMISSO DE
DADOS
04
CKXXX
06
CKXXX
CKXXX
ESTRUTURAS DE DADOS
FUNDAMENTO
MPUTAO
06
CD201
FSICA GERAL I
06
CB535
06
CKXXX
PROGRAMAO
02
CKXXX
LGICA PARA
CKXXX
CK019
CKXXX
CCXXX
CKXX
X
CK047
CKXX
X
5
CK090
CK048
CKXX
X
LINGUAGENS
DE PROGRA
MAO I
MTODOS
NUMRICOS I
FUNDAMENTO
S DE BANCO
DE DADOS
CK031
COMPUTAO
GRFICA I
MTODOS
NUMRICOS II
SISTEMAS DE
GERENCIA
MENTO DE
BANCO DE
DADOS
06
CK04
3
04
CK04
7
LINGUAGENS
DE PROGRA
MAO I
MTODOS
NUMRICOS I
06
CK10
5
BANCO DE
DADOS I
06
INTELIGNCIA
ARTIFICIAL
06
CK031
INTELIGNCIA
ARTIFICIAL
04
99
04
CK09
0
CK04
8
COMPUTAO
GRFICA I
MTODOS
NUMRICOS II
06
CK01
1
BANCO DE
DADOS II
06
ANLISE E
PROJETO DE
SISTEMAS I
ANLISE E
PROJETO DE
SISTEMAS II
04
04
CD
NOME DA
DISCIPLIN
A
CKXX
X
ANLISE E
PROJETO DE
SISTEMAS
06
5
6
CK00
3
CK00
5
SEM
CD
NOME DA
DISCIPLIN
A
CR
D
SE
M
04
04
06
04
04
CR
D
06
04
04
CONSTRUO
ALGORITMOS
CK069
SISTEMAS
OPERACIONAI
SI
06
CKXX
X
ENGENHARIA
DE SOFTW ARE
04
CK02
4
CK061
REDES DE
COMPUTADOR
ES
06
99
CK06
1
CK101
TEORIA DA
COMPUTAO
06
99
CK017
CKXX
X
99
ED049
CK104
CC53
6
CK091
CK092
CONSTRUO
DE
COMPILADORE
SI
INFORMTICA
E SOCIEDA DE
CKXXX
ADMINISTRA
O DE EMP
RESAS
ANLISE E
PROJETO DE S.
ORIENTADOS A
OBJETOS
CLCULO
DIFERENCIAL E
INTEGRAL III
COMPUTAO
GRFICA I I
COMPUTAO
SIMBLICA
SISTEMAS
OPERACIONAI
SI
CK069
ENGENHARIA
DE PROGRA
MAO
REDES DE
COMPUTADOR
ES
04
06
TEORIA DA
COMPUTAO
CK101
06
CK01
7
04
CK01
6
CONSTRUO
DE
COMPILADORE
SI
COMPUTADOR
E SOCIEDA DE
ADMINISTRA
O DA
TECNOLOGIA
DA
INFORMAO
04
99
CK001
ADMINISTRA
O DE CPD
06
99
ED04
9
ADMINISTRA
O DE EMP
RESAS
06
06
99
CK10
4
APS
ORIENTADOS A
OBJ ETOS
06
06
CC53
6
04
99
04
99
CK018
EH316
CK102
CKXXX
CD202
PB074
ED056
CKXXX
CKXXX
CK044
CK045
CCXXX
CK068
CK070
CKXXX
CKXXX
CKXXX
CK09
1
CK09
2
CLCULO
DIFERENCIAL E
INTEGRAL III
COMPUTAO
GRFICA I I
COMPUTAO
SIMBLICA
CONSTRUO DE COMPILADORES
II
CONTABILIDADE GERAL
EMPREENDEDOR EM INFO
RMTICA
ESTRUTURAS DE DADOS
AVANADAS
FSICA GERAL II
INFORMTICA NA EDUCA O
INTRODUO ADMINIS TRAO
INTRODUO COMPUTA O
LABORATRIO DE PROGR AMAO
II
LINGUAGENS DE PROGRA MAO
II
LGICA APLICADA
PESQUISA OPERACIONAL
SISTEMAS DISTRIBUDO S
SISTEMAS OPERACIONAI S II
TCNICAS DE PROGRAMA O II
TPICOS AV. EM MATEMTICA
COMPUTACIONAL I
TPICOS AVANADOS EM BANCO
DE DADOS I
06
06
06
04
04
06
04
04
06
99
04
99
04
99
04
05
06
04
06
04
02
99
99
01
03
03
06
99
06
04
06
06
04
99
99
7
99
3
04
99
04
99
8. Ementas
A seguir esto, em ordem alfabtica, as ementas das disciplinas obrigatrias e optativas descritas
nas sees anteriores.
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.
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.
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 (2 o 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.
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.