Anexo Resolucao 195 Aprova A Revisao Do Projeto Pedagogico Do Curso de Bacharelado em Ciencia Da Computacao Anexo

Ministrio da Educao
Universidade Federal do ABC
PROJETO PEDAGGICO DO CURSO DE

BACHARELADO EM CINCIA DA
COMPUTAO
Santo Andr
2015
1
Reitor da UFABC
Prof. Dr. Klaus Capelle
Pr-Reitor de Graduao
Prof. Dr. Jos Fernando Queiruga Rey
Diretor do Centro de Matemtica, Computao e Cognio
Prof. Dr. Edson Pimentel
Coordenao do Curso de Bacharelado em Cincia da Computao
Profa. Dra. Juliana Braga - Coordenadora
Profa. Dra. Letcia Bueno - Vice-Coordenadora
Prof. Dr. Andr Balan Colegiado
Prof. Dr. Daniel Martin Colegiado
Prof. Dr. Francisco Zampirolli - Colegiado
Prof. Dr. Luiz Rozante Colegiado
Equipe de Trabalho
Profa. Dra. Juliana Braga
Profa. Dra. Fabiana Santana
Prof. Monael Pinheiro Ribeiro
Prof. Dr. Luiz Rozante
Profa. Dra Karla Victori
Profa. Dra. Letcia Bueno
Prof. Dr. Andr Balan
Prof. Dr. Daniel Martin
Prof. Dr. Francisco Zampirolli
SUMRIO
SUMRIO
1.
DADOS DA INSTITUIO
2.
DADOS DO CURSO 6
3.
APRESENTAO
4.
PERFIL DO CURSO 7
5.
OBJETIVOS DO CURSO
OBJETIVOS GERAIS
OBJETIVOS ESPECFICOS
6.
REQUISITO DE ACESSO
9
10
FORMAS DE ACESSO AO CURSO

REGIME DE MATRCULA
10
7.
PERFIL DO EGRESSO
11
8.
ORGANIZAO CURRICULAR
FUNDAMENTAO LEGAL
REGIME DE ENSINO
10
14
14
17
MATRIZ CURRICULAR RECOMENDADA 19

ESTRUTURA DE CRDITOS
21
DISCIPLINAS DE OPO LIMITADA
22
9.
EMENTAS DAS DISCIPLINAS25
10.
AES ACADMICAS COMPLEMENTARES FORMAO
11.
ATIVIDADES COMPLEMENTARES
12.
ESTGIO CURRICULAR
13.
PROJETO DE GRADUAO 30
14.
ESTGIO CURRICULAR E PROJETO DE GRADUAO 32
15.
SISTEMA DE AVALIAO DO PROCESSO DE ENSINO E APRENDIZAGEM
16.
INFRAESTRUTURA 34
26
28
29
33
INSTALAES, LABORATRIOS E BIBLIOTECA 34

LABORATRIOS DIDTICOS
BIBLIOTECA
17.
35
36
DOCENTES 38
NCLEO DOCENTE ESTRUTURANTE
43
18.
SISTEMA DE AVALIAO DO PROJETO DO CURSO 43
19.
OFERTA DE DISCIPLINA NA MODALIDE SEMIPRESENCIAL
20.
Regras de Transio
21.
ANEXOS
44
Erro! Indicador no definido.
46
1. DADOS DA INSTITUIO
Nome da Unidade: Fundao Universidade Federal do ABC
CNPJ: 07 722.779/0001-06
Lei de Criao: Lei n 11.145, de 26 de julho de 2005, publicada no DOU em 27 de julho de
2005.
2. DADOS DO CURSO
Curso: Bacharelado em Cincia da Computao
Diplomao: Bacharel em Cincia da Computao
Carga horria total do curso: 3072 horas.
Tempo de Integralizao: 4 anos.
Estgio: No h estgio obrigatrio.
Turno de oferta: matutino e noturno.
Nmero de vagas por turno: 70 vagas.
Cmpus de oferta: Santo Andr.
Cmpus de oferta: Santo Andr
Ato autorizativo: Resoluo ConsEPE n 36/2009 e portaria de autorizao N 406, de 11
de outubro de 2011.
3. APRESENTAO
A Fundao Universidade Federal do ABC uma fundao pblica, criada pela Lei n
11.145 de 26 de Julho de 2005 sancionada pelo Presidente da Repblica e publicada no Dirio
Oficial da Unio em 27 de Julho de 2005. uma instituio de ensino superior, extenso e
pesquisa, vinculada ao Ministrio da Educao, com sede e foro no Municpio de Santo Andr,
situada na Rua Catequese, 242, bairro: Jardim, Santo Andr, CEP: 90904-000, no Estado de So
Paulo e com limite territorial de atuao multicampi na regio do ABC paulista, nos termos do
art. 2 da mencionada Lei.
A UFABC possui autonomia administrativa, didtico-cientfica, gesto financeira e
disciplinar, rege-se pela legislao federal que lhe pertinente, pelo Regimento dos rgos da
Administrao Superior e das Unidades Universitrias e pelas Resolues de seus rgos.
A Universidade Federal do ABC (UFABC) oferece o curso de Cincia da Computao na Av.

dos Estados N 5001.
O curso iniciou seu funcionamento a partir do Edital de Vestibular em 2 de Maio de 2006,
publicado no Dirio Oficial da Unio - Seo 3, N 83, 03 de Maio de 2006, pg. 25.
A UFABC oferece um total de 1.500 vagas anuais, sendo 750 (diurno) e 750 (noturno).
Desse total, so reservadas ao BCC, 70 vagas para o perodo diurno e 70 para o noturno.
Todos os alunos ingressam da UFABC pelo Curso de Bacharelado em Cincia e Tecnologia
(BC&T) que poder ser concludo em at 3 anos. Para que o aluno possa ser formar no Curso
de Cincia da Computao, ele dever cursar todas as disciplinas sugeridas na matriz curricular
tanto do BC&T como do BCC. Ressalta-se que as disciplinas sugeridas na matriz curricular do
B&T podem ser cursadas paralelamente as disciplinas sugeridas na matriz curricular do BCC, no
entanto, para o aluno colar grau no BCC necessrio que ele tenha colado grau previamente
no BC&T.
O Curso de Bacharelado em Cincia da Computao (BCC) tem a durao mnima de 4 anos
e a mxima de 11 anos, conforme a resoluo ConsEP N 44-10/12/2009. Deve-se atentar ao
prazo mximo de 18 quadrimestres para integralizar o BC&T conforme consta na Resoluo
ConsEPE No 166, de 08 de outubro de 2013.
4. PERFIL DO CURSO
O Curso de Bacharelado em Cincia da Computao (BCC) da Universidade Federal do ABC
objetiva formar profissionais com carter interdisciplinar, que possuam uma slida formao
terica aliada prtica, permitindo-os promover o conhecimento cientfico e tecnolgico da
Computao.
A formao interdisciplinar vem diretamente de encontro ao modelo pedaggico da
UFABC, que ainda sugere uma preparao calcada em conceitos bsicos e uma forte postura
cientfica.
Os egressos do curso devero atender demanda regional e nacional por profissionais de
Computao, com uma postura crtica e tica com relao a seu papel na sociedade.
O Bacharelado em Cincia da Computao da UFABC tem a Computao como atividade
fim. Sua estrutura curricular foi embasada em diversos documentos de referncia, como o
currculo proposto pelas associaes ACM (The Association for Computing Machinery), AIS (The
Association for Information Systems) e IEEE-CS (The IEEE Computer Society), o currculo
formulado pela Sociedade Brasileira de Computao (SBC) e ainda por legislao do Ministrio
da Educao (MEC).
De acordo com as diretrizes do MEC, os currculos dos cursos da rea de Computao e
Informtica podem ser compostos por quatro grandes reas de formao:
a) Formao bsica;
b) Formao tecnolgica;
c) Formao complementar;
d) Formao humanstica.
Aliada ao Bacharelado em Cincia e Tecnologia (BC&T) da UFABC, a formao bsica
compreende os princpios de: i) Representao e simulao matemticas; ii) Estrutura da
matria; iii) Processos de Transformao; iv) Energia; v) Humanidades e Cincias Sociais
Aplicadas e vi) Comunicao e Informao, necessrios para permitir o entendimento e o
projeto de computadores viveis.
A formao tecnolgica, tambm chamada de aplicada ou profissional, aplica os
conhecimentos bsicos adquiridos no desenvolvimento tecnolgico da Computao. Os
objetivos so criar instrumentos de interesse da sociedade ou robustecer tecnologicamente os
sistemas de computao. Entre temas de disciplinas de formao tecnolgica, pode-se citar:
Sistemas Operacionais, Redes de Computadores, Banco de Dados, Sistemas Multimdia,
Interao Humano-Computador, Realidade Virtual, Inteligncia Artificial, Computao Grfica,
Modelagem Geomtrica, Processamento de Imagens, Gesto de Projetos de Software,
Algoritmos Probabilsticos, Geometria Computacional, Combinatria Extremal, Grafos,
Tcnicas Avanadas de Programao e Robtica.
A formao complementar permite uma interao dos egressos dos cursos com outras
profisses, tendo como objetivo dotar o aluno do conhecimento necessrio para resolver
problemas de outras reas. Para que possa interagir com profissionais de outras reas na
busca de solues computacionais complexas para seus problemas, o profissional de
Computao deve conhecer de forma geral e abrangente essas reas. Como exemplos de reas
de formao complementar tm-se: Msica, Educao, Economia, Administrao, Biologia,
Polticas Pblicas, entre outras.
Ainda ligada formao complementar, existem disciplinas relacionadas com a pesquisa
cientfica, que proporcionam conhecimento sobre mtodos e trabalhos cientficos e que so
importantes para uma formao abrangente e contempornea do egresso.
A formao humanstica d ao egresso uma dimenso social e humana, por meio do

tratamento de temas como o empreendedorismo, a tica em Computao, a Sociologia e a
Filosofia.
Assim, aliada ao Bacharelado em Cincia e Tecnologia (BC&T) da UFABC, a estrutura
curricular do Bacharelado em Cincia da Computao (BCC) abrange as quatro reas de
formao anteriormente descritas. Embora ainda esteja sujeito a alteraes e ajustes, definiuse um conjunto de disciplinas, com recomendaes de sequncia de execuo, que so
apresentadas neste documento. So apresentadas tambm informaes sobre os objetivos do
BCC da UFABC, o perfil profissional do egresso e as competncias e habilidades exigidas
durante o curso.
5. OBJETIVOS DO CURSO
OBJETIVOS GERAIS
Formao de profissionais com slido conhecimento cientfico e tecnolgico na rea de
Computao.
OBJETIVOS ESPECFICOS
Incentivar o perfil pesquisador do estudante, visando promover o desenvolvimento

cientfico e tecnolgico da Cincia da Computao;
Preparar o estudante para atuar profissionalmente em organizaes, com esprito

empreendedor e com responsabilidade social;
Proporcionar atividades acadmicas que estimulem a interdisciplinaridade, bem como

a aplicao e renovao dos conhecimentos e habilidades de forma independente e
inovadora, nos diversos contextos da atuao profissional;
Formar estudantes que possam estar em sintonia com a nova realidade e necessidade
do aprendizado contnuo e autnomo, exigido pela sociedade do conhecimento e
organizaes dos dias atuais;
Promover no estudante uma postura tica e socialmente comprometida de seu papel

e de sua contribuio no avano cientfico, tecnolgico e social do Pas.
Com base nesses objetivos, pode-se definir que o bacharel em Cincia da Computao
da UFABC dever conhecer os fundamentos de sua cincia, suas razes histricas e
suas interligaes com outras cincias.
6. REQUISITO DE ACESSO
FORMAS DE ACESSO AO CURSO
O processo seletivo para acesso aos Cursos de Graduao da Universidade Federal do
ABC anual, e inicialmente dar-se- pelo Sistema de Seleo Unificado (SISU), do MEC, onde as
vagas oferecidas sero preenchidas em uma nica fase, baseado no resultado do Exame
Nacional do Ensino Mdio (ENEM). O ingresso nos cursos de formao especfica, aps a
concluso dos bacharelados interdisciplinares, se d por seleo interna, segundo a Resoluo
ConsEPE, nmero 31, de 4 de agosto de 2009. Contudo, o ingresso ao Bacharelado em Cincia
da Computao dar-se- pelo bacharelado interdisciplinar de Bacharelado em Cincia e
Tecnologia.
A seleo anual de candidatos para o BC&T realizada por meio do Sistema de Seleo
Unificada (Sisu), gerenciado pelo Ministrio da Educao (MEC), que considera a nota obtida
no Exame Nacional de Ensino Mdio (Enem).
Existe ainda a possibilidade de transferncia, facultativa ou obrigatria, de alunos de
outras IES para o BCC. No primeiro caso, mediante transferncia de alunos de cursos afins,
quando da existncia de vagas, atravs de processo seletivo interno (art. 49 da Lei n 9.394, de
1996 e Resoluo ConsEPE n 174 de 24 de abril de 2014); para o segundo, por transferncias
ex officio previstas em normas especficas (art. 99 da Lei 8.112 de 1990, art. 49 da Lei 9.394 de
1996 regulamentada pela Lei 9.536 de 1997 e Resoluo ConsEPE n 10 de 2008).
REGIME DE MATRCULA
Antes do incio de cada quadrimestre letivo, o aluno dever proceder a sua matrcula,
indicando as disciplinas que deseja cursar no perodo. O aluno ingressante dever cursar,
obrigatoriamente, o mnimo de nove crditos no quadrimestre de ingresso. A partir do
segundo quadrimestre, deve-se atentar aos critrios de jubilao (desligamento). O perodo de
matrcula determinado pelo calendrio da UFABC definido anualmente pelo ConsEPE.
Ressaltamos que embora mesmo no havendo pr-requisitos para a matrcula em
disciplinas, fortemente recomendado aos alunos que sigam a matriz sugerida pelo projeto
pedaggico do curso e em especial a Matriz Curricular (Tabela 1) apresentada nesse mesmo
documento.
10
7. PERFIL DO EGRESSO
O egresso no BCC deve estar preparado para atuar no mercado de trabalho, propondo
solues adequadas para situaes j conhecidas, bem como atuar de maneira inovadora em
contextos e problemas ainda no explorados. Sendo assim, este profissional pode continuar
suas atividades na pesquisa, promovendo o desenvolvimento cientfico, ou aplicando os
conhecimentos cientficos, promovendo o desenvolvimento tecnolgico.
O egresso dever, ainda, ter a autonomia intelectual para desenvolver-se em um processo
constante de educao continuada.
O bacharel em Cincia da Computao da UFABC poder atuar nas seguintes reas:
a) Organizaes pblicas, privadas e do terceiro setor;
b) Empreendedorismo;
c) Atividades de pesquisa;
d) Consultorias.
Do egresso do curso de Bacharelado em Cincia da Computao espera-se uma
predisposio e aptides para a rea, assim como competncias relacionadas s atividades
profissionais. Entende-se o termo competncia como a capacidade de exercer aptides,
obtidas principalmente atravs dos conhecimentos e prticas adquiridos no decorrer do curso.
A seguir as competncias a serem adquiridas pelos egressos so apresentadas, com suas
respectivas habilidades.
1) Forte embasamento conceitual nas reas de formao bsica, e na formao de uma
viso holstica da rea de Computao
Pretende-se com esta competncia desenvolver o raciocnio lgico e abstrato do
estudante, tendo como arcabouo a rea de formao bsica e suas matrias: Cincia da
Computao, Matemtica e Fsica. As habilidades a serem desenvolvidas nos alunos so:
a) Viso sistmica e integrada da rea de Computao;
b) Forte conhecimento dos aspectos cientficos e tecnolgicos relacionados rea de
Computao.
2) Domnio do processo de projeto e implementao de sistemas computacionais,
envolvendo o conhecimento do conceito de software e hardware
O cientista de Computao tem como uma das principais atividades projetar sistemas
computacionais em seu aspecto mais amplo, o que envolve elementos de hardware e de
software. A ele cabe analisar a aplicao a que se destina o sistema computacional,
11
escolhendo as configuraes, estruturas e funes mais adequadas para a aplicao em

questo. A seguir so descritas as habilidades relacionadas nesse grupo:
a) Habilidade de iniciar, projetar, desenvolver, implementar, validar, gerenciar e avaliar
projetos de software;
b) Projetar e desenvolver sistemas que integrem hardware e software;
c) Pesquisar e viabilizar solues de software para vrias reas de conhecimento e
aplicao;
d) Conhecimento de aspectos relacionados evoluo da rea de Computao, de forma
a poder compreender a situao presente e projetar a evoluo futura.
3) Aplicao dos conhecimentos especficos de diversas reas da Computao
Dentro deste domnio, pretende-se aprimorar os conhecimentos e habilidades dos
estudantes em disciplinas especficas nas seguintes reas.
Estruturas Discretas;
Fundamentos da Programao;
Algoritmos e Complexidade;
Organizao e Arquitetura dos Computadores;
Sistemas Operacionais;
Computao Centrada em Redes;
Linguagem de Programao;
Interao Humano-Computador;
Computao Grfica e Visual;
Sistemas Inteligentes;
Gesto e Administrao da Informao;
Questes Sociais e Profissionais;
Engenharia de Software e;
Cincia Computacional.
O estudante deve considerar que as atuais tecnologias, mtodos e ferramentas para cada
uma destas reas so passveis de renovao e evoluo.
4) Atuao em empresas e como empreendedores
Esta competncia est refletida na disciplina de Empreendedorismo e no estgio
curricular. Ela envolve planejar, ordenar atividades e metas, tomar decises identificando e
dimensionando riscos. A tomada de deciso deve analisar e definir o uso apropriado, a eficcia
e o custo-efetividade de recursos humanos, equipamentos, de materiais, de procedimentos e
de prticas. As habilidades a serem desenvolvidas so as seguintes:
12
Utilizar o conhecimento sobre a rea de Computao, e sua familiarizao com as

tecnologias correntes, para a soluo de problemas nas organizaes para o desenvolvimento
de novos conhecimentos, ferramentas, produtos, processos e negcios;
a) Organizar, coordenar e participar de equipes multi e interdisciplinares;
b) Desenvolver a capacidade empreendedora;
c) Considerar aspectos de negcio no processo de gerenciamento de um projeto.
5) Desenvolvimento de atividades de pesquisa

Esta competncia est relacionada ao desenvolvimento de pesquisa cientfica e
tecnolgica, que permita ao aluno ingressar em cursos de ps-graduao, ou realizar estas
pesquisas na indstria ou em organizaes especializadas. Pela caracterstica da rpida
evoluo da Computao, o futuro profissional tem que estar em um processo de contnuo
aprendizado. As habilidades a serem desenvolvidas so as seguintes:
a) Aprofundamento do conhecimento em rea (ou reas) especfica(s) da Computao,
visando possibilitar uma contribuio para o desenvolvimento da rea;
b) Ser capaz de identificar e especificar problemas para investigao, bem como planejar
procedimentos adequados para testar suas hipteses;
c) Conhecer e aplicar o mtodo cientfico de produo e difuso do conhecimento na
sociedade.
Neste sentido, a UFABC possui diversos programas ligados ao estmulo da pesquisa
cientfica, quais sejam: i) Pesquisando Desde o Primeiro Dia (PDPD), voltado para estudantes
ingressantes; ii) Programas de Iniciao Cientfica PIC/UFABC e PIBIC/UFABC-CNPq, que possui
bolsas de auxlio da prpria UFABC e do CNPq, alm do regime de voluntariado; iii) Programa
de Iniciao Cientfica em Desenvolvimento Tecnolgico e Inovao (PIBITI/CNPq/UFABC); iv)
parceria com o Programa Cincia sem Fronteiras, que permite a Graduao Sanduche no
Exterior (SWG), para a realizao de estudos e estgios em universidades no exterior, com
bolsas do CNPq e v) Programa de Iniciao Cientfica PIBIC nas Aes Afirmativas, voltado para
alunos que ingressaram na universidade por meio de aes afirmativas,. Alm disso, a UFABC
realiza um Simpsio de Iniciao Cientfica anualmente, para divulgar os trabalhos dos alunos
inscritos em seus programas.
6) Formao integral do estudante
Com a rpida e constante evoluo na rea da Computao, o curso de BCC da UFABC
deve preparar egressos para o processo de educao continuada, que os permitir avanar
alm das tecnologias atuais, vencendo desta forma os desafios do futuro. Os egressos do curso
13
devem apresentar um bom nvel de comunicao, tanto oral quanto escrita, em uma
variedade de contextos. Tambm, o egresso deve ser capaz de liderar e ser liderado com
esprito de equipe, resolvendo situaes com flexibilidade e adaptabilidade diante de
problemas e desafios. A viso da importncia em pautar seu trabalho pela tica profissional e
pelo respeito humano deve ser uma caracterstica marcante do futuro profissional. A seguir
so descritas as habilidades relacionadas a esta competncia:
a) Desenvolver aprendizagem contnua e autnoma;
b) Apresentar um bom nvel de comunicao oral e escrita;
c) Trabalho em grupo e com equipes inter e multidisciplinares;
d) Domnio de regras bsicas que regem a tica profissional da rea de Computao,
bem como a tica social;
e) Compreender a atuao profissional como uma forma de interveno do indivduo na
sociedade, devendo esta interveno refletir uma atitude crtica, de respeito aos
indivduos, legislao, tica, ao meio ambiente, tendo em vista contribuir para a
construo da sociedade presente e futura.
Estas habilidades podem ser desenvolvidas na disciplina de Computadores, tica e
Sociedade.
8. ORGANIZAO CURRICULAR
FUNDAMENTAO LEGAL
A seguir so elencados os documentos legais externos (Diretrizes Curriculares
Nacionais, Leis, Decretos, Resolues, Pareceres, Portarias, Normativas etc.), de ordem
federal, estadual, de rgo de classe, dentre outros, bem como os internos (Projeto
Pedaggico, Plano de Desenvolvimento Institucional) que fundamentam a estrutura curricular
do curso de bacharelado em Cincia da Computao da UFABC.
BRASIL. Presidncia da Repblica. Casa Civil. Subchefia para Assuntos Jurdicos. Lei n
9.394, de 20 de dezembro de 1996. Estabelece as diretrizes e bases da educao nacional.
Disponvel em: https://www.planalto.gov.br/ccivil_03/Leis/L9394.htm. Acesso em: 02 set.
2014.
BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Conselho Pleno.
Resoluo n 1, de 17 de junho de 2004. Institui Diretrizes Curriculares Nacionais para a
Educao das Relaes tnico Raciais e para o Ensino de Histria e Cultura Afro-Brasileira e
Africana. Disponvel em: http://portal.mec.gov.br/cne/arquivos/pdf/res012004.pdf. Acesso
em: 12 jul. 2014.
14
BRASIL. Ministrio da Educao. Secretaria da Educao Superior. Referenciais

Orientadores para os Bacharelados Interdisciplinares e Similares. 2010. Disponvel em:
http://www.ufabc.edu.br/images/stories/comunicacao/bachareladosinterdisciplinares_referenciais-orientadores-novembro_2010-brasilia.pdf. Acesso em: 02 set.
2014.
BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Cmara de Educao
Superior.
Parecer
CNE/CES
266,
de
jul.
2011.
Disponvel
em:
http://portal.mec.gov.br/index.php?option=com_content&view=article&id=16418&Itemid=86
6 Acesso em: 02 set. 2014.
BRASIL. Ministrio da Educao. Conselho Nacional de Educao. Conselho Pleno.
Resoluo n 1, de 17 de junho de 2004. Institui Diretrizes Curriculares Nacionais para a
Educao das Relaes tnico-Raciais e para o Ensino de Histria e Cultura Afro-Brasileira e
Africana. Disponvel em: http://portal.mec.gov.br/cne/arquivos/pdf/res012004.pdf. Acesso
em: 12 jul. 2011.
BRASIL. Presidncia da Repblica. Casa Civil. Subchefia para Assuntos Jurdicos. Decreto n
5.626, de 22 de dezembro de 2005. Regulamenta a Lei no 10.436, de 24 de abril de 2002, que
dispe sobre a Lngua Brasileira de Sinais - Libras, e o art. 18 da Lei no 10.098, de 19 de
dezembro
de
2000.
Disponvel
em:
https://www.planalto.gov.br/ccivil_03/_Ato2004-
2006/2005/Decreto/D5626.htm. Acesso em: 02 set. 2014.

BRASIL. Presidncia da Repblica. Casa Civil. Subchefia para Assuntos Jurdicos. Lei n
9.795, de 27 de abril de 1999. Dispe sobre a educao ambiental, institui a Poltica Nacional
de
Educao
Ambiental
outras
providncias.
Disponvel
em:
http://www.planalto.gov.br/ccivil_03/leis/l9795.htm. Acesso em: 02 set. 2014.

4.281, de 25 de junho de 2002. Regulamenta a Lei n 9.795, de 27 de abril de 1999, que institui
a Poltica Nacional de Educao Ambiental, e d outras providncias. Disponvel em:
http://www.planalto.gov.br/ccivil_03/decreto/2002/D4281.htm. Acesso em: 02 set. 2014.
Superior. Resoluo n 2, de 18 de junho de 2007. Dispe sobre carga horria mnima e
procedimentos relativos integralizao e durao dos cursos de graduao, bacharelados, na
modalidade
presencial.
Disponvel
em:
http://portal.mec.gov.br/cne/arquivos/pdf/2007/rces002_07.pdf. Acesso em: 02 set. 2014.
15
BRASIL. Ministrio da Educao. Gabinete do Ministro. Portaria Normativa n 40, de 12 de

dezembro de 2007. Institui o e-MEC, sistema eletrnico de fluxo de trabalho e gerenciamento
de informaes relativas aos processos de regulao, avaliao e superviso da educao
superior no sistema federal de educao, e o Cadastro e-MEC de Instituies e Cursos
Superiores e consolida disposies sobre indicadores de qualidade, banco de avaliadores
(Basis) e o Exame Nacional de Desempenho de Estudantes (ENADE) e outras disposies.
Disponvel em: http://meclegis.mec.gov.br/documento/view/id/17. Acesso em: 02 set. 2014.
BRASIL. Comisso Nacional de Avaliao da Educao Superior. Resoluo n 1, de 17 de
junho de 2010. Normatiza o Ncleo Docente Estruturante e d outras providncias. Disponvel
em:http://portal.mec.gov.br/index.php?option=com_docman&task=doc_download&gid=6885
&Itemid.
5.622. Regulamenta o art. 80 da Lei no 9.394, de 20 de dezembro de 1996, que estabelece as
diretrizes e bases da educao nacional. http://www.planalto.gov.br/ccivil_03/_ato20042006/2005/Decreto/D5622compilado.htm Disponvel em: Acesso em: 02 set. 2014.
BRASIL. Ministrio da Educao. Portaria n 4.059, de 10 de dezembro de 2004. Disponvel
em: http://portal.mec.gov.br/sesu/arquivos/pdf/nova/acs_portaria4059.pdf. Acesso em: 02
set. 2014.
FUNDAO UNIVERSIDADE FEDERAL DO ABC. Projeto Pedaggico. Santo Andr, 2006.
Disponvel
em:
http://www.ufabc.edu.br/images/stories/pdfs/institucional/projetopedagogico.pdf . Acesso
em: 02 set. 2014
FUNDAO UNIVERSIDADE FEDERAL DO ABC. Plano de Desenvolvimento Institucional.
Santo
Andr,
2013.
Disponvel
em:
http://www.ufabc.edu.br/index.php?option=com_content&view=article&id=7880%3Aresoluca
o-consuni-no-112-aprova-o-plano-de-desenvolvimento-institucional-20132022&catid=226%3Aconsuni-resolucoes&Itemid=42 Acesso em: 02 set. 2014.
Superior Parecer CNE/CES n 136/2012, aprovado em 8 de maro de 2012 - Diretrizes
Curriculares Nacionais para os cursos de graduao em Computao. Disponvel em:
http://portal.mec.gov.br/index.php?option=com_content&id=12991:diretrizes-curricularescursos-de-graduacao. Acesso em: 29 mar. 2014.
16
REGIME DE ENSINO
Ao ingressar na UFABC o aluno matriculado no curso de Bacharelado em Cincia e
Tecnologia (BC&T). No incio do quinto quadrimestre do BC&T recomendado, ao aluno que
deseja se formar um Bacharel em Cincia da Computao, comear a cursar disciplinas
diretamente relacionadas ao BCC.
A distribuio das disciplinas para a obteno do grau de Bacharel em Cincia da
Computao dada conforme a tabela 1. Na Coluna 1 da tabela 1, mostrada o tipo da
disciplina, na coluna 2 indicado a cor que essa disciplina aparece na Matriz Curricular
recomendada para o curso do BCC (tabela 2) e na coluna 3 mostrado o nmero de crditos
que o aluno deve cursar para cada tipo de disciplina.
Tabela 1 Distribuio das disciplinas para obteno de grau no BCC
Tipo de Disciplina
Cor na Matriz
Total de Crditos
Disciplinas obrigatrias do BCC e que Fundo amarelo
90 crditos
so obrigatrias do BC&T
Disciplinas obrigatrias do BCC, e que Fundo verde
62 crditos
so consideradas de opo limitada do

BC&T
Disciplinas obrigatrias do BCC e que Fundo azul claro
62 crditos
so consideradas de opo livre do

BC&T
Disciplinas de opo limitada do BCC
Fundo laranja
(*) 44 crditos, 30 crditos ou

20 crditos. Varia conforme
escolha por cursar estgio
e/ou projeto de graduao em
computao (PGC).
Disciplinas do BC&T e que so de opo
Fundo branco
12 crditos
livre para os alunos do BCC: fundo

branco
Total de Crditos para obter grau no
256 (**)
BCC
17
Total de Horas aula
3072
(*) Para cada uma das disciplinas optativas do BCC tem-se um conjunto de opes
oferecidas aos alunos. Destas opes algumas disciplinas so consideradas de opo limitada
ou livre do BC&T. Para compor os crditos de opo limitada, o aluno pode selecionar
disciplinas de 2 ou de 4 crditos. A quantidade de crditos das disciplinas de opo limitada vai
depender da escolha do aluno em cursar somente estgio, somente projeto de graduao em
computao (PGC) ou estgio e projeto de graduao em computao (PGC). Se o aluno optar
somente por estgio, ele dever cumprir 44 crditos de opo limitada. Se o aluno optar
somente por PGC, ele dever cumprir com 30 crditos de opo limitada. Se o aluno optar por
estgio e PGC, ele dever cumprir com 20 crditos. Consultar tpico 13 desse documento para
maiores esclarecimentos.
(**) O BCC tem uma carga horria mnima de 3072 horas-aula, correspondendo a 256
crditos considerando um quadrimestre composto por 12 semanas.
O currculo do curso tem um eixo central de disciplinas, obrigatrio para todos os alunos
(excetuando as obrigatrias do BC&T), que padroniza a formao dos acadmicos da UFABC.
Este eixo totaliza 124 crditos, que corresponde a 48,4% do curso.
H um conjunto de disciplinas que podem ser selecionadas pelos estudantes, oferecendo
autonomia para projetarem esta carga horria de acordo com seus interesses e aptides. Tais
disciplinas so oferecidas em dois grupos: disciplinas de opo limitada e disciplinas de opo
livre.
As disciplinas de opo limitada do BCC esto estruturadas em grupos, sendo que cada
grupo se aprofunda em uma rea especfica da Computao. As disciplinas de opo livre
objetivam a formao complementar do acadmico, permitindo a escolha das disciplinas
dentre as oferecidas nos cursos de graduao da UFABC. Totalizam 12 crditos da grade
curricular.
As disciplinas de opo livre objetivam a formao complementar do acadmico,
permitindo a escolha das disciplinas dentre as oferecidas nos cursos de graduao da UFABC.
Essas disciplinas totalizam 12 crditos da grade curricular.
importante destacar que a interdisciplinaridade do presente projeto pedaggico e
possibilidade de escolher disciplinas livres permite que o discente formado no BCC da UFABC
esteja alinhado com as seguintes diretrizes legais:
18
Decreto n 5.626 de 22 de Dezembro de 2005: a disciplina de LIBRAS, cuja ementa

faz parte do Rol de disciplinas dos cursos de licenciatura da UFABC, pode ser
cursada pelos alunos do BCC.
Lei no 11.64, sobre a obrigatoriedade da temtica Histria e Cultura AfroBrasileira e Indgena e resoluo 01/2004, de 17 de junho de 2004: o aluno do
BCC pode escolher cursar disciplinas livres que fazem parte do rol de disciplinas da
UFABC e que envolvem a temtica da Histria e Cultura Afro-Brasileira e
Indgenas.
Poltica Nacional de Educao Ambiental (Lei n 9795/1999 e decreto N 4.281,

de 25/06/2002): muitas disciplinas livres oferecidas no rol de disciplinas de
engenharia ambiental podem ser cursadas pelos alunos do BCC, permitindo assim
a integrao desse projeto pedaggico com a educao ambiental.
MATRIZ CURRICULAR RECOMENDADA

A Matriz Curricular Recomendada ao Curso de Bacharelado em Cincia da Computao da
UFABC, pode ser visualizada na tabela 2. Para saber o que representa cada cor da tabela 2,
consulte a tabela 1.
19
Bases
Computacionais
da Cincia
(0-2-2)
Bases
Matemticas
(4-0-5)
Bases Conceituais
da Energia
(2-0-4)
Natureza da
Informao
(3-0-4)
Geometria
Analtica
(3-0-6)
Funes de
uma Varivel
(4-0-6)
Fenmenos
Mecnicos
(4-1-6)
Fenmenos
Trmicos
(3-1-6)
Introduo
Comunicao e
Probabilidade e
Redes
Estatstica
(3-0-4)
(3-0-4)
Introduo s
Equaes
Diferenciais
Ordinrias
(4-0-6)
Transformaes Qumicas
(3-2-6)
Lgica Bsica
(4-0-4)
Programao Estruturada
(2-2-4)
Interaes
Atmicas e
Moleculares
(3-0-4)
Cincia
Tecnologia e
Sociedade
(3-0-4)
Circuitos
Digitais
(3-1-4)
Algoritmos e
Estruturas de
Dados I
(2-2-4)
Matemtica Discreta
(4-0-4)
Sistemas
Digitais
(2-2-4)
Anlise de
Algoritmos
(4-0-4)
Programao
Orientada a
Objetos
(2-2-4)
lgebra Linear
(6-0-5)
Computadores. tica e
Sociedade
(2-0-4)
Arquitetura de
Computadores
(4-0-4)
Algoritmos e
Estruturas de
Dados II
(2-2-4)
Banco de Dados
(4-0-4)
Inteligncia Artificial
(3-1-4)
Redes de
Computadores
(3-1-4)
Sistemas
Operacionais
(3-1-4)
Linguagens
Formais e
Autmatos
(3-1-4)
Projeto de
Graduao em
Computao I
(8-0-8)
Sistemas
Distribudos
(3-1-4)
Compiladores
(3-1-4)
Projeto de
Graduao em
Computao II
(8-0-8)
6
Quadr.
Bases Epistemolgicas da
Cincia Moderna
(3-0-4)
7
Quadr.
Fenmenos
Eletromagnticos
(4-1-6)
8
Quadr.
Estrutura e
Dinmica Social
(3-0-4)
Biodiversidade: Interao
entre Organismos e
Ambiente
(3-0-4)
9
Quadr.
Bioqumica:
Estrutura,
Propriedade e
Funes de
Biomolculas
(3-2-6)
Evoluo e
Diversificao
da Vida na
Terra
(3-0-4)
10
Quadr.
TERCEIRO ANO
QUARTO ANO
Fsica Quntica
(3-0-4)
Estrutura da
Matria
(3-0-4)
11
Quadr.
SEGUNDO ANO
5
Quadr.
3
Quadr.
Processamento
Funes de
da Informao Vrias Variveis
(3-2-5)
(4-0-4)
4
Quadr.
PRIMEIRO ANO
1
Quadr.
Base
Experimental
das Cincias
Naturais
(0-3-2)
2
Quadr.
Tabela 2 Matriz Curricular sugerida pelo BCC.
Computao
Grfica
(3-1-4)
Teoria dos
Grafos
(3-1-4)
Programao
Matemtica
(3-1-4)
Engenharia de
Software
(4-0-4)
Paradigma de
Programao
(2-2-4)
Projeto
Dirigido
(0-2-10)
Livre
(4 crditos)
Opo limitada
(8 crditos)
Opo Limitada
(12 crditos)
20
12
Quadr.
Projeto de
Graduao em
Computao III
(8-0-8)
Segurana de
Dados
(3-1-4)
Livre
Opo Limitada 10 crditos
(8
crditos)
ESTRUTURA DE CRDITOS
Na UFABC a quantidade de crditos e de horas de trabalho, associados a uma disciplina,
composto pelos trs dgitos T P I, onde:
T: Nmero de horas semanais de aulas expositivas presenciais da disciplina;
P: Nmero mdio de horas semanais de trabalho de laboratrio, aulas prticas ou de aulas
de exerccios, realizadas em sala de aula;
I: Estimativa de horas semanais adicionais de trabalho extra-classe necessrias para o bom
aproveitamento da disciplina.
Tendo como base estes valores, a estrutura de crditos, considerando o somatrio de T e
P, do BCC est apresentada da tabela 3.
Tabela 3 - Distribuio de Crditos por Quadrimestre do Curso de Bacharelado em Cincia da
Computao.
Crditos Aula
(T+P)
17
18
PRIMEIRO ANO
1 Quadr
2 Quadr
O
3 Quadr
O
18
19
18
20
20
22
SEGUNDO ANO
4 Quadr
5 Quadr
6 Quadr
TERCEIRO ANO
7 Quadr
8 Quadr
9 Quadr
O
10 Quadr
QUARTO
ANO
18
11 Quadr
28
28
21
12 Quadr
30
Total
256
DISCIPLINAS DE OPO LIMITADA

As disciplinas relacionadas na tabela 4 so aceitas automaticamente como sendo de opo
limitada para o BCC. Outras disciplinas podero ser aceitas como opo limitada, se houver
aprovao prvia do Colegiado do Curso de Bacharelado em Cincia da Computao. Tal
aprovao depender de itens tais como a demanda, disponibilidade e dinmica da evoluo
da rea de conhecimento. A Tabela 5 somente as disciplinas listadas na Tabela 4 que no so
oferecidas pelo BCC. A tabela 5 destaca as disciplinas da tabela 4 que so ofertadas por outros
cursos. Cabe sempre ressaltar que nem sempre uma disciplina considerada como Opo
limitada para o BCC oferecida pelo BCC.
Tabela 4 Todas as Disciplinas consideradas de Opo Limitada para o BCC
Cdigo da
Nome da Disciplina
Disciplina
MCTA001-13 Algoritmos e Estruturas de Dados I
Total de
Crditos
4
MCZA035-14 Algoritmos Probabilsticos
MCZA036-14 Anlise de Algoritmos II
MCZA001-13 Anlise de Projeto
MCTB007-13
MCZA002-13 Aprendizado de Mquina

MCZA003-13 Arquitetura de Computadores de Alto
Desempenho
MCZA004-13 Avaliao de Desempenho de Redes
MCZA005-13 Banco de Dados de Apoio Tomada de
Deciso
4
4
0
0
4
4
4
4
3
3
1
1
4
4
4
4
MCTX015-13
MCZA037-14 Combinatria Extremal
MCZA006-13 Computao Evolutiva e Conexionista
Anis e Corpos
Clculo Numrico
NHZ5003-09
Educao Distncia e Novas Tecnologias
ESZG013-13
Empreendedorismo
MCZA007-13 Empreendedorismo e Desenvolvimento de

Negcios
ESZI007-13
Gerenciamento e Interoperabilidade de Redes
22
MCZA016-13 Gesto de projetos de software
ESZG019-13
Gesto Estratgica e Organizacional
MCTB018-13
Grupos
MCZB012-13
Inferncia Estatstica
ESZI013-13
Informtica Industrial
4
3
0
1
4
4
4
4
MCZA008-13 Interao Humano-Computador

ESZB022-13 Introduo Bioinformtica
MCZX012-13
Introduo Criptografia
MCZB018-13
Introduo Modelagem e Processos

Estocsticos
MCTC003-13
Introduo Neurocincia Computacional
MCZA032-14 Introduo Programao de Jogos

ESZI012-13
Jogos Digitais: Aspectos Tcnicos e Aplicaes
MCZA010-13
MCZA011-13
MCZA012-13
MCZA013-13
MCZA014-13
MCZA015-13
Laboratrio de Engenharia de Software

Laboratrio de Redes
Laboratrio de Sistemas Operacionais
Lgicas no Clssicas
Mtodos de Otimizao
Minerao de Dados
0
0
0
4
4
3
4
4
4
0
0
1
4
4
4
4
4
4
4
4
4
4
4
4
ESTG013-13
Pesquisa Operacional
ESZI022-13
Planejamento de Redes de Informao
MCZA038-14 Prtica Avanada de Programao A
MCZA039-14 Prtica Avanada de Programao B
MCZA040-14 Prtica Avanada de Programao C
Princpios de Simulao Matemtica
MCZA041-14 Processamento de Imagens Utilizando GPU
MCZA017-13 Processamento de Linguagem Natural

MCZA018-13 Processamento Digital de Imagens
4
3
0
1
4
4
4
4
MCZA042-14 Processo e Desenvolvimento de Softwares

Educacionais
MCZA033-14 Programao Avanada para Dispositivos

Mveis
MCZB027-13
ESZI011-13
Programao de Dispositivos Mveis
23
MCZA019-13 Programao para Web

MCZA020-13 Programao Paralela
2
4
2
0
4
4
4
4
MCZA034-14 Programao Segura
MCZA021-13 Projeto de Redes

MCZA022-13 Projeto Interdisciplinar
MCZA023-13 Redes Convergentes
4
0
4
0
4
0
4
4
4
4
4
4
MCZA024-13 Redes sem Fio
MCZA044-14 Robtica e Sistemas Inteligentes
MCZA045-14 Robtica Educacional
MCZA025-13 Segurana em Redes
MCZA046-14 Semntica de Linguagens de Programao
MCZA026-13 Sistemas de Gerenciamento de Banco de

Dados
MCZA027-13 Sistemas de Informao
MCZA028-13 Sistemas Multiagentes

MCZA029-13 Sistemas Multimdia
3
2
1
2
4
4
4
4
MCZA047-14 Sistemas Multi-Robs Sociais
MCZA050-15 Tcnicas Avanada de Programao
MCZA048-14 Teoria Espectral de Grafos
MCZA049-14 Tpicos Emergentes em Banco de Dados
MCZA030-13 Vida Artificial na Computao

ESZA019-13 Viso Computacional
MCZA031-13 WebSemntica
2
3
4
0
1
0
4
4
4
2
4
4
ESZI005-13
ESZI014-13
MCZB033-13
Redes de Alta Velocidade
Sistemas Inteligentes
Teoria da Recurso e Computabilidade
Tabela 5 Apenas Disciplinas consideradas de Opo Limitada para o BCC, mas que no so
oferecidas pelo BCC e sim por outros cursos.
Cdigo da
Disciplina
Nome da Disciplina
Curso que oferece a Disciplina
MCTB007-13
Anis e Corpos
Bacharelado em Matemtica
MCTX015-13
Clculo Numrico
NHZ5003-09
Educao Distncia e Novas

Tecnologias
Licenciatura em Matemtica
24
ESZG013-13
Empreendedorismo
Engenharia de Gesto
ESZI007-13
Gerenciamento e
Interoperabilidade de Redes
Engenharia da Informao
ESZG019-13
Gesto Estratgica e Organizacional
Engenharia de Gesto
MCTB018-13
Grupos
MCZB012-13
Bacharelado em Neurocincia
ESZI013-13
Engenharia de Informao
ESZB022-13
Introduo Bioinformtica
MCZX012-13
MCTC003-13
Introduo Neurocincia
Computacional
ESZI012-13
Jogos Digitais: Aspectos Tcnicos e

Aplicaes
Engenharia da Informao
EN253123
Engenharia de Gesto
ESZI022-13
Planejamento de Redes de
Informao
MCZB027-13
ESZI011-13
Programao de Dispositivos
Mveis
ESZI005-13
ESZI014-13
MCZB033-13
Teoria da Recurso e
Computabilidade
ESZA019-13
Viso Computacional
Engenharia de Automao e
Robtica
9. EMENTAS DAS DISCIPLINAS

As ementas das disciplinas obrigatrias e de opo limitadas oferecidas pelo BCC
encontram-se no Anexo A. As ementas para as disciplinas de opo limitada que no so
oferecidas pelo BCC encontram-se no Anexo B. As ementas para as disciplinas obrigatrias
pelo BCC e oferecidas pelo BC&T encontram-se no Anexo C.
25
10. AES ACADMICAS COMPLEMENTARES FORMAO

A UFABC possui diversos projetos e aes para promover a qualidade do ensino de
graduao, dos quais merecem destaque:
PEAT: Projeto de Ensino-Aprendizagem Tutorial. Este projeto tem como objetivo,
promover a adaptao do aluno ao projeto acadmico da UFABC, orientando-o para uma
transio tranquila e organizada do Ensino Mdio para o Superior, em busca de sua
independncia e autonomia e a fim de torn-lo empreendedor de sua prpria formao. O
tutor um docente dos quadros da UFABC que ser responsvel por acompanhar o
desenvolvimento acadmico do aluno. Ser seu conselheiro, a quem dever recorrer quando
houver dvidas a respeito de escolha de disciplinas, trancamento, estratgias de estudo, etc.
Projeto de Assistncia Estudantil: bolsa auxlio para alunos carentes.
Projeto Monitoria Acadmica: A cada quadrimestre so selecionados alunos para
desenvolverem atividades de monitoria. As atividades de monitorias so dimensionadas pelos
docentes de cada disciplina, as atividades desenvolvidas so acompanhadas por meio de
relatrios e avaliaes peridicas. O monitor auxilia os demais alunos da disciplina, levantando
dvidas a acerca dos contedos e exerccios (tericos/prticos). A monitoria acadmica um
projeto de apoio estudantil e, por isso, os alunos monitores recebem auxlio financeiro pelo
desenvolvimento destas atividades. Entretanto, a nfase dada ao programa de monitoria
acadmica est focada ao processo de desenvolvimento de conhecimento e maturidade
profissional dos alunos, permitindo-lhes desenvolver aes que possibilitem a ampliao de
seus conhecimentos.
PIBID Programa Institucional de Bolsa de Iniciao Docncia: programa da
Coordenao de Aperfeioamento de Pessoal de Nvel Superior CAPES que visa fomentar a
iniciao docncia de estudantes das instituies pblicas de Educao Superior, federais e
estaduais, e preparar a formao de docentes em nvel superior, em curso de 33 licenciatura
presencial plena, para atuar na educao bsica pblica. O Projeto PIBID da UFABC selecionado
nos termos do Edital N 001/2011/Capes e aprovado em 07 de abril de 2011 inclui um
subprojeto na rea de Filosofia.
Projetos de Iniciao Cientfica: desenvolvido em parceria com a Pr-reitoria de Pesquisa,
com participao nas reunies do Comit do Projeto de Iniciao Cientfica, colaborando na
elaborao dos editais para bolsa de Iniciao Cientfica da UFABC e do CNPq. A Iniciao
Cientfica da UFABC permite introduzir os alunos de graduao na pesquisa cientfica, visando
fundamentalmente, colocar o aluno desde cedo em contato direto com a atividade cientfica e
26
engaj-lo na pesquisa. Tem como caracterstica o apoio terico e metodolgico realizao de

um projeto de pesquisa e constitui um canal adequado de auxlio para a formao de uma
nova mentalidade no aluno. Para isso a bolsa de iniciao cientfica um incentivo individual
que se concretiza como estratgia exemplar de financiamento aos projetos de relevncia e
aderentes ao propsito cientfico.
A pesquisa cientfica objetiva fundamentalmente contribuir para a evoluo do
conhecimento humano em todos os setores, sendo assim fundamental em universidades como
a UFABC. Considerando que ensino e pesquisa so indissociveis, a Universidade acredita que
o aluno no deve passar o tempo todo em sala de aula e sim buscar o aprendizado com outras
ferramentas. A Iniciao Cientfica (IC) uma ferramenta de apoio terico e metodolgico
realizao do projeto pedaggico, sendo assim um instrumento de formao.
A UFABC possui trs programas de iniciao pesquisa cientfica, a saber:
Pesquisando Desde o Primeiro Dia PDPD: programa de concesso de bolsas destinado a
alunos do primeiro ano da Universidade. Seus recursos so provenientes da Pr-Reitoria de
Graduao (PROGRAD). Este programa visa dar ao aluno ingressante a ideia de que a pesquisa
cientfico-pedaggica parte fundamental de sua formao.
Programa de Iniciao Cientfica PIC: Programa de concesso de bolsas financiado pela
prpria UFABC.
Programa Institucional de Bolsas de Iniciao Cientfica PIBIC: Programa de concesso
de bolsas do CNPq atravs do qual a Pr-Reitoria de Pesquisa (PROPES) obtm anualmente
uma quota institucional de bolsas.
Programa PIBIC nas Aes Afirmativas PIBIC-Af: Programa de concesso de bolsas do
CNPq voltado s universidades pblicas que so beneficirias de cotas PIBIC e que tm alunos
cuja insero no ambiente acadmico se deu por uma ao afirmativa no vestibular.
Uma parte importante da produtividade cientfica so as apresentaes de trabalhos em
congressos e simpsios, denominada Bolsa Auxlio Eventos. A PROGRAD disponibiliza uma
bolsa auxlio para participao nestes eventos, tendo por finalidade suprir despesas referentes
participao dos alunos, como taxa de inscrio e custos de viagem em eventos fora da
UFABC. importante salientar que nossos alunos de IC no participam somente de eventos de
Iniciao Cientfica, mas tambm de outros congressos e simpsios, inclusive com alunos de
ps-graduao e demais pesquisadores.
Finalmente o programa de IC exige a apresentao das pesquisas desenvolvidas para avaliao
pelos Comits Institucional e Externo, o que ocorre anualmente no Simpsio de Iniciao
27
Cientfica (SIC) e por meio de relatrios das atividades. H, tambm, a premiao para os
trabalhos que obtiveram destaque.
Atividades de Extenso: Algumas atividades de extenso oferecem bolsas para alunos.
Essas atividades de extenso so aquelas que ultrapassam o mbito especfico de atuao
do Instituto no que se refere ao Ensino (Graduao e Ps-Graduao) e Pesquisa.
A Extenso uma das funes sociais da Universidade, realizada por meio de um
conjunto de aes dirigidas sociedade, as quais devem estar indissociavelmente vinculadas
ao Ensino e Pesquisa. Num mbito geral, sua finalidade a promoo e o desenvolvimento
do bem-estar fsico, espiritual e social, a promoo e a garantia dos valores democrticos de
igualdade de direitos e de participao, o respeito pessoa e sustentabilidade das
intervenes no ambiente.
Ela considerada importante para o aluno, pois alm de geradora de polticas pblicas, a
Extenso Universitria serve como instrumento de insero social, aproximando a academia
das comunidades adjacentes e pode despertar interesses polticos e sociais nos alunos.
11. ATIVIDADES COMPLEMENTARES

As atividades complementares so todas as atividades de diversas naturezas, que no se
incluem no desenvolvimento regular das disciplinas constantes na grade curricular do BCC,
mas que so relevantes para a formao do aluno.
O objetivo do incentivo realizao de atividades complementares consiste em fornecer
ao estudante a oportunidade de enriquecer sua formao com a participao em atividades de
natureza diversificada. Como consequncia, tem-se a acentuao do carter interdisciplinar e
amplo da formao do aluno, alm do fortalecimento do vnculo entre teoria e prtica.
Uma vez que o BC&T requisito para o BCC, e neste curso j est prevista a realizao de
120 horas de atividades complementares, o BCC no exigir a realizao de atividades
complementares especficas alm das j previstas no BC&T.
As atividades complementares so divididas em trs grupos:
Atividades de complementao da formao social, humana, cultural e acadmica.
Atividades de cunho comunitrio e de interesse coletivo.
Atividades de iniciao cientfica, tecnolgica e de formao profissional.
A forma de validao da carga horria dessas atividades encontra-se na Resoluo ConsEP

n 43 de 07/12/2009. De acordo com esta resoluo, cabe Pr-Reitoria de Graduao
28
(PROGRAD) da UFABC dispor em regulamento especfico as atribuies dos envolvidos e o

fluxo do processo de validao das atividades complementares. As atividades complementares
podero ser realizadas na prpria UFABC ou em organizaes pblicas e privadas. Elas devem
ocorrer preferencialmente aos sbados ou no contraturno das aulas, no sendo justificativa
para faltas em atividades curriculares do curso.
12. ESTGIO CURRICULAR

O estgio curricular do Curso de Bacharelado em Cincia da Computao (BCC) da
Universidade Federal do ABC (UFABC) caracterizado como um conjunto de atividades de
aprendizagem profissional e cultural proporcionadas ao estudante pela participao em
situaes reais da vida e de seu meio, realizadas sob a responsabilidade da Coordenao de
Estgio e do Colegiado do BCC.
O estgio curricular no obrigatrio uma vez que o aluno pode optar por:
Desenvolver um Projeto de Graduao ao invs do Estgio Curricular; ou
Desenvolver somente o Estgio Curricular; ou
Desenvolver o Estgio juntamente com o Projeto de Graduao.
Ao optar pelo estgio curricular do BCC o mesmo dever ser cumprido de acordo com as
normas estabelecidas neste Regulamento, em conformidade com o Regulamento Geral da
UFABC e outras disposies legais.
O estgio curricular do BCC tem por objetivos:
Propiciar a complementao do processo de ensino-aprendizagem;
Possibilitar o desenvolvimento de atividades prticas que contribuam para a

formao profissional em Computao;
Habilitar o exerccio da competncia tcnica compromissada com a realidade dos

campos de estgio;
Desenvolver esprito de investigao, atitudes cientficas e habilidades necessrias

prtica profissional em Computao.
Os estgios curriculares em Computao devero ser cumpridos dentro dos perodos

letivos regulares.
A realizao de estgio em poca diferenciada poder ser aprovada
conforme as necessidades do plano de estgio proposto, a juzo do Colegiado do BCC, ouvida a

Coordenao de Estgio.
A carga horria das atividades do estgio curricular do BCC constante da matriz curricular
em vigor.
29
O aluno estagirio dever cumprir o plano de atividades aprovado pelo supervisor de

estgio e elaborar relatrios peridicos conforme estabelecido no projeto pedaggico do BCC.
Os relatrios devero ser avaliados e aprovados pelo supervisor. O aluno estagirio dever
encaminhar PROGRAD e Coordenao de Estgio os documentos e relatrios necessrios
nos prazos previstos e com a qualidade esperada.
Entende-se por orientao de estgio o acompanhamento dado ao aluno por um docente
de Computao, indicado pelo Colegiado do BCC ou pelo Comit de Estgio, no decorrer de
sua prtica profissional de forma a proporcionar o pleno desempenho de aes, princpios e
valores inerentes realidade do profissional em Computao.
Em linhas gerais, a orientao de estgio dever ser desenvolvida pelo professor
supervisor por meio do acompanhamento realizado em reunies peridicas com o estagirio e
por meio de relatrios entregues pelo estagirio.
O supervisor dever avaliar o estagirio no desenvolvimento do estgio e dar cincia
Coordenao de Estgio sobre a carga horria cumprida pelo estagirio. Dever tambm
apreciar os relatrios de estgio e rubric-los, dando cincia Coordenao de Estgio de que
tal relatrio pode ser submetido banca para sua avaliao.
A aprovao no Estgio Supervisionado do BCC obedecer a Resoluo ConsEP n 85 26/08/10, outra resoluo que venha a substitu-la, que regulamenta as normas para a
realizao de estgio curricular e no-curricular do curso de graduao em Bacharelado em
Cincia da Computao (BCC) da UFABC.
13. PROJETO DE GRADUAO

O Projeto de Graduao em Computao (PGC) um trabalho de cunho terico ou
aplicado que se desenvolve no mbito de trs disciplinas: Projeto de Graduao em
Computao I (PGC I), Projeto de Graduao em Computao II (PGC II) e Projeto de
Graduao em Computao III (PGC III).
O PGC tem dois objetivos bsicos: a) complementar e estender a formao do aluno,
permitindo o seu aperfeioamento e aprofundamento em um determinado tema pertencente
a uma das linhas de pesquisa existentes no CMCC, preparando-o assim para um Programa de
Ps-Graduao ou ainda para a inovao em um ambiente coorporativo e b) avaliar o
desempenho do discente tendo em vista os objetivos gerais do curso.
30
O Projeto de Graduao em Computao (PGC) um trabalho de cunho terico ou

aplicado que se desenvolve no mbito de trs disciplinas: Projeto de Graduao em
Computao I (PGC I), Projeto de Graduao em Computao II (PGC II) e Projeto de
Graduao em Computao III (PGC III).
O PGC tem dois objetivos bsicos: a) complementar e estender a formao do aluno,
permitindo o seu aperfeioamento e aprofundamento em um determinado tema pertencente
a uma das linhas de pesquisa existentes no CMCC, preparando-o assim para um Programa de
Ps-Graduao ou ainda para a inovao em um ambiente coorporativo e b) avaliar o
desempenho do discente tendo em vista os objetivos gerais do curso.
O PGC representa o momento em que o estudante demonstra as competncias e
habilidades desenvolvidas no curso em um projeto de maior complexidade, no qual ele possa
aplicar de modo integrado todos os contedos e tcnicas com as quais teve contato.
O aluno deve mostrar capacidade de avaliar a tecnologia existente de maneira crtica, bem
como buscar novas tecnologias de forma independente. Portanto, o PGC no pode se
configurar como uma mera aplicao direta dos mtodos e tecnologias abordadas no curso,
mas sim uma experincia na qual o aluno deve revelar seu domnio da rea de Computao e
sua capacidade de buscar solues criativas e inovadoras para problemas relevantes e no
triviais.
O tema definido em PGC I deve, obrigatoriamente, ser o mesmo em PGC II e PGC III, ou
seja, o tema do PGC desenvolvido ao longo de trs disciplinas (PGC I, PGC II e PGC III) de
modo encadeado e incremental.
As diretrizes para a realizao do Projeto de Graduao em Computao (PGC) para os
discentes do Curso de Bacharelado em Cincia da Computao reger-se-o pela norma
apresentada no Anexo B. Essas diretrizes foram aprovadas atravs de norma do Colegiado do
BCC e tambm pelo Conselho de Centro do CMCC (ConCen).
O desenvolvimento do PGC se dar em trs etapas, assim definidas:
No dcimo quadrimestre (disciplina PGC I) com carga horria de 76 horas-aula (6

crditos);
No dcimo primeiro quadrimestre (disciplina PGC II) com carga horria de 76

horas-aula (6 crditos);
No dcimo segundo quadrimestre (disciplina PGC III) com carga horria de 96

horas-aula (8 crditos).
31
14. ESTGIO CURRICULAR E PROJETO DE GRADUAO

O aluno poder escolher uma dentre as seguintes opes para realizar estgio curricular
e/ou Projeto de Graduao:
Realizar somente o projeto de graduao;
Realizar somente o estgio curricular;
Realizar projeto de graduao e estgio curricular.
Para cada uma das escolhas acima, o nmero de crditos a serem cumpridos ser sempre
54 crditos, no entanto esses crditos podem ser distribudos conforme a tabela 6.
Tabela 6 - Distribuio de crditos para cada uma das opes de escolhas em cursar PGC e/ou
Estgio.
Opo
1. Somente PGC
2. Somente Estgio
Curricular
3. Estgio e PCG
Crditos de
PGC
Crditos de
Estgio
Crditos em
disciplinas de
opo limitada
Total de
crditos
24
zero
30
54
zero
10
44
54
24
10
20
54
Conforme mostrado na tabela 5, o aluno deve cursar somente uma das trs opes
apresentadas na coluna 1. Sendo que, de acordo com as opes, os crditos devem ser
cumpridos em concordncia com o exposto nas colunas 2 at 4 da tabela 5 e exemplificado
como segue:
Aluno escolhe a opo 1 Somente PGC:

o
Aluno escolhe a opo 2 Somente Estgio Curricular:

o
O aluno deve cumprir com 20 crditos do PGC e mais 34 crditos em

disciplinas de opo limitada para a integralizao
O aluno deve cursar 8 crditos de estgio mais 34 crditos em disciplinas

de opo limitada escolhidas pelo aluno.
Aluno escolhe a opo 3 - PGC e Estgio:

o
O aluno deve cursar 20 crditos de PGC mais 8 crditos de estgio e mais

26 crditos em disciplinas de opo limitada escolhidas pelo aluno.
32
15. SISTEMA DE AVALIAO DO PROCESSO DE ENSINO E

APRENDIZAGEM
A avaliao do processo de ensino e aprendizagem dos discentes na UFABC feito por
meio de conceitos, pois permite uma anlise mais qualitativa do aproveitamento do aluno.
Assim, utilizam-se os seguintes parmetros para avaliao de desempenho e atribuio de
conceito, conforme descritos abaixo:
A Desempenho excepcional, demonstrando excelente compreenso da disciplina e
do uso do contedo.
B Bom desempenho, demonstrando boa capacidade de uso dos conceitos da
disciplina.
C Desempenho mnimo satisfatrio, demonstrando capacidade de uso adequado dos
conceitos da disciplina, habilidade para enfrentar problemas relativamente simples e
prosseguir em estudos avanados.
D Aproveitamento mnimo no satisfatrio dos conceitos da disciplina, com
familiaridade parcial do assunto e alguma capacidade para resolver problemas simples, mas
demonstrando deficincias que exigem trabalho adicional para prosseguir em estudos
avanados. Nesse caso, o aluno aprovado na expectativa de que obtenha um conceito
melhor em outra disciplina, para compensar o conceito D no clculo do CR. Havendo vaga, o
aluno poder cursar esta disciplina novamente.
F Reprovado. A disciplina deve ser cursada novamente para obteno de crdito.
O Reprovado por falta. A disciplina deve ser cursada novamente para obteno de
crdito.
I Incompleto. Indica que uma pequena parte dos requerimentos do curso precisa ser
completada. Este grau deve ser convertido em A, B, C, D ou F antes do trmino do
quadrimestre subsequente.
Os conceitos a serem atribudos aos estudantes, em uma dada disciplina, no devero
estar rigidamente relacionados a qualquer nota numrica de provas, trabalhos ou exerccios.
Os resultados tambm consideraro a capacidade do aluno de utilizar os conceitos e material
das disciplinas, criatividade, originalidade, clareza de apresentao e participao em sala de
aula e/ou laboratrios. O aluno, ao iniciar uma disciplina, ser informado sobre as normas e
critrios de avaliao que sero considerados.
33
No h um limite mnimo de avaliaes a serem realizadas, mas, dado o carter

qualitativo do sistema, indicado que sejam realizadas ao menos duas em cada disciplina
durante o perodo letivo. E sero apoiadas e incentivadas as iniciativas de se gerar novos
documentos de avaliao, como atividades extraclasse, tarefas em grupo, listas de exerccios,
atividades em sala e/ou em laboratrio, observaes do professor, auto-avaliao, seminrios,
exposies, projetos, sempre no intuito de se viabilizar um processo de avaliao que no seja
apenas qualitativo, mas que se aproxime de uma avaliao contnua.
Assim, prope-se no apenas a avaliao de contedos, mas de estratgias cognitivas
e habilidades e competncias desenvolvidas. Esse mnimo de duas sugere a possibilidade de
ser feita uma avaliao diagnstica logo no incio do perodo, que identifique a capacidade do
aluno em lidar com conceitos que apoiaro o desenvolvimento de novos conhecimentos e o
quanto ele conhece dos contedos a serem discutidos na disciplina, e outra no final do
perodo, que possa identificar a evoluo do aluno relativamente ao estgio de diagnstico
inicial. De posse do diagnstico inicial, o prprio professor poder ser mais eficiente na
mediao com os alunos no desenvolvimento da disciplina. Por fim, dever ser levado em alta
considerao o processo evolutivo descrito pelas sucessivas avaliaes no desempenho do
aluno para que se faa a atribuio de um Conceito a ele.
Cabe ressaltar que os critrios de recuperao do curso da UFABC so regulamentados
pela Resoluo ConsEPE No 182 (ou outra resoluo que venha a substitu-la).
16. INFRAESTRUTURA
Alguns dos recursos tecnolgicos da UFABC so:
Acesso a Internet com velocidade de 1 Gigabit por segundo;
Backbone da rede interna da UFABC com capacidade mnima de 1 Gigabit por

segundo;
Um projetor (data show) e um computador com acesso a Internet em cada sala de

aula;
INSTALAES, LABORATRIOS E BIBLIOTECA

A Universidade Federal do ABC possui Laboratrios de Pesquisa e Laboratrios
Didticos. Dentre os laboratrios que atendem Graduao, existem trs grandes
classificaes:
Laboratrios Didticos de Informtica
Laboratrios Didticos Secos

34
Laboratrios Didticos midos.
LABORATRIOS DIDTICOS
1
A Coordenadoria dos Laboratrios Didticos (CLD), vinculada PROGRAD, responsvel
pela gesto administrativa dos laboratrios didticos e por realizar a interface entre docentes,
discentes e tcnicos de laboratrio nas diferentes reas, de forma a garantir o bom andamento
dos cursos de graduao, no que se refere s atividades prticas em laboratrio. A CLD
composta por um Coordenador dos Laboratrios midos, um Coordenador dos Laboratrios
Secos e um Coordenador dos Laboratrios de Informtica e Prticas de Ensino, bem como
equipe tcnico-administrativa. Dentre as atividades da CLD destacam-se o atendimento dirio
a toda comunidade acadmica; a elaborao de Poltica de Uso dos Laboratrios Didticos e a
anlise e adequao da alocao de turmas nos laboratrios em cada quadrimestre letivo,
garantindo a adequao dos espaos s atividades propostas em cada disciplina e melhor
utilizao de recursos da UFABC.
Os laboratrios so dedicados s atividades didticas prticas que necessitem de
infraestrutura especfica e diferenciada, no atendidas por uma sala de aula convencional. So
quatro diferentes categorias de laboratrios didticos disponveis para os usos dos cursos de
graduao da UFABC: secos, midos, de informtica e de prtica de ensino.
Laboratrios Didticos Secos so espaos destinados s aulas da graduao que
necessitem de uma infraestrutura com bancadas e instalao eltrica e/ou instalao

hidrulica e/ou gases, uso de kits didticos e mapas, entre outros.
Laboratrios Didticos midos so espaos destinados s aulas da graduao que
necessitem manipulao de agentes qumicos ou biolgicos, uma infraestrutura com bancadas

de granito, com capelas de exausto e com instalaes hidrulica, eltrica e de gases.
Laboratrios Didticos de Informtica so espaos destinados s aulas prticas de
informtica que faam uso de computadores e tecnologia da informao, com acesso

internet e softwares adequados para as atividades desenvolvidas.
UFABC,
2013.
Portaria
202/2013.
Disponvel
em
http://prograd.ufabc.edu.br/images/pdf/portaria_202_procedimentos_seguranca_laboratorios.pdf
acessado em 15 de julho de 2014.
35
Laboratrios Didticos Prticas de Ensino so espaos destinados ao suporte dos
cursos de licenciatura, desenvolvimento de habilidades e competncias para docncia da

educao bsica, podendo ser teis tambm para desenvolvimentos das habilidades e
competncias para docncia do ensino superior.
O gerenciamento da infraestrutura dos laboratrios didticos, materiais, recursos
humanos, normas de utilizao, de segurana, treinamento, manuteno preventiva e
corretiva de todos os equipamentos esto sob a responsabilidade da Coordenao de
Laboratrios Didticos.
Cada sala de suporte tcnico dos laboratrios didticos acomoda quatro tcnicos com as
seguintes funes:
Nos perodos extra-aula, auxiliam os alunos de graduao e ps-graduao em suas
atividades prticas (projetos de disciplinas, iniciao cientfica, mestrado e doutorado), bem

como cooperam com os professores para testes e elaborao de experimentos e preparao
do laboratrio para a aula prtica.
Nos perodos de aula, oferecem apoio para os professores durante o experimento.
Para isso, os tcnicos so alocados previamente em determinadas disciplinas, conforme a sua

formao (eletrnico, eletrotcnico, materiais, mecnico, qumicos, biolgicos).
Alm dos tcnicos, a sala de suporte armazena alguns equipamentos e kits didticos
utilizados nas disciplinas. Os tcnicos trabalham em esquema de horrios alternados,
possibilitando o apoio s atividades prticas ao longo de todo perodo de funcionamento da
UFABC, das 08 s 23h.
A alocao de laboratrios didticos para as turmas de disciplinas com carga horria
prtica ou aquelas que necessitem do uso de um laboratrio feita pelo coordenador do
curso, a cada quadrimestre, durante o perodo estipulado pela Pr-Reitoria de Graduao. O
docente da disciplina com carga horria alocada nos laboratrios didticos responsvel pelas
aulas prticas da disciplina, no podendo se ausentar do laboratrio durante a aula prtica.
Atividades como treinamentos, instalao ou manuteno de equipamentos nos
laboratrios didticos so previamente agendadas com a equipe tcnica responsvel e
acompanhadas por um tcnico de laboratrio..
BIBLIOTECA
As Bibliotecas da UFABC tm por objetivo o apoio s atividades de ensino, pesquisa e
extenso da Universidade. Ambas as bibliotecas, uma biblioteca central em Santo Andr e uma
36
biblioteca setorial em So Bernardo do Campo, prestam atendimento aos usurios de segunda

sexta feira, das 08h s 22h e aos sbados, das 08h as 13h30. O acervo da Biblioteca atende
aos discentes, docentes, pesquisadores e demais pessoas vinculadas Universidade, para
consulta local e emprstimos conforme sistema de acesso e, quando possvel, aos usurios de
outras Instituies e Ensino e Pesquisa, por intermdio do Emprstimo Entre Bibliotecas EEB,
e ainda atende comunidade externa somente para consultas locais.
A UFABC participa, na qualidade de universidade pblica, do Portal de Peridicos da
CAPES, que oferece acesso a textos selecionados e publicaes peridicas internacionais e
nacionais, alm das mais renomadas publicaes de resumos, abrangendo todas as reas do
conhecimento. O Portal inclui tambm uma seleo de importantes fontes de informao
cientfica e tecnolgica, de acesso gratuito na Web. A Biblioteca conta com pessoal qualificado
para auxiliar a comunidade acadmica no uso dessas ferramentas. 2Atualmente, so 41 ttulos
impressos e 24.650 eletrnicos, relacionados s reas do conhecimento das disciplinas
ofertadas no curso, a saber:
Cincias Exatas: 5.385 ttulos;
Cincias Humanas: 6.247 ttulos;
Engenharias: 3.441 ttulos;
Cincias Sociais Aplicadas: 4.922 ttulos;
Cincias Biolgicas: 4.157 ttulos;
Multidisciplinar: 498 ttulos.
No Portal da Capes, h, para essas mesmas reas do conhecimento, o seguinte nmero

de bases de dados referenciais e de texto completo disponvel:
22
Cincias Exatas: 229 bases de dados;
Cincias Humanas: 254 bases de dados;
Engenharias: 212 bases de dados;
Cincias Sociais Aplicadas: 230 bases de dados;
Cincias Biolgicas: 208 bases de dados;
Multidisciplinar: 148 bases de dados.
http://biblioteca.ufabc.edu.br/ acessado em 15 de julho de 2014.
37
Por meio de recursos prprios da Instituio, foram adquiridas, nos ltimos anos,
colees de e-books com direito perptuo de contedo. Totalizando 25.292 ttulos. Apresentase, a seguir, a diviso do nmero dessas colees disponveis por rea do conhecimento:
Behavioral Science: 371 ttulos;
Biomedical & Life Sciences: 2903 ttulos;
Business & Economics: 1870 ttulos;
Chemistry & Material Science: 1363 ttulos;
Computer Science: 6542 ttulos;
Earth & Environmental Science: 1523 ttulos;
Engineering: 3934 ttulos;
Humanities, Social Sciences & Law: 2571 ttulos;
Mathematics & Statistics: 1857 ttulos;
Physics & Astronomy: 1306 ttulos;
Professional & Applied Computing: 1052 ttulos.
A Biblioteca ainda oferece um servio de emprstimo e devoluo via malote. Esse servio
possibilita que o usurio efetue a devoluo de seus materiais em qualquer uma das unidades
do Sistema de Bibliotecas, no importando o seu local de emprstimo. E permite solicitao,
conforme disponibilidade do item no acervo da biblioteca de origem, de material para
emprstimo via malote. Basta efetuar o pedido do material no balco de atendimento de uma
de nossas unidades. O ttulo, se disponvel no acervo, dever ser retirado na biblioteca de
destino no dia til imediatamente subsequente solicitao, a partir de 16h.
17. DOCENTES
O corpo docente da UFABC constitudo integralmente (100%) por doutores. Todos os
docentes da UFABC (100%) trabalham no regime de tempo integral (40h semanais) e de
dedicao exclusiva. A Lista de docentes cadastrados no curso de Bacharelado em Cincia da
Computao em Maro de 2015 listado conforme tabela 7.
Tabela 7 Lista de Docentes do Curso de Bacharelado em Cincia da Computao em
Novembro de 2015.
Nome
rea de Atuao
Titulao
Regime
38
Alexandre Noma
Reconhecimento de padres Doutor

e Grafos
Dedicao
Exclusiva
Andr Guilherme Ribeiro Balan
Processamento de Imagens e Doutor

Aprendizado de Mquina
Dedicao
Exclusiva
Andr Luiz Brando
Jogos Digitais
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Interao HumanoComputador
Informtica na Educao
Viso Computacional
Carlos Alberto Kamienski
Redes de Computadores
Sistemas Distribudos
Carlos da Silva dos Santos
Viso Computacional
Processamento de Imagens
Reconhecimento de padres
Claudio Nogueira de Meneses
Otimizao e Aplicaes
Projeto e
Algoritmos
Anlise
de
Computao Paralela em
Programao Matemtica
Projeto e Desenvolvimento
de Software
Cristiane Maria Sato
Combinatria e Otimizao
Doutor
Dedicao
Exclusiva
Daniel Morgato Martin
Combinatria e
Doutor
Dedicao
Exclusiva
Metodologia e Tcnicas da Doutor

Computao
Dedicao
Exclusiva
Teoria dos Grafos

David Corra Martins Jnior
Debora
Maria
Medeiros
Rossi
Denise Goya
de Aprendizado de Mquina
Doutor
Dedicao
Exclusiva
Segurana de Dados
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Segurana de Redes
Programao Segura
Diogo Santana Martins
Sistemas Multimdias
39
Edson Pinheiro Pimentel
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
de Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
e Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
de Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Banco de Dados
Fabiana Soares Santana
Engenharia de Software
Fabrcio Olivetti de Frana
Metaheursticas
Otimizao
Computao Evolutiva
Minerao de Dados
Redes Complexas
Fernando Teubl Ferreira
Computao Grfica
Gluster e Grid
Francisco de Assis Zampirolli
Viso Computacional
Processamento de Imagens
Reconhecimento de Padres
Francisco Isidro Massetto
Francisco Javier Ropero Pelaez
Neurocomputao
Neurocincia
Computacional.
Gordana Manic
Teoria dos Grafos
Guiou Kobayashi
Arquitetura
Computadores Paralelo
Gustavo Sousa Pavani
Redes
Teleinformtica
Harlen Costa Batagelo
Computao Grfica
Processamento
Imagens
Itana Stiubiener
Digital
de
Redes
Jair Donadelli Jnior
Matemtica Discreta
40
Exclusiva
Jernimo Cordoni Pellegrini
Criptografia
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Linguagens de Programao
Jess Pascual Mena Chalco
Bibliometria / Cientometria
Reconhecimento de padres
Joo Paulo Gois
Computao Grfica
Doutor
Dedicao
Exclusiva
Jos Artur Quilici Gonzalez
Circuitos eltricos
Doutor
Dedicao
Exclusiva
Juliana Cristina Braga
Doutor
Interao
HumanoComputador Engenharia de
Software
Karla Vittori
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Lucia Regina Horta Rodrigues Informtica na Educao

Franco
Redes de Comunicao
Doutor
Dedicao
Exclusiva
Luiz Arturo Perez Lozada
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Sistemas Doutor
Dedicao
Exclusiva
Vida
Artificial
Computao
Computao
Conexionista
Leticia Rodrigues Bueno
na
Evolutiva
Teoria dos Grafos
Computao Grfica
Desenho de Grafos
Luis Paulo Barbour Scott
Bioinformtica
Modelagem Molecular
Luiz Carlos da Silva Rozante
Modelagem
Biolgicos
de
Luzia Nomura
Doutor
Dedicao
Exclusiva
Mrcio Katsumi Oikawa
Banco de Dados
Doutor
Dedicao
Exclusiva
Integrao e Escalabilidade
de Dados na Web
Minerao de Dados
Gerenciamento de Processos
41
de Negcio
Maria das
Marietto
Graas
Bruno Inteligncia
Distribuda
Artificial Doutor
Dedicao
Exclusiva
Educao a Distncia
Comportamento Coletivo
Sistemas Multiagentes
Marina Sparvoli de Medeiros
Materiais Eltricos
Doutor
Dedicao
Exclusiva
e Doutor
Dedicao
Exclusiva
Alto- Doutor
Dedicao
Exclusiva
Circuitos Digitais
Microcontroladores
Nunzio Marco Torrisi
Raphael
Camargo
Informtica
Telecomunicao
Yokoingawa
de Computao
Desempenho
de
Neurocincia Computacional
Rodrigo de Alencar Hausen
Rogrio
Neves
Perino
de
Ronaldo Cristiano Prati
Anlise de Algoritmos e Doutor

Complexidade
Oliveira Computao
Desempenho
de
Alto Doutor
Interao
Computador
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Doutor
Dedicao
Exclusiva
Humano-
Valrio Ramos Batista
PDI
/
Modelagem
Computacional em C&T
Vera Nagamuta
Computao Mvel
Vinicius Cifu Lopes
Lgica Matemtica
Combinatria
Wagner Tanaka Botelho
Robtica Mvel
Mecatrnica
Inteligncia
Distribuda
Dedicao
Exclusiva
Doutor
Minerao de Dados
Silvia Cristina Dotta
Dedicao
Exclusiva
Artificial
42
NCLEO DOCENTE ESTRUTURANTE

O ncleo docente estruturante do Curso de Bacharelado em Cincia da Computao,
composto por 6 docentes do curso e nomeado para mandato de 3 anos por portaria
expedida pela Coordenao do Curso.
18. SISTEMA DE AVALIAO DO PROJETO DO CURSO

Buscando conhecer, avaliar e aprimorar a qualidade e os compromissos de sua misso,
a Universidade Federal do ABC (UFABC) tem implementado mecanismos de avaliao
permanente para a efetividade do processo de ensino-aprendizagem, visando compatibilizar a
oferta de vagas, os objetivos do Curso, o perfil do egresso e a demanda do mercado de
trabalho para o curso.
Um dos mecanismos adotado pela Coordenao do Curso para avaliao do Projeto
Poltico Pedaggico do Bacharelado em Cincia da Computao a anlise e o
estabelecimento de aes, a partir dos resultados obtidos pelo Curso e pela Universidade no
Sistema Nacional de Avaliao da Educao Superior (SINAES), regulamentado e institudo pela
Lei n 10.681, de 14 de abril de 2004.
No Decreto n 5.773, de 9 de maio de 2006, que dispe sobre o exerccio das funes
de regulao, superviso e avaliao de Instituies de Educao Superior (IES) e Cursos
superiores de Graduao e Sequenciais no sistema federal de ensino, no seu artigo 1,
pargrafo 3, l-se que a avaliao realizada pelo SINAES constitui referencial bsico para os
processos de regulao e superviso da educao superior, a fim de promover sua qualidade.
No que tange propriamente estruturao da avaliao estabelecida pelo SINAES, sero
considerados trs tipos de avaliao:
1. Avaliao institucional, que contempla um processo de autoavaliao realizado pela
Comisso Prpria de Avaliao (CPA) da Instituio de Educao Superior, j implantada na
UFABC, e de avaliao externa in loco realizada por avaliadores institucionais capacitados pelo
Instituto Nacional de Estudos e Pesquisa Educacionais (INEP);
2. Avaliao de curso, que considera um conjunto de avaliaes: avaliao dos pares (in
loco), avaliao dos estudantes (questionrio de Avaliao Discente da Educao Superior
ADES, enviado amostra selecionada para realizao do Exame Nacional de Desempenho de
Estudantes - ENADE), avaliao da Coordenao (questionrio especfico) e dos Professores do
Curso e da CPA;
43
3. Avaliao do Desempenho dos estudantes ingressantes e concluintes, que corresponde

aplicao do ENADE aos estudantes que preenchem os critrios estabelecidos pela legislao
vigente (incluem neste exame a prova e os questionrios dos alunos, do Coordenador de Curso
e da percepo do alunado sobre a prova).
19.
OFERTA DE DISCIPLINA NA MODALIDE SEMIPRESENCIAL
O regime de ensino do Bacharelado em Cincia da Computao, vinculada a este projeto

pedaggico, permite a oferta de disciplinas na modalidade semipresencial desde que esta
oferta no ultrapasse 20 % (vinte por cento) da carga horria total do curso conforme previsto
na portaria n 4.059, de 10 DE dezembro de 2004 (DOU de 13/12/2004, Seo 1, p. 34) .
Em consonncia com a Portaria do Ministerio de Educacao e Cultura no. 4059 de 10 de
dezembro de 2004, o Bacharelado em Ciencia e Tecnologia poder ofertar componentes
curriculares que, total ou parcialmente, utilizem as modalidades de ensino semipresencial ou
tutorial,
as
quais
doravante
serao
denominadas
simplesmente
de
modalidade
semipresencial. Nos termos da Portaria 4059/200424:

As avaliacoes dos componentes curriculares ofertados na modalidade referida serao
presenciais;
Uma mesma disciplina do Bacharelado em Ciencia da Computacao poder ser ofertada nos
formatos presencial e semipresencial, com Planos de Ensino devidamente adequados a sua
oferta;
O numero de creditos atribudos a um componente curricular ser o mesmo em ambos os
formatos;
Para fins de registros escolares, nao existe qualquer distincao entre as ofertas presencial
ou semipresencial de um dado componente curricular;
O gerenciamento dos 20% de oferecimento deve obrigatoriamente seguir as normas e
regulamentaes da Universidade Federal do ABC, considerando as exigncias e os critrios
mnimos de qualidades estabelecidos pelos seguintes documentos legais:
5.622, de 19 de dezembro de 2005. Regulamenta o art. 80 da Lei no 9.394, de 20 de dezembro
de 1996, que estabelece as diretrizes e bases da educao nacional. Disponvel em:
http://www.planalto.gov.br/ccivil_03/_ato2004-2006/2005/Decreto/D5622compilado.htm.
Acesso em: 02 set. 2014.
44
5.773, de 9 de maio de 2006. Dispe sobre o exerccio das funes de regulao, superviso e
avaliao de instituies de educao superior e cursos superiores de graduao e sequenciais
no sistema federal de ensino. Disponvel em: http://www.planalto.gov.br/ccivil_03/_ato20042006/2006/decreto/d5773.htm. Acesso em: 02 set. 2014.
BRASIL. Ministrio da Educao. Portaria n 4.059, de 10 de dezembro de 2004. Disponvel
em: http://portal.mec.gov.br/sesu/arquivos/pdf/nova/acs_portaria4059.pdf. Acesso em: 02
set. 2014.
BRASIL. Ministrio da Educao. Referencias de qualidade para a educao a distncia.
Disponvel em: http://portal.mec.gov.br/seed/arquivos/pdf/legislacao/refead1.pdf. Acesso
em: 02 set. 2014.
BRASIL. Ministrio da Educao. Instituto Nacional de Estudos e Pesquisas Educacionais
Ansio Teixeira. Diretoria de Avaliao da Educao Superior. Sistema Nacional de Avaliao da
Educao Superior. Instrumento de Avaliao de Cursos de Graduao presencial e a distncia.
Disponvel em:
http://download.inep.gov.br/educacao_superior/avaliacao_cursos_graduacao/instrument
os/2012/instrumento_com_alteracoes_maio_12.pdf. Acesso em: 02 set. 2014.
20. REGRAS DE TRANSIO

A seguir, as regras de transio entre o projeto pedaggico antigo do BCC que foi aprovado
em 2009 e o presente projeto.
Art. 1 Este plano de transio tem a finalidade de estabelecer as diretrizes gerais para o
aproveitamento e contabilizao de crditos entre a nova matriz do projeto pedaggico e a
matriz anterior.
Art. 2 A nova matriz curricular entrar em vigor assim que aprovada por todos os rgos
deliberativos de acordo com a Resoluo ConsEPE N 140 e ser plenamente oferecida para os
ingressantes a partir do ano de 2016 na Universidade Federal do ABC.
Art. 3 Aos discentes ingressantes na UFABC anterior ao ano de 2016, aplicam-se as
seguintes diretrizes:
1. A disciplina MCTA028-15 Programao Estruturada ser dispensada de
obrigatoriedade aos discentes que j tiverem concludo com aprovao a disciplina MCTA00113 Algoritmos e Estruturas de Dados I.
45
2. A disciplina MCTA028-15 Programao Estruturada ser obrigatria aos discentes

que ainda no concluram com aprovao a disciplina MCTA001-13 Algoritmos e Estruturas de
Dados I.
3. Aos discentes que concluram com aprovao a disciplina MCTA001-13 Algoritmos
e Estruturas de Dados I e posteriormente cursarem a disciplina MCTA028-15 Programao
Estruturada, no recebero crditos de qualquer natureza pelo curso da disciplina MCTA02815.
4. As disciplinas cursadas pelo discente anterior ao ano de 2016 contaro os crditos
da matriz antiga.
5. As disciplinas cursadas pelo discente no ano de 2016 ou aps este ano contaro os
crditos da matriz nova.
6. As disciplinas livres da matriz antiga cursadas pelo discente que figuram como
disciplinas de opo limitada no rol de disciplinas da matriz nova sero contabilizadas como
disciplinas de opo limitada.
7. As regras de distribuio de crditos para estgio curricular e projeto de graduao
permanecem as do projeto pedaggico antigo.
Art. 4 Os casos omissos sero resolvidos pela coordenao do curso, com apoio da PrReitoria de Graduao.
21. ANEXOS
ANEXO A - EMENTAS DAS DISCIPLINAS OFERECIDAS PELO BC&t
lgebra Linear
MCTB001-13
Recomendao
(6-0-5)
6. Perodo
OBRIGATRIA
Geometria analtica
Ementa:
Sistemas de Equaes Lineares: Sistemas e matrizes; Matrizes escalonadas; Sistemas
homogneos; Posto e Nulidade de uma matriz. Espao Vetorial: Definio e exemplos; Subespaos
46
vetoriais; Combinao linear; Dependncia e independncia linear; Base de um espao vetorial e

mudana de base. Transformaes Lineares: Definio de transformao linear e exemplos;
Ncleo e imagem de uma transformao linear; Transformaes lineares e matrizes; Matriz
mudana de base. Autovalores e Autovetores: Polinmio caracterstico; Base de autovetores;
Diagonalizao de operadores.
Bibliografia Bsica
1. ANTON, H.&RORRES, C.; lgebra Linear com Aplicaes, oitava edio. Editora Bookman,
2001.
2. BOLDRINI, J. L.; COSTA, S. L. R.; FIGUEIREDO, V. L. & WETZLER, H. G.; lgebra Linear, 3
edio, Editora Harbra Ltda. So Paulo, 1986.
3. LIMA, E. L. lgebra Linear, 6 Edio. Coleo Matemtica Universitria. IMPA, 2003.
Bibliografia Complementar
1. CALLIOLI, C. A; COSTA, R. F. & DOMINGUES, H.; lgebra Linear e Aplicaes. Atual Editora,
1990.
2. COELHO, F. U. & LOURENO, M. L.; Um curso de lgebra Linear. Editora da Universidade
de So Paulo-EDUSP, 2001.
3. GONALVES, A. & SOUZA, R. M.L.;Introduo lgebra Linear.Editora EdgardBlcher,
1977.
4. LAWSON, T.; lgebra Linear. Editora Edgard Blcher, 1997.
SANTOS, Nathan Moreira dos. Vetores e matrizes:uma introduo lgebra Linear.
Quarta edio. Editora Thomson, 2007.
Observao: compartilhada com matemtica
Algoritmos e Estruturas de Dados I

MCTA001-13
Recomendao:
(2-2-4)
6. Perodo
Obrigatria
Ementa:
Breve introduo linguagem C. Noes bsicas de anlise de complexidade de tempo de
algoritmos. Estruturas lineares: busca e ordenao. rvores de busca. rvores balanceadas.
47
BIBLIOGRAFIA BSICA:
1. Cormen T. H et al., Algoritmos: Teoria e Prtica. Rio de Janeiro: Editora Campus, 2
edio, 2002
2. Knuth D.E. The Art of Computer Programming. vols. 1 e 3, Addison-Wesley, 1973
3. Robert Sedgewick, "Algorithms in C, Parts 1-4 (Fundamental Algorithms, Data Structures,
Sorting, Searching)", Addison-Wesley Professional, 1998
BIBLIOGRAFIA COMPLEMENTAR:
1. Rodrigues P., Pereira P., Sousa M., Programacao em C++: Algoritmos e Estruturas de
Dados , FCA Editora de Informtica, 2000
2. Sedgewick, R. Algorithms in C++ (Parts 1-4), Addison-Wesley, 3 edio, 1998
3. Tenenbaum, A. M., Langsam Y., Augenstein M. J. Estruturas de Dados Usando C.
Editora Pearson Makron Books.
4. Drozdek Adam. Estrutura de dados e Algoritmos em C++. Thomson Learning, 2002.
Algoritmos e Estruturas de Dados II

MCTA002-13
Recomendao:
(2-2-4)
7. Perodo
Obrigatria
Ementa:
Hashing. Introduo a arquivos. Arquivos seqenciais. Arquivos indexados. Arquivos de acesso
direto. Prtica de programao dos arquivos e das funes primitivas na resoluo de problemas.
Compresso de arquivos.
Bibliografia Bsica:
1. Folk M.,, Zoellick B., Riccardi G. File Structures, An Object-Oriented Approach Using C++,
Third Edition. Addison-Wesley, 1998
edio, 2002
3. Folk M., Zoellick B. File Structures, Second Edition. Addison-Wesley, 1992
48
Bibliografia Complementar:
1. Ziviani N. Projeto de Algoritmos com implementao em Java e C++.So Paulo: Editora
Thomson, 1 edio, 2007
2. Szwarcfiter, J.L.; Markenzon, L. Estruturas de dados e seus algoritmos. Editora LTC, 3a
edio, 1994.
3. Rodrigues P., Pereira P., Sousa M., "Programao em C++: Algoritmos e Estruturas de
Dados" , FCA Editora de Informtica, 2000
4. Tenenbaum, A. M., Langsam Y., Augenstein M. J. "Estruturas de Dados Usando C".
Editora Pearson Makron Books.
5. Drozdek Adam. "Estrutura de dados e Algoritmos em C++". Thomson Learning, 2002.
Anlise de Algoritmos
MCTA003-13
Recomendao:
(4-0-4)
9. Perodo
Obrigatria
Matemtica Discreta e Algoritmos e Estruturas de Dados I
Ementa:
Conceitos bsicos: recorrncias, medidas de complexidade: melhor caso, caso mdio e pior caso.
Tcnicas gerais de projeto de algoritmos: diviso e conquista, mtodo guloso e programao
dinmica. Classes de complexidade: P, NP e NP-completude.
Bibliografia Bsica:
1. CORMEN, T. H et al., Algoritmos: Teoria e Prtica, Rio de Janeiro: Editora Campus, 2
edio, 2002.
2. SZWARCFITER, L. MARKEZON, Estruturas de Dados e seus Algoritmos. Livros Tecnicos e
Cientficos, 1994.
3. ZIVIANI, N., Projeto de Algoritmos com implementacao em Java e C++, Sao Paulo:
Editora Thomson, 1 edio, 2007.
1. DASGUPTA, S.; PAPADIMITRIOU, C.; VAZIRANI, U. Algoritmos, McGraw-Hill, 2009.
2. TOSCANI, L. V. e VELOSO, P. A. S., Complexidade de Algoritmos, UFRGS: Editora Sagra
Luzzatto, 1. Edio, 2001.
3. GREENE, Daniel H.; KNUTH, Donald E. Mathematics for the analysis of algorithms. 3rd
ed. Boston: Birkhuser, 1990.
4. KNUTH, Donald Ervin. The art of computer programming. 3rd ed. Reading, Mass:
AddisonWesley.
49
5. AHO, Alfred V; HOPCROFT, John E; ULLMAN, Jeffrey D. Data structures and algorithms.
Reading, Mass: Addison-Wesley, 1983.
Anlise de Projetos
MCZA001-13
Recomendao:
(2-0-2)
Opo Limitada
No tem
Ementa:
Introduo Anlise de Sistemas. Metodologia de Desenvolvimento Orientada a Objetos.
Aspectos de Arquitetura de Software.
Bibliografia Bsica:
1. LARMAN, C. Utilizando UML e Padres Uma Introduo Anlise e ao Projeto
Orientado a Objetos. Porto Alegre: Bookmann, 2001.
2. BOOCH,G. Object-Oriented Analysis and Design with Applications. Massachusets:
Addison-Wesley, 1994.
3. RUMBAUGH, J. Modelagem e Projeto Baseados em Objetos. Rio de Janeiro: Campus,
1994.
1. AMBLER, S. W. Agile Modeling: Effective Practice for Extreme Programming and the
Unified Process. John Wiley, 2002.
2. BOOCH, G., RUMBAUGH, J., JACOBSON, I. UML, Guia do Usurio. Rio de Janeiro: Campus,
2000.
3. COLEMAN,D. et Alli. Desenvolvimento Orientado a Objetos: O Mtodo FUSION. Rio de
Janeiro: Campus, 1996.
4. COOCKBURN, A. Agile Software Development. Massachusets: Addison Wesley, 2001.
FOWLER, M. Scott, K. UML Essencial. POA: Bookmann, 2000.
5. KRUCHTEN, P. The Rational Unified Process: An Introduction. 2nd. Ed. Massachusets:
Addison-Wesley, 2000.
50
MCZA002-13
(4-0-4)
Recomendao:
Opo Limitada
Ementa:
Introduo. Tipos de aprendizado. Paradigmas de aprendizado. Avaliao experimental de
algoritmos de Aprendizado de Mquina. Alguns algoritmos de Aprendizado de Mquina.
Bibliografia Bsica:
1. Alpaydin, E., Introduction to Machine Learning, MIT Press, 2004.
2. Mitchell, T. M., Machine Learning, McGraw-Hill, 1997.
3. Bishop, C. M., Pattern Recognition and Machine Learning Springer, 2006.
1. BITTENCOURT, G. Inteligencia Artificial Ferramentas e Teorias. UFSC. 3a. Edicao.
2006.
2. BRACHMAN, R. J.; LEVESQUE, H. J. Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
3. LUGER, G. Artificial Intelligence: Structures And Strategies For Complex Problem
Solving. Addison Wesley Longman, 1998.
4. WOOLDRIDGE, M. Introduction to MultiAgent Systems. John Wiley
Arquitetura de Computadores
MCTA004-13
Recomendao:
(4-0-4)
7. Perodo
Obrigatria
Circuitos Digitais
Sistemas Digitais
51
Ementa:
Histria e Evoluo dos Computadores e Sistemas; Estrutura de Computadores Digitais; Lgica
Digital Binria; Processamento; Instrues e linguagem de mquina; Microprocessadores modernos:
pipeline, super escalar, RISC; Memrias cache e gerenciamento de memrias; Arquitetura de
computadores pessoais; Arquitetura de Computadores Paralelos; Sistemas Computacionais:
desempenho e confiabilidade.
Bibliografia Bsica:
1. STALLINGS, William. Arquitetura e Organizao de Computadores. 8 ed. Pearson, 2010.
2. TANENBAUM, Andrew S.. Organizao Estruturada de Computadores. 5 ed. So Paulo:
Pearson Prentice Hall, 2007.
3. HENNESSY, John L.; PATTERSON, David A.. Arquitetura de Computadores: Uma Abordagem
Quantitativa. 5a ed. Campus, 2013.
1. PATTERSON, David A; HENNESSY, John L. Organizao e Projeto de Computadores: : a
interface hardware / software; 4.ed. Elsevier, 2014.
2. NULL, Linda; LOBUR, Julia. Princpios Bsicos de Arquitetura e Organizao de
Computadores. 2 ed. Porto Alegre: Bookman, 2010.
3. HARRIS, David, Sarah Harris; Digital Design and Computer Architecture, Elsevier, 2 ed.
2013
4. DANTAS, Mario; Computao Distribuda de Alto Desempenho: Redes, Clusters e Grids
Computacionais; AXCEL BOOKS; 2005
Arquitetura de Computadores de Alto Desempenho

MCZA003-13
Recomendao:
(4-0-4)
Opo Limitada
Ementa:
Introduo computao de alto desempenho. Caractersticas sistmicas da computao de alto
desempenho. Organizao de hardware em computao paralela. Organizao e topologias de
Interconexes. Organizao da memria. Organizao dos sistemas operacionais. Aspectos de
programao paralela. Avaliao de desempenho.
52
Bibliografia Bsica:
1. Georg Hager, Gerhard Wellein; Introduction to High Performance Computing for
Scientists and Engineers; Chapman & Hall/CRC; 1 ed., 2010
2. HANG, K., Xu, Z., Scalable Parallel Computing: Technology, Architecture, Programming,
McGraw-Hill Science/Engineering/Math, 1 edition, 1998.
3. John Levesque, Gene Wagenbreth; High Performance Computing: Programming and
Applications; Chapman & Hall/CRC; 1 ed., 2010
1. David Culler, Jaswinder Pal Singh, Anoop Gupta; Parallel Computer Architecture: A
Hardware/Software Approach; Morgan Kaufmann, 1 ed., 1998
2. Phillip A. Laplante, Seppo J. Ovaska; Real-Time Systems Design and Analysis: Tools for the
Practitioner; Wiley, 2011
3. Wim Vanderbauwhede, Khaled Benkrid; High-Performance Computing Using FPGAs; 1
ed., 2014
4. Stephen A. Jarvis, Stephen A. Wright, Simon D. Hammond; High Performance Computing
Systems. Performance Modeling, Benchmarking and Simulation; Lecture Notes in
Computer Science, 2015
Avaliao de Desempenho de Redes

MCZA004-13
Recomendao:
(3-1-4)
Opo Limitada
Ementa:
Motivao para avaliao de desempenho. Tcnicas de avaliao: Modelagem analtica,
simulao e medio. Metodologia de Avaliao de Desempenho. Mtricas de desempenho. Gerao
de nmeros aleatrios. Projeto de experimentos. Teoria das filas: aplicaes e limitaes. Simulao:
tipos, tcnicas e limitaes. Aspectos de medio: tipos, tcnicas e ferramentas. Avaliao de
desempenho da Internet. Apresentao de resultados.
Bibliografia Bsica:
1. Jain, R., The Art of Computer Systems Performance Analysis, J. Wiley, New York, 1991.
2. Gross, D.; Harris, C. M., Fundamentals of Queueing Theory, J.Wiley, New York, 3rd ed.,
1998.
3. Menasc, D. e Almeida, V. - Capacity Planning for WEB, Performance: Metrics, Models, &
Methods. Prentice-Hall, 1998
53
1. Menasc. D, Almeida. V, Dowdy, L, Capacity planning and performance modelling from
mainframe to client-server systems, Prentice-Hall, 1994
2. Kleinrock, L, Queying Systems, V.2: Computer Applications, John Wiley, 1976.
3. Charles Sauer, K. Mani Chandy, Computer Systems Performance Modelling, PrenticeHall, 1981.
4. Trivedi, K. S. - Probability & Statistics with Reliability, Queuing, and Computer Science
Applications. Prentice-Hall, 1982.
5. Gunther, N. - The Practical Performance Analyst. McGraw-Hill, 1998.
Observao: Disciplina criada em 2015.
Banco de Dados
MCTA005-13
Recomendao:
(4-0-4)
7. Perodo
Obrigatria
Ementa:
Conceitos Bsicos: Arquitetura de um Sistema de Banco de Dados, Modelos de Dados, Linguagens
de Definio e Manipulao de Dados, Usurio de Banco de Dados. Modelagem de Dados. Modelos
de Dados: Relacional, Hierrquicos e de Redes. Projeto de Banco de Dados Relacional: Dependncia
Funcional, Chaves, Normalizao, lgebra Relacional e SQL.
Bibliografia Bsica
1. Elmasri, R. e Navathe, S. B. Sistemas de banco de dados (quarta edio).
Pearson/Addison-Wesley;
2. Silberschatz, A., Korth, H. F. e Sudarshan, S., Sistema de Banco de Dados (traduo da
quinta edio). Campus/Elsevier;
3. HEUSER, Carlos Alberto. Projetos de banco de dados. 6 ed. Porto Alegre: Bookman, 2009.
282 p. (Livros didticos informtica UFRGS). ISBN 9788577803828.
54
1. Date, C.J. Introduo aos Sistemas de Banco de Dados (traduo da oitava edio
americana). Campus/Elsevier.
2. Garcia-Molina, H., Ullman J. D. e Widow, J. Database Systems The Complete Book.
Prentice-Hall.
3. RAMAKRISHNAN, Raghu. Sistemas de bancos de dados. 3 ed. So Paulo: McGraw-Hill,
2008. 884 p. ISBN 9788577260270.
4. Teorey, T. e Lightstone, S. e Nadeau, T., Projeto e modelagem de banco de dados. 2007,
Elsevier.
5. Date, C. J., Database In Depth Relational Theory for Practitioners, 2005, O'Reilly
Banco de Dados de Apoio Tomada de Deciso

MCZA005-13
Recomendao:
(3-1-4)
Opo Limitada
Banco de Dados e Inteligncia Artificial
Ementa:
Data Warehouse. Descoberta de Conhecimento de Bases de Dados. DW e Business Intelligence.
Bibliografia Bsica:
1. INMON, William H. Building the data warehouse. 4 ed. Indianapolis, USA: Wiley, c2005.
xxviii, 543. ISBN 764599445.
2. MACHADO, Felipe Nery Rodrigues. Tecnologia e projeto de data warehouse: uma viso
multidimensional. 6. ed. So Paulo, SP: rica, 2013. 319 p., il. ISBN 9788536500126.
3. KIMBALL, Ralph; ROSS, Margy; The data warehouse toolkit: the complete guide to
dimensional modeling. 2. ed. New York, USA: John Wiley & Sons, c2002. xxiv, 436. ISBN
978-0471200246.
1. R. O. Duda, P. E. Hart e D. G. Stork, Pattern Classification (2nd Edition), Wiley, 2000.

2. C. M. Bishop, Pattern Recognition and Machine Learning (Information Science and
Statistics), Springer, 2007.
3. I. H. Witten, E. Frank, Data Mining: Practical Machine Learning Tools and Techniques,
Second Edition (Morgan Kaufmann Series in Data Management Systems), Morgan
Kauffman, 2005.
4. FOUCH, Guy; LANGIT, Lynn. Foundations of SQL Server 2008 R2 Business Intelligence.
Springer. 2ed. online resource. (online disponvel na UFABC)
55
Clculo Numrico
MCTB009-13
Recomendao:
(3-1-4)
Obrigatria
Funes de uma varivel

Processamento da Informao
Ementa:
Aritmtica de ponto flutuante: Erros absolutos e relativos; Arredondamento e truncamento;
Aritmtica de ponto flutuante. Zeros de Funes Reais: Mtodos de quebra bisseo / falsa posio;
Mtodos de ponto fixo iterativo linear /Newton-Raphson; Mtodos de Mltiplos passos secantes.
Resoluo de Sistemas de Equaes Lineares: Mtodos diretos Cramer / eliminao de Gauss,
decomposio A = LU; Mtodos iterativos Jacobi / Gauss-Seidel. Ajustamento de Curvas pelo
Mtodo dos Mnimos Quadrados: Interpolao Polinomial: Existncia e unicidade do polinmio
Interpolador; Polinmio interpolador de: Lagrange, Newton e Gregory-Newton; Estudo do erro.
Integrao numrica: Mtodos de Newton-Cotes; Trapzios; Simpson; Estudo do erro
Bibliografia Bsica:
1. RUGGIERO, M.A.G. e LOPES, V.L.R. Clculo Numrico, Aspectos Tericos e
Computacionais. So Paulo. McGraw-Hill, 1988.
2. BARROSO, L.C. Clculo Numrico (com aplicaes). Harbra. 2a. ed. (1987).
3. BARROS, I. Q.. Introduo ao clculo numrico. So Paulo: Edgar Blcher, 1972. 114 p.
1. FRANCO, N. B.. Clculo numrico. So Paulo: Pearson Prentice Hall, 2006.
2. BURIAN, R.; LIMA, A. C.; HETEM, J. A.. Clculo numrico. Rio de Janeiro: LTC, 2007
Observao: Disciplina compartilhada com matemtica.
Circuitos Digitais
MCTA006-13
(3-1-4)
Recomendao:
No tem
5. Perodo
Obrigatria
56
Ementa:
Sistema de Numerao. Portas Lgicas. lgebra Booleana. Circuitos Combinacionais e Tcnicas de
Simplificao. Codificadores, decodificadores. Circuitos Sequenciais. Flip-Flops, registradores e
contadores. Elementos de memria.
Bibliografia Bsica:
1. TOCCI, Ronald J.; WIDMER, Neal S.; MOSS, Gregory L. Sistemas digitais: princpios e
aplicaes. 10.ed. So Paulo: Pearson/ Prentice Hall, 2007. 806 p. ISBN 978857605095-7.
2. VAHID, Frank. Sistemas digitais: projeto, otimizao e HDLS. Porto Alegre: Artmed,
2008.558 p. ISBN 9788577801909.
3. BIGNELL, James; DONOVAN, Robert. Eletrnica digital. So Paulo: Cengage
learning,2009. 648 p. ISBN 9788522107452
1. ERCEGOVAC, Milos; LANG, Toms; MORENO, Jaime H.. Introduo aos sistemas digitais.
Porto Alegre: Bookman, 2000. xiv, 453 p. ISBN 857307698-4.
2. IDOETA, Ivan Valeije; CAPUANO, Francisco Gabriel. Elementos de eletrnica digital. 40
ed. So Paulo: rica, 2006. 524 p. ISBN 9788571940192.
3. KATZ, Randy H; BORRIELLO, Gaetano. Contemporary logic design. 2 ed. Upper Saddle
River, N.J: Pearson Prentice Hall, 2005. xviii, 590 p. Includes bibliographical references
and index.. ISBN 0201308576.
4. WAKERLY, John F. Digital design: principles and practices. 4 ed. Upper Saddle River, N.J:
Pearson/Prentice Hall, c2006. xxiv, 895 p. ISBN 0131863894.
Compiladores
MCTA007-13
Recomendao:
(3-1-4)
9. Perodo
Obrigatria
Linguagens Formais e Automata

Ementa:
Anlise Lxica. Anlise Sinttica. Anlise Semntica. Ambientes de Execuo. Gerao de Cdigo.
Projeto e Implementao de um Compilador.
57
Bibliografia Bsica:
1. LOUDEN, K. C., Compiladores - Princpios e Prticas, Editora Thomson Pioneira, 1 Edicao,
2004.
2. RICARTE, Ivan. Introduo compilao. Rio de Janeiro: Elsevier, 2008. 264 p. ISBN
9788535230673.
3. AHO, A; LAM, M; SETHI, R; ULLMAN, J. D. Compilers: Principles, Techniques and Tools, 2
Edio, Addison Wesley, 2006.
1. APPEL, Andrew W. Modern compiler implementation in c. Cambridge, UK: Cambridge
University Press, 1998. 544 p. Includes bibliographical references and index. ISBN
9780521607650.
2. HOPCROFT, John E; ULLMAN, Jeffrey D; MOTWANI, Rajeev. Introduo teoria de
autmatos, linguagens e computao. 2 ed. Rio de Janeiro: Campus, 2003. xi,560 p. ISBN
9788535210729.
3.
HERLIHY, Maurice.; SHAVIT, Nir. The art of multiprocessor programming. Amsterdam:

Elsevier/Morgan, 2008. xx, 508 p. Includes bibliographical references and index.. ISBN
9780123705914.
4. MENEZES, Paulo Fernando Blauth. Linguagens formais e autmatos. 5 ed. Porto Alegre:
Sagra Luzzatto, 2005. 165 p. (livros didticos, nmero 3). Bibliografia: p. [159]-160. ISBN
9788524105548.
5.
RAMOS, Marcus Vincius Midena; JOS NETO, Joo; VEGA, talo Santiago. Linguagens
formais: teoria, modelagem e implementao. Porto Alegre: Bookman, 2009. 656 p. ISBN
9788577804535.
Computadores, tica e Sociedade

MCTA009-13
(2-0-4)
Recomendao:
No tem
9. Perodo
Obrigatria
Ementa:
O papel do computador na sociedade contempornea. O profissional da Informtica e Cincia da
Computao. tica profissional. Acesso no autorizado: segurana e privacidade. Software livre
versus software proprietrio. Aplicaes da tecnologia: exemplos de mudana de paradigma.
58
Comportamento social e Internet.

Bibliografia Bsica:
1. DUPAS, Gilberto. tica e poder na sociedade da informao: de como a autonomia de
novas tecnologias obriga a rever o mito do progresso. 2 ed rev ampl. So Paulo: Editora
da Universidade Estadual de So Paulo, 2001. 134 p. Contm ndice remissivo. ISBN
8571393516.
2. SPINOZA, Benedictus. tica. 2 ed. Belo Horizonte: Autntica, 2008. 423 p. ISBN
9788575262498
3. MARAS, Julian. Histria da filosofia. So Paulo: Martins Fontes, 2004. XXXIV, 589 p. ISBN
8533619928
1. MASIERO, Paulo Cesar. tica em computao. So Paulo: EDUSP, 2008. 213 p.
(Acadmica; 32). ISBN 9788531405754.
2. RACHELS, J.; RACHELS, S. The Elements of Moral Philosophy
3. GORDON, G. The Internet: a philosophical inquiry
4. MILL, J. S. Utilitarianism
5. SCHAFF, A. A Sociedade Informtica
Computao Evolutiva e Conexionista

MCZA006-13
(4-0-4)
Recomendao:
Opo Limitada
Ementa:
Redes neurais artificiais. Algoritmos genticos.
Bibliografia Bsica:
1. Braga, A. P., Carvalho, A. C. P. L. F., Ludermir, T. B. (2000). Redes Neurais Artificiais:
teoria e aplicaes. Livros Tcnicos e Cientficos (LTC).
2. Haykin, Simon. Redes neurais - Princpios e prtica, 2a edio, Editora Bookman, 1999.
3. Mitchell, M. An Introduction to Genetic Algorithms, MIT Press, 1996.
59
1. Bittencourt, G. Inteligncia Artificial Ferramentas e Teorias. UFSC. 3a. Edio. 2006
2. Davis, L. Handbook of Genetic Algorithms, VNR Comp. Library, 1990.
3. Goldberg, D. Genetic Algorithms in Search, Optimization and Machine Learning, AddisonWesley 1989.
4. Jang, J.; Sun, C.; Mizutani, E.; Neuro Fuzzy & Soft Computing A Computational Approach
to Learning & Machine Intelligence. Prentice Hall, 1997
5. Michalewicz, Z. Genetic Algorithms+Data Structures=Evolution Programs, SpringerVerlag-1994
Computao Grfica
MCTA008-13
(3-1-4)
10. Perodo
Recomendao:
Obrigatria
Geometria Analtica
Ementa:
Computao Grfica; Sistemas grficos; Primitivas grficas e seus atributos; Transformaes
geomtricas; Projees paralela e perspectiva; Cmera virtual; Definio de objetos e cenas
tridimensionais; O Processo de Rendering: fontes de luz; remoo superfcies ocultas; Modelos de
iluminao e de tonalizao; Animao Computacional; Texturas. Introduo aos Shaders
programveis. (utilizando alguma API grfica, preferencialmente OpenGL).
Bibliografia Bsica:
1. GOMES, Jonas; VELHO, Luiz. Fundamentos da computao grfica. Rio de Janeiro:
Instituto Nacional de Matemtica Pura e Aplicada - IMPA, 2003. 604 p. (Srie de
Computao eMatemtica).
2. AZEVEDO, Eduardo; Conci, Aura. Computao grfica: gerao de imagens. Rio de
Janeiro: Campus, 2003. 353 p. ISBN 8535212523.
3. HEARN, Donald. Computer graphics with OpenGL. 3. ed. Upper Saddle River, NJ : Pearson
Education, c2004. 857 p. : il. (006.6 H436cc)
4. Gois, J.P.; Batagelo, H.C., "Interactive Graphics Applications with OpenGL Shading
Language and Qt," Graphics, Patterns and Images Tutorials (SIBGRAPI-T), 2012 25th
SIBGRAPI Conference on , vol., no., pp.1,20, 22-25 Aug. 2012
60
doi:
10.1109/SIBGRAPI-T.2012.10,
URL:
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6382715&isnumber=63827
14
1. ANGEL, Edward. Interactive computer graphics: a top-down approach using OpenGL.
4thed. Boston: Pearson/Addison-Wesley, 2006. xxix, 784 p. Includes bibliographical
references (p. 763- 770) and index. ISBN 0321321375.
2. ANGEL, Edward.. OpenGL: a primer. 2nd ed.. Boston: Pearson/Addison Wesley, 2004. xiii,
252 p. ISBN 9780321237620.3. BAILEY, Michael John; CUNNINGHAM, Steve. Graphics
shaders: theory and practice. Wellesley: Sales, and Customer Service Office, 2009. 391 p.
ISBN 9781568813349.
3. HEARN, Donald; BAKER, M. Pauline. Computer graphics with OpenGL. 3 ed.
Upper Saddle River, NJ: Pearson Prentice Hall, c2004. xxii, 857 p. Inclui referncias
bibliogrficas (p. 827-838) e ndice. ISBN 0130153907.
4. SHIRLEY, Peter et al. Fundamentals of computer graphics. 2nd ed.. Wellesley: A K
PETERS, 2005. 623 p. ISBN 1-56881-269-8.
5. SHREINER, Dave; WOO, Mason; NEIDER, Jackie [et al]. OpenGL programming
guide: the official guide to learning OpenGL, version 2. 5.ed. New Jersey: Addison
Wesley, 2005. 838 p. ISBN 032133573-2.
Empreendedorismo e Desenvolvimento de Negcios

MCZA007-13
Recomendao:
(4-0-4)
Opo Limitada
No tem
Ementa:
Postura empreendedora. Processo de desenvolvimento de negcios. Tpicos em negcios.
Orientao elaborao de planos de negcios.
61
Bibliografia Bsica:
1. HISRICH, Robert D.; PETERS, Michael P. SHEPERD, Dean A. Empreendedorismo. Traduo
Teresa Felix de Souza. 7. ed. Porto alegre: Bookman, 2009.
2. BARON, Robert A. SHANE, Scott A. Empreendedorismo: Uma viso do processo.
Traduo All Tasks. So Paulo: Cengage Learning, 2011.
3. BERNARDI, LUIZ ANTONIO. MANUAL DE PLANO DE NEGOCIOS. ATLAS EDITORA
1. DOLABELA, Fernando Oficina do empreendedor. Rio de Janeiro: Sextante, 2008.
2. DOLABELA, Fernando O segredo de Lusa. Rio de Janeiro: Sextante, 2008.
3. DORNELAS, Jos Carlos Assis. Empreendedorismo: transformando idias em negcios. 3
ed. Rio de Janeiro: Elsevier, 2008. 232 p. ISBN 9788535232707.
4. PINHEIRO, TENNY.THE SERVICE STARTUP - INOVAAO E EMPREENDEDORISMO ATRAVES
DO DESIGN THINKING. ALTA BOOKS
5. BIZZOTTO, CARLOS EDUARDO NEGRAO. PLANO DE NEGOCIOS PARA EMPREENDIMENTOS
INOVADORES. ATLAS EDITORA
MCTA010-13
Recomendao:
(4-0-4)
Obrigatria
Ementa:
Introduo a Engenharia de Software. Modelos de processos de desenvolvimento de software.
Gerncia de projeto. Modelagem e especificao de requisitos de software. Anlise de requisitos de
software. Verificao e validao de requisitos de software. Noes de mtodos formais para
especificao e verificao de requisitos. Ferramentas para engenharia de requisitos. Mtricas de
requisitos de software. Requisitos e prototipagem de interfaces. Aspectos ticos relacionados ao
desenvolvimento de software
Bibliografia Bsica:
1. Pressman, Roger S. Engenharia de Software. 6.ed. - Rio de Janeiro: McGraw-Hill, 2006.
2. Sommerville, I. Engenharia de Software. 10.ed. So Paulo : Addison-Wesley, 2007.
3. Booch, G.; Rumbaugh, J.E.; Jacobson, I. UML, guia do usurio. Rio de Janeiro: Campus,
2000.
62
1. BEZERRA, Eduardo. Principios de anlise e projeto de sistemas com UML. Rio de Janeiro:
Elsevier, 2007. 369 p. ISBN 9788535216967.
2. BRUEGGE, Bernd.; DUTOIT, Allen H.. Object-oriented software engineering: using UML,
Patterns, and java. 2nd ed.. Upper Saddle River, NJ: Prentice Hall, c2004. xxxiv, 762 p.
Includes bibliographical references (p. 739-750). ISBN 978130471109.
3. GUEDES, Gilleanes T. A.. UML 2: uma abordagem prtica. So Paulo: Novatec editora,
2009. 485 p. ISBN 9788575221938.
4. JACOBSON, Ivar. Object-oriented software engineering: a use case driven approach.
[NewYork]: ACM Press, c1992. xx, 524 p. Includes bibliographical references (p. 513-520)
and index. ISBN 0201544350.
5. LARMAN, Craig. Utilizando UML e padres: uma introduo anlise e ao projeto
orientados a objetos e ao desenvolvimento iterativo. 3.ed. Porto Alegre: Bookman,
2007. 695 p.ISBN 9788560031528.
Estgio Supervisionado em Computao I

MCTAO11-13
Recomendao:
(8-0-8)
10. Perodo
Obrigatria (*)
No tem
Ementa:
Desenvolvimento de atividades de estgio individual para propiciar a complementao do
processo de ensino-aprendizagem; possibilitar o desenvolvimento de atividades prticas que
contribuam para a formao profissional em Computao; habilitar o exerccio da competncia
tcnica compromissada com a realidade dos campos de estgio; desenvolver esprito de investigao,
atitudes cientficas e habilidades necessrias prtica profissional em Computao; e
desenvolvimento de habilidades de expresso escrita e oral.
Bibliografia Bsica:
1. Bibliografia varivel, conforme a rea de atuao do estgio realizado pelo aluno.
Observao: *Consultar as normas especficas para estgio em computao presente nesse
documento.
63
Estgio Supervisionado em Computao II

MCTAO12-13
(8-0-8)
11. Perodo
Recomendao:
Estgio Supervisionado em Computao I
Obrigatria (*)
Ementa:
Bibliografia Bsica:
documento.
Estgio Supervisionado em Computao III

MCTAO13-13
(8-0-8)
12. Perodo
Recomendao:
Estgio Supervisionado em Computao I e II
Obrigatria (*)
64
Ementa:
Bibliografia Bsica:
documento.
MCTAO14-13
(3-1-4)
Recomendao:
Lgica Bsica
7. Perodo
Obrigatria
Ementa:
Introduo Inteligncia Artificial. Agentes inteligentes. Resoluo de problemas utilizando
tcnicas de busca. Sistemas Baseados no Conhecimento. Representao do conhecimento.
Tratamento de incerteza. Aprendizado.
Bibliografia Bsica:
1. RUSSEL, S., NORVIG, P., Artificial Intelligence: A Modern Approach, 2nd. ed., Prentice
Hall, 2003.
2. REZENDE, S.O. Sistemas Inteligentes: Fundamentos e Aplicacoes. 1. ed., Manole, 2003.
3. SUTTON, R.; BARTO, A. Reinforcement Learning. MIT Press, 1998.
65
1. BITTENCOURT, G. Inteligencia Artificial Ferramentas e Teorias. UFSC. 3a. Edicao. 2006.
2. BRACHMAN, R. J.; LEVESQUE, H. J. Knowledge Representation and Reasoning. Morgan
Kaufmann, 2004.
3. MORTARI, C. Introducao a Lgica. Editora da UNESP, 2001.
4. JURAFSKY, D.; MARTIN, J. H. Speech and Language Processing. Prentice Hall, 2000.
5. WOOLDRIDGE, M. Introduction to MultiAgent Systems. John Wiley and Sons, 2002.
Interao Humano-Computador
MCZA08-13
Recomendao:
(4-0-4)
Opo Limitada
Ementa:
Introduo aos conceitos fundamentais da interao entre o usurio e o computador. Definio
de usabilidade. Geraes de interfaces e dos dispositivos de interao - a evoluo dos tipos de
interfaces para interao usurio-computador. Aspectos humanos. Aspectos tecnolgicos. Mtodos e
tcnicas de design. Ciclo de vida da engenharia de usabilidade. Heursticas para usabilidade.
Ferramentas de suporte. Mtodos para avaliao da usabilidade. Padres para interfaces. Interao
do usurio com sistemas hipermdia. Desenvolvimento prtico em avaliao e construo de
interfaces.
Bibliografia Bsica:
1. Simone Diniz Junqueira Barbosa e Bruno Santana da Silva, Interao Humano-Computador,
Autores: Editora Elsevier.
2. David Benyon, Editora Pearson, 2 Edio, 2011, "Interao Humano-Computador"
3. Turnell, M. F. Q. V. "Concepo Projeto e Avaliao de Interfaces Homem-Mquina", Notas
de Aula, DEE- UFPB, 1998.
66
1. Mandel, T. "Elements of User Interface", Ed. John Wiley and Sons Inc., 1997.
2. Shneiderman, B. "Designing the User Interface - Stategies for Effective Human-Computer
Interaction", 3nd edition, Ed. Addison Wesley Publishing Co., 1998.
3. Treu, S. "User Interface Design - A Structured Approach (Languages and Information
Systems)", Ed. Plenum Press, 1994.
4. Nielsen, J. "Usability Engineering", Ed. John Wiley and Sons Inc., New York, 1993.
Observao: Essa a antiga disciplina Interface Humano Mquina (mudou de nome).
Introduo Bioinformtica
ESZB022-13
Recomendao:
(3-1-4)
Opo Limitada
Ementa:
Conceitos bsicos de Biologia Molecular; Bancos de Dados Genticos e Proticos; Alinhamento de
Seqncias; Seqenciamento de DNA; Filogenia; Modelagem por Homologia.
Bibliografia Bsica:
1. Vasconcelos, Ana T., Bioinformtica: Anlise de Banco de Dados Geneticos, II Escola de
Vero: Mtodos Computacionais em Biologia, pp. 47-55, 2001.
2. Setubal, J. C., Meidanis J., "Introduction to Computational Molecular Biology",
Brooks/Cole Pub Co, 1997.
3. Gibas, C., Jambeck, P., "Developing Bioinformatics Computer Skills", O'Reilly &
Associates, 2001.
1. Stryer L., Bioqumica, quarta edicao, Guanabara Koogan, 1995.
2. Hunter, L., "Artificial Intelligence and Molecular Biology", AAAI Press Book, 1998.
Obervao: Disciplina compartilhada com Engenharia Biomdica.
67
Introduo Modelagem e Processos Estocsticos

MCZB018-13
Recomendao:
(3-1-4)
Opo Limitada
Introduo a Probabilidade e Estatstica
Ementa:
Cadeias de Markov. Processos de ramificao. Passeios aleatrios. Processo de Poisson. Cadeias de
Markov em tempo contnuo. Fila M/M/1. Teoria da Renovao. Movimento Browniano.
Bibliografia Bsica:
1. ROSS, S.M. Introduction to Probability Models. 9a. ed. Academic Press. 2006.
2. DURRETT, R. Essentials of Stochastic Processes. Springer. 1999.
3. HAIGH, J. Probability Models. Springer. 2005.
1. GRIMMETT R. and STIRZAKER, D.R. Probability and Random Processes. 2a. ed. Oxford
Science Publications. 1998.
2. BHAT, N., MILLER, GK., Elements of Applied Stochastic Processes, Wiley Series in
Probability and Statistics, 2002.
3. CINLAR, E., Introduction to Stochastic Processes, Prentice-Hall, 1975.
4. KARLIN, S., TAYLOR, H. E., An Introduction to Stochastic Modeling, 3th Edition, Academic
Press, 1998
Observao: Disciplina compartilhada com matemtica.
Laboratrio de Engenharia de Software

MCZA010-3
(0-4-4)
Opo Limitada
68
Recomendao:
Ementa:
Reviso dos conceitos fundamentais de engenharia de software. Metodologias de
desenvolvimento de software. Padres de Software. Metodologias para desenvolvimento de sistemas
orientados a objetos. Desenvolvimento gil. Estudo de casos reais utilizando as metodologias de
desenvolvimento.
Projetos
serem
desenvolvidos
utilizando
as
metodologias
(ferramentas/ambientes sero utilizados na prtica de tais estudos). Anlise comparativa entre

metodologias de desenvolvimento.
Bibliografia Bsica:
1. Pressman, Roger S. Engenharia de Software. 6.ed. - Rio de Janeiro: McGraw-Hill, 2006.
2. Booch, G.; Rumbaugh, J.E.; Jacobson, I. UML, guia do usurio. Rio de Janeiro: Campus,
2000.
3. Gamma, Erich. Padres de Projetos: solues reutilizaveis de software orientado a
objetos Porto Alegre: Bookman, 2000.
1. Erl, Thomas. SOA: Princpios do design de servio. So Paulo: Pearson Prentice Hall, 2009.
2. Sommerville, I. Engenharia de Software. 8.ed. So Paulo : Addison-Wesley, 2007.
3. Pfleeger, Shari L. Engenharia de Software: teoria e prtica. 2.ed. So Paulo : Prentice
Hall, 2004.
4. Myers, Glenford J., The Art of Software Testing. Ed. John Willy & Sons, 1979.
5. Gillies, Alan G., Software Quality - The Theory and management. Ed. Chapman & Hall,
1992, 250p.
Laboratrio de Redes
MCZA011-13
Recomendao:
(0-4-4)
Opo Limitada
69
Ementa:
Avaliar os aspectos pertinentes interconexo de redes de computadores usando o TCP/IP;
realizar um projeto conjunto de interconexo de redes usando o TCP/IP; praticar formas distintas de
endereamento e roteamento IP; segurana de redes TCP/IP
Bibliografia Bsica:
1. TANENBAUM, Andrew Stuart; WETHERALL, David. Redes de computadores. 5. ed.
Pearson Education do Brasil, 2011. 582p., ISBN 9788576059240.
2. Manual Completo Do Linux - Guia Do Administrador. Nemeth, Evi; Hein, Trent; Synder,
Gary. Prentice Hall Brasil, ISBN : 8576051125, ISBN-13: 9788576051121, 2 Edio, 2007
3.
Stevens, R, UNIX Network Programming, vol. I, 2nd Edition, Prentice-Hall, 1998.
1. Comer, D. E. Redes de Computadores e Internet. 2. ed. Porto Alegre: Bookman, 2001.
2. Nemeth, E. et al.- Unix System Administration Handbook.3rd. edition, Prentice Hall,
2000.
3. Comer, D. E. - Internetworking with TCP/IP. vol. I. Prentice-Hall, Inc, 4ed., 2000.
4. Waite et al, UNIX System V, Berkeley Brasil Editora, Rio de Janeiro, RJ, Brasil, 1993.
Laboratrio de Sistemas Operacionais

MCZA012-13
Recomendao:
(0-4-4)
Opo Limitada
Sistemas Operacionais
Ementa:
Conceituao; Evoluo Histrica; Estruturao de Sistemas Operacionais; A Funo do
Gerenciamento; Gerenciamento de Processos, Memria, Servios, Dispositivos, Dados: Desempenho
e Arquivos; Caractersticas de um Sistema Operacional; Tpicos de Sistemas Operacionais
70
Bibliografia Bsica:
1. Tanenbaum, A. Sistemas Operacionais Modernos. 3 Ed. So Paulo: Prentice Hall, 2010.
2. Silberschatz, A., Galvin, P. B. Gagne, G. Fundamentos de Sistemas Operacionais. 8 Ed.
Editora LTC, 2010.
3. Tanenbaum, A., Sistemas Operacionais - Projeto e Implementao - Inclui CD-ROM - 3
Ed. Bookman, 2008.
1. OLIVEIRA, Rmulo Silva de; CARISSIMI, Alexandre da Silva; TOSCANI, Simo Sirineo.
Sistemas operacionais. 3. ed. Porto Alegre: Sagra Luzzatto, 2004. 259 p. (Srie livros
didticos, 11). ISBN 9788577803378.
2. SILBERSCHATZ, Abraham; GALVIN, Peter Baer; Gagne, Greg. Sistemas operacionais
com java. 7 ed.rev. atua.. Rio de Janeiro: Elsevier, 2008. 673 p. Inclui bibliografia. ISBN
9788535224061.
3. SILBERSCHATZ, Abraham; GALVIN, Peter B; GAGNE, Greg. Operating system concepts. 7
ed. Hoboken: John Wiley & Sons, c2005. xxii, 921 p. Inclui refernciasbibliogrficas e
ndice. ISBN 0471694665.
4. TANENBAUM, Andrew S; WOODHULL, Albert S. Operating systems: design
andimplementation. 3 ed. Upper Saddle River, N.J: Pearson/Prentice Hall, c2006. xvii,
1054 p. Includes bibliographical references (p. 611-625) and indexes.. ISBN 0131429388
0131429876 (CD-ROM) 9780131429383.
5. TANENBAUM, Andrew S. Modern operating systems. 3rd ed. Harlow: Prentice Hall, 2008.
1076 p. Includes bibliographical references and index. ISBN 9780136006633.
Linguagens Formais e Autmata

MCTA015-13
Recomendao:
(3-1-4)
8. Perodo
Obrigatria
Ementa:
Conceitos bsicos. Linguagens regulares: autmatos determinsticos e no-determinsticos,
expresses regulares. Linguagens livres de contexto: gramtica, autmatos a pilha. Linguagens
recursivamente enumerveis: mquinas de Turing determinsticas e no-determinsticas.
Indecidibilidade: o problema da parada. Complexidade: definio das classes P e NP.
71
Bibliografia Bsica:
1. SIPSER, M. Introducao a Teoria da Computacao. 2 Edicao, Thomson, 2007. (ISBN:
8522104999, ISBN-13: 978-85-221-0499-4)
2. HOPCROFT, J. E., ULLMAN, D. J. e MOTWANI, R. Introducao a Teoria de Autmatos,
Linguagens e Computacao, 2 edicao, Rio de Janeiro: Editora Campus, 2003. (ISBN:
8535210725, ISBN-13: 978-85-352-1072-9)
3. LEWIS, H. R.; PAPADIMITRIOU, C. H. Elementos de Teoria da Computacao. 2 edicao,
Bookman Companhia Ed., 2004. (ISBN: 8573075341, ISBN-13: 978-85-7307-534-2)
1. YAN, S. Y. An Introduction to Formal Languages and Machine Computation, World
Scientific Publishing Company, 1996. (ISBN: 9810234228, ISBN-13: 978-981-02-3422-5)
2. RICH, E. A. Automata, Computability and Complexity: Theory and Applications,
Prentice Hall; 1st edition, 2007. (ISBN: 0132288060, ISBN-13: 978-0-13-228806-4)
3. ANDERSON, J. Automata Theory with Modern Applications, Cambridge University
Press, 2006. (ISBN: 0521848873, ISBN-13: 978-0-521-84887-9)
4. SHALLIT, J. A Second Course in Formal Languages and Automata Theory, Cambridge
University Press, 1st edition, 2008. (ISBN: 0521865727, ISBN-13: 978-0-521-86572-2)
5. SALOMAA, Arto. Computation and automata. Cambridge: Cambridge University Press,
1985. xiii, 284 p. (Encyclopedia of mathematics and its applications, v. 25). Includes
index. ISBN 9780521302456.
Lgica Bsica
NHI2049-13
(4-0-4)
Recomendao:
No tem
6. Perodo
Obrigatria
Ementa:
Clculo sentencial clssico: noes de linguagem, conectivos, deduo e teorema, mtodos
semnticos, e.g., de valoraes. Clculo clssico de predicados de primeira ordem: os conceitos de
linguagem de primeira ordem, igualdade, teorema da deduo, consequncia sinttica. Semntica:
noes de interpretao, verdade em uma estrutura, modelo, consequncia semntica. Apresentao
do conceito formal de teoria, fecho dedutivo. Exposio informal de alguns temas de lgica, e.g.,
acerca da consistncia de teoria, completude de teorias.
72
Bibliografia Bsica:
1. SCHINERMAN, E. Matemtica Discreta: uma introduo, 2 ed., So Paulo: Cenage leraning,
2011. 573 p
2. GERSTIG J.L., Fundamentos matemticos para Cincia da Computao : Um Tratamento de
Matemtica Discreta, LTC, 5a edio, 2004.
3. MORTARI, C. Introduo Lgica, Editora Unesp, 2001.
1. HALMOS, P. R.; Teoria Ingnua dos Conjuntos. So Paulo: Cincia Moderna, 2001
2. VELLEMAN, D. J.; How to prove it: a structured approach. 2 ed. Cambridge: Cambridge
University Press, c2006
3. LIPSCHUTZ, S. ; LIPSON, M. L.; Teoria e problemas de matemtica discreta. 2 ed. Porto
Alegre: Bookman, 2004. 511 p. (Coleo Schaum)
Lgicas no Clssicas
MCZA013-13
Recomendao:
(4-0-4)
Opo Limitada
Lgica Bsica
Ementa:
Caracterizao da Lgica Clssica e das Lgicas no-clssicas. Lgicas no-monotnicas. Lgica
Fuzzy. Lgicas Modais.
Bibliografia Bsica:
1. HAACK, S. Filosofia das Lgicas. Editora da UNESP, 1998.
2. CHELLAS, B. Modal Logic: an introduction. Cambridge University Press, 1980.
3. FITTING, M.; MENDELSOHN, R. L. First-Order Modal Logic. Kluwer, 1998.
73
1. NGUYEN; WALKER. A First Course in Fuzzy Logic. Terceira edio. Chapman & Hall/CRC,
2005.
2. BESNARD, P. An Introduction to Default Logic. Springer-Verlag, 1989.
3. MORTARI, C. Introducao a Lgica. Editora da UNESP, 2001.
4. MAREK, V. W, TRUSZCZYNSKI, M. Nonmonotonic Logic. Springer-Verlag, 1993.
5. BLACKBURN, P; DE RIJKE, M; VENEMA, Y. Modal Logic. Cambridge University Press,
2001.
6. BARROS, L. C., BASSANEZI, R. Tpicos de Lgica Fuzzy e Biomatemtica. Editora do
IMECC-UNICAMP, 2006.
Matemtica Discreta
MCTB019-13
(4-0-4)
Recomendao:
Funes de uma varivel
7. Perodo
Obrigatria
Ementa:
Teoria Intuitiva dos Conjuntos. Operaes com Conjuntos. lgebra de Conjuntos. Relaes.
Relaes de Equivalncia. Relaes de Ordem. Funes. Colees de Conjuntos. Conjuntos
Numricos. Cardinalidade. Tcnicas de Demonstrao: Prova Direta. Prova por Contradio. Induo
Finita. Introduo Anlise Combinatria. Princpio multiplicativo. Princpio aditivo. Permutao,
arranjo, combinao. Princpio de incluso e excluso. O princpio da casa dos pombos. Funes
geradoras. Partio de um inteiro. Relaes de recorrncia.
Bibliografia Bsica:
1. SANTOS, Jos Plnio O.; MELLO, Margarida P.; MURARI, Idani T. C.. Introduo analise
combinatria. Rio de Janeiro: Editora Cincia Moderna Ltda, 2007. 390 p. ISBN
9788573936346.
2. SCHEINERMAN, Edward. Matemtica discreta: uma introduo. 2 ed. So Paulo: Cengage
3. Learning, 2011. 573 p. ISBN 9788522107964
GERSTING, Judith L.. Fundamentos matemticos para a cincia da computao:
umtratamento moderno de matemtica discreta. 5 ed. Rio de Janeiro: LTC, 2008. 597 p.
ISBN 9788521614227.
1. GREENE, Daniel H.; KNUTH, Donald E. Mathematics for the analysis of algorithms. 3rd ed.
74
2. Boston: Birkhuser, 1990. viii, 132 p. Includes bibliographical references and index. ISBN
9780817647285.
3. KNUTH, Donald Ervin. The art of computer programming. 3rd ed. Reading, Mass:
AddisonWesley, c1997. v. 1. xix, 650 p. ISBN 0201896834.
4. ANDERSON, Ian. A first course in discrete mathematics. London: Springer, 2001. 200 p.
(Springer undergraduate mathematics series). ISBN 1852332360.
5. LIPSCHUTZ, Seymour; LIPSON, Marc Lars. Teoria e problemas de matemtica discreta. 2
ed. Porto Alegre: Bookman, 2004. 511 p. (Coleo Schaum). ISBN 9788536303611.
6. JOHNSONBAUGH, Richard. Discrete mathematics. 7th ed.. Upper Saddle River, New
Jersey: Prentice Hall, c2009. xvii, 766 p. ISBN 9780131593183.
Observao: Disciplina Compartilhada com Matemtica.
Mtodos de Otimizao
MCZA014-13
(4-0-4)
Opo Limitada
Recomendao:
Programao Matemtica
Ementa:
Programao linear inteira. Modelos e mtodos de otimizao no linear. Modelos e mtodos de
otimizao multi-objetivos.
Bibliografia Bsica:
1. Goldbarg Luna, Otimizacao Combinatria e Programacao Linear: Modelos e
Algoritmos, Edt Campus, 2000
2. Luenberger D. G., Linear and Nonlinear Programming, 2nd Edition, Addison-Wesley
co., 1984.
3. Maculan
N.F.,
Programacao
Linear
Inteira,
COPPE/UFRJ,
RJ,
1978.
1. Wolsey L.A. Integer Programmming, Wiley-Interscience, 1998.
2. Nemhauser G.L., Wolsey L.A., Integer and combinatorial Optimization, John Wiley,
1988.
3. Vanderbei R.J., Linear programming: Foundations and extensions, Kluwer, 1996.
75
Minerao de Dados
MCZA015-13
(3-1-4)
Recomendao:
Opo Limitada
Banco de Dados
Ementa:
Introduo. Seleo, Preparao e pr-processamento dos dados. Modelagem: o processo de
minerao. Ps-processamento do conhecimento adquirido. Ferramentas.
Bibliografia Bsica:
1. Data Mining: Concepts and Tecniques - J.Han, M.Kamber - Morgan Kaufmann, 2nd
edition, 2006.
2. Witten, I. H., Frank, E. Data Mining: Practical Machine Learning Tools and Techniques
with Java Implementations, Morgan Kaufmann, 2000.
3. Introduction to Data Mining P-N. Tan, M. Steinbach, V. Kumar Addison Wesley, 2005.
1. Bishop, C. M. Pattern Recognition and Machine Learning. Springer, 2006
2. Mitchell, T. M. Machine Learning. McGraw-Hill, 1997
3. Rezende, S.O. Sistemas Inteligentes: Fundamentos e Aplicaes. Manole, 2003
4. Russel, S., Norvig, P., Artificial Intelligence: A Modern Approach, 2nd. ed., Prentice Hall,
2003
5. R. O. Duda, P. E. Hart e D. G. Stork, Pattern Classification (2nd Edition), Wiley, 2000
Paradigmas de Programao
MCTA016-13
(2-2-4)
8. Perodo
Recomendao:
Obrigatria
76
Programao Orientada a Objetos

Ementa:
Viso comparativa entre os paradigmas de programao. Paradigma funcional. Paradigma
concorrente.
Bibliografia Bsica:
1. MELO A. C., SILVA F. S. C. Princpios de Linguagem de Programacao, Edgard Blcher,
2003.
2. SEBESTA R. W. Conceitos de Linguagens de Programacao. Bookman, 2001.
3. HANKIN, C. Lambda-Calculi for Computer Scientists. King's College London
Publications, 2004.
1. THOMPSON, S. Type Theory and Functional Programming. Addison-Wesley, 1991.
2. PIERCE, B. Types and Programming Languages. MIT Press, 2002
3. FLANAGAN, D.; MATSUMOTO, Y. A Linguagem De Programacao Ruby. Alta
Books, 2008.
4.
BIRD, R.; WADLER P. Introduction to Functional Programming. Prentice Hall, 1994.
5. DYBVIG, K. The Scheme Programming Language. MIT Press, 2003.

6. O'SULLIVAN, B.; STEWART, D.; GOERTZEN, J. Real World Haskell. O'Reilly,
2008.
7. BEN-ARI, M. Principles of Concurrent and Distributed Programming. Addison Wesley,
2006WILKINSON, B; ALLEN, M. Parallel Programming. Prentice Hall, 1999.
8. DOETS, K.; VAN EIJCK, E. The Haskell Road to Logic, Maths and Programming.
King's College London Publications, 2004.

MCZB027-13
(2-2-4)
Recomendao:
Opo Limitada
77
Ementa:
Reviso de Probabilidade. Variveis aleatrias. Simulao de sistemas. Modelos e tcnicas de
modelagem. Definio de processo estocstico: Processos estocsticos a tempo discreto e a tempo
contnuo. Teoria de filas. Validao de modelos.
Bibliografia Bsica:
1. Raczynski, S., Modeling and Simulation: The Computer Science of Illusion, Wiley, 2006.
2. Neelamkavil, F., Computer Simulation and Modelling, Wiley, 1987.
1.
McHaney, R. W., Computer Simulation: A Practical Perspective, Academic Press, 1981.
2. Chwif, L., Medina, A.C., Modelagem e simulacao de eventos discretos, 2 edicao,
Bravarte, 2007.
Processamento de Linguagem Natural

MCZA017-13
(2-2-4)
Recomendao:
Opo Limitada
Ementa:
Introduo ao processamento de linguagem natural. Processamento sinttico. Tcnicas de anlise
(parsing). Gramticas. Interpretao semntica. Processamento de discurso. Aplicaes.
Bibliografia Bsica:
1. Allen, J. Natural language understanding. 2.ed. Menlo Park: The Benjamin/Cummings,
1995
2. Bratko Ivan. Prolog Programming for Artificial Intelligence. Addison-Wesley, 1986
3. Gazdar G., Mellish, C. Natural Language Processing in PROLOG: An Introduction to
Computational Linguistics. Addison-Wesley Pub. Co., 1989
78
1. Amble, T. Logic programming and knowledge engineering. Wokingham: Addison-Wesley,
1987
2. Charniak, E. Statistical Language Learning. Cambridge: MIT Press, 1996
3. Garside, R. et al Corpus Annotation: Linguistic Information from Computer Text Corpora.
Addison-Wesley Pub Co., 1997
4. Sterling, L., Shapiro, E. The Art of Prolog: Advanced Programming Techniques.
Cambridge: MIT Press, 1994.
5. Grishman R. Computational Linguistics. Cambridge University Press, 1986.
Obsevao: Compartilhada com Nerocincias
Processamento Digital de Imagens

MCZA018-13
(3-1-4)
Opo Limitada
Recomendao:
Ementa:
Introduo. Sistema visual humano. Dispositivos de aquisio e apresentao de imagens.
Representao de imagens. amostragem e quantizao. Tcnicas de reconstruo de imagens.
Armazenagem. Compresso e recuperao de imagens. Tratamento de rudos em imagens; Filtragem
espacial e convoluo. Tcnicas de realce e restaurao de imagens; Tcnicas de segmentao e
representao.
Bibliografia Bsica:
1. Gonzalez, R. C. and Woods, R. E. Digital Image Processing, Addison Wesely, 1993.
2. Jain, A. K. Fundamental of Digital Image Processing, Prentice Hall, 1989.
3. Pratt, W. K. Digital Image Processing, 2nd ed., John Wiley & Sons, New York, 1991.
79
1. Facon, J., Processamento e Anlise de Imagens, VI EBAI, 1993.
2. Pitas, i, Venetsanopoulos, A.N., Nonlinear Digital Filters: Principles and Applications,
Kluwer Academic Publishers, Boston, 1990.
3. Hanalick, R.M., Shapiro, L., Computer and Robot Vision, vol.1, Addison-Wesley, 1991.
4. Dougherty, E.R. , An Introduction to Morphological Image Processing, SPIE Optical
Engineering Press, 1992.
MCTA028-15
(2-2-4)
5. Perodo
Recomendao:
Obrigatria
Ementa:
Apresentar noes bsicas e intermedirias sobre algoritmos, programao em linguagens
compiladas, compilao, programas em execuo (processos), ponteiros, alocao esttica e
dinmica de memria, vetores e matrizes, funes e passagem de parmetros, registros, arquivos e
recursividade. Aplicar todos os conceitos apresentados no contexto da resoluo de problemas
clssicos e novos da computao.
Bibliografia Bsica:
1. PINHEIRO, Francisco A. C.. Elementos de Programao em C. Porto Alegre: Bookman 2012. 528
p. ISBN 978-85-407-0202-8.
2. FORBELLONE, Andr Luiz Villar; EBERSPACHER, Henri Frederico. Lgica de programao: a
construo de algoritmos e estruturas de dados. 3 ed. So Paulo: Prentice Hall, 2005. xii, 218 p.
ISBN 9788576050247.
3. CORMEN, Thomas H et al. Algoritmos: Teoria e prtica. Rio de Janeiro: Editora Elsevier; Editora
Campus, 2002. 916 p. Traduo da segunda (2) edio americana. ISBN 9788535209266.
1. AGUILAR, Luis Joyanes. Programao em C++: algoritmos, estruturas de dados e objetos. So
Paulo: McGraw-Hill, 2008. xxi, 768 p. ISBN 9788586804816.
2. DROZDEK, Adam. Estrutura de dados e algoritmos em C++. So Paulo: Cengage Learning,
80
2009. 579 p. ISBN 9788522102952.

3. FORBELLONE, Andr Luiz Villar; EBERSPCHER, Henri Frederico. Lgica de programao: a
construo de algoritmos e estruturas de dados. So Paulo: Makron Books, 1993. 177 p. ISBN
853460049X.
4. KNUTH, Donald Ervin. The art of computer programming. Upper Saddle River, NJ: Addisonwesly, c2005. v. 1, fasc. 1. 134 p. Includes bibliographical references and index. ISBN
9780201853926.
5. SEDGEWICK, Robert. Algorithms in C++: Parts 1 - 4: fundamentals, data structures, sorting,
searching. Reading, Mass: Addison-Wesley, c1998. 716 p. Includes bibliographical references and
indexes.. ISBN 0201350882.
6. SZWARCFITER, Jayme Luiz; MARKENZON, Lilian. Estruturas de dados e seus algoritmos. 3 ed.
Rio de Janeiro: Ed. LTC, 1994. 302 p. Bibliografia: p. 307-313; Inclui indice. ISBN 9788521617501.
7. TEWNENBAUM, Aaron M.; LANGSAM, Yedidyah; AUGENSTEIN, Moshe J.. Estruturas de dados
usando C. So Paulo: Pearson Makron Books, 1995. 884 p. ISBN 9788534603485.
81
Programao Matemtica
MCTA017-13
(3-1-4)
Recomendao:
Algebra Linear
Obrigatria
Funes de uma Varivel

Ementa:
Introduo. Programao linear. Programao dinmica.
Bibliografia Bsica:
1. Hillier F., Lieberman G.; Introduo pesquisa operacional, Editora Campus Ltda.,
Editora da Universidade de So Paulo, 1988.
2. Goldbarg M.C., Luna H.P.L.; Otimizao combinatria e programao linear- modelos e
algoritmos, Campus, RJ, 2000.
3. Maculan N., Fampa M. H. C.; Otimizao linear, Editora Universidade de Braslia, 2006.
310 p. ISBN 9798523009273.
1. Bertsimas D., Tsitsiklis J. N.; Introduction to Linear Optimization, Athena Scientific, 1997.
xi, 579 p., ISBN 9781886529199.
2. Arenales M., Armentano V. A., Morabito R.; Pesquisa operacional. Rio de Janeiro,
Elsevier, 2007. 524 p., Coleo campus - ABEPRO engenharia de produo, ISBN
9788535214543.
3. Colin E. C.; Pesquisa operacional: 170 aplicaes em estratgias, finanas, logstica,
produo, marketing e venda. Rio de Janeiro: LTC, 2007. 501 p. ISBN 9788521615590.
4. Lachtermacher G.; Pesquisa operacional: na tomada de decises, 4 ed. So Paulo:
PearsonPrentice Hall, 2009. 220 p. ISBN 9788576050933.
Observao: Compartilhada com Matemtica

MCTA018-13
(2-2-4)
5. Perodo
Recomendao:
Obrigatria
Programao estruturada
82
Ementa:
Conceitos bsicos: classes, objetos, mensagens, encapsulamento, herana, polimorfismo.
Programao orientada a objetos utilizando uma linguagem de programao orientada a objetos
(Java). Anlise e projeto orientados a objetos. UML. Padres de projeto de software.
Bibliografia Bsica:
1. Booch, Grady; Rumbaugh, James; Jacobson, Ivar. UML: guia do usurio. 1A edicao,
Editora Campus, 2006.
2. Guedes, Gilleanes T. A.. UML 2: uma abordagem prtica. 1a edicao, Editora Novatec,
2009.
3.
Deitel, Harvey M.; Deitel, Paul J. Java: como programar. 6a edicao, Editora Bookman,
2005.
1. Barnes, David J.; Kolling, Michael. Programacao orientada a objetos com Java. 4a edicao,
Editora Pearson Prentice Hall, 2009.
2. Flanagan, David. Java: o guia essencial. 5a edio, Editora Bookman, 2006.
3. Bruegge, Bernd; Dutoit, Allen H.. Object-oriented software engineering: using UML,
Patterns, and Java. 2a edio, Editora Prentice Hall, 2003.
4. Larman, Craig. Utilizando UML e padroes: uma introducao a anlise e ao projeto orientados
a objetos e ao desenvolvimento iterativo. 3a edicao, Editora Bookman, 2007.
5. Fowler, Martin. UML essencial: um breve guia para a linguagem-padro de modelagem de
objetos. 3a edicao, Editora Bookman, 2005.
Programao para Web

MCZA019-13
(2-2-4)
Recomendao:
Programao Orientada a Objetos, Banco de Dados
Opo Limitada
Ementa:
Conceitos de aplicaes Web. Modelo MVC para modelagem de aplicaes Web interativas.
Plataforma Java para desenvolvimento de aplicaes na Web. XML e Java
Bibliografia Bsica:
1. Fields D.K., Kolb M.A. Desenvolvendo na Web com JavaServer Pages, Editora Cincia
Moderna, 2000
83
2. Mecenas I. Java 2 Fundamentos, Swing e JDBC. Editora Alta Books, 2003.

3. Downey, T. Guide to Web Development with Java: Understanding Website Creation.
Editora Springer London, 2012.
4. Sebesta, Robert W. Programming the World Wide Web, 8th edition. Pearson Addison
Wesley, 2014.
1. Deitel, H. M.; Deitel, P.J. - Java Como Programar. 6. Edio. Editora Pearson- Prentice
Hall, 2005
2. Harrop, R.; Machacek, J. Pro Spring. Editora Apress, 2005.
3. Goncalves, Antonio. Beginning Java EE 7 (Expert Voice in Java). Apress, 2013.
4. Ladd, S.; Davison, D.; Devijver, S.; Yates, C. Expert Spring MVC and Web Flow. Editora
Apress, 2006.
5. Carnell, J.; Harrop, R. Pro Apache Struts with Ajax. Editora Apress, 2007.
6. Mak, G. Spring Recipes: A Problem-Solution Approach. Editora Apress, 2008.
7. Harrop, R.; Machacek, J. Pro Spring. Editora Apress, 2005.
Programao Paralela
MCZA020-13
(4-0-4)
Recomendao:
Paradigmas de Programao
Opo Limitada
Ementa:
Introduo. Modelos de arquiteturas paralelas. Paralelismo. Tipos de acessos. Organizao e
distribuio de tarefas. Organizao e distribuio de dados. Programao Paralela.
Bibliografia Bsica:
1. Rauber, Thomas, Rnger, Gudula . Parallel Programming for Multicore and Cluster
Systems, 2nd Edition, Springer-Verlag Berlin Heidelberg
2. Grama, A., Gupta, A., Karypsis, G., Kumar, V., Introduction to Parallel Computing,
Addison Wesley, 2003.
3. Wilkinson, B., Allen, M., Parallel Programming, Prentice-Hall, 2005.
84
1. Mattson, T. G., Snaders, B.A., Massingill, B. L., A Pattern Language for Parallel
Programming, Addison Wesley Software Patterns Series, 2004.
2. Bibliografia Complementar
3. 1. Mattson, T. G., Snaders, B.A., Massingill, B. L., A Pattern Language for Parallel
Programming, Addison Wesley Software Patterns Series, 2004.
4. 2. David B. Kirk, Wen-mei W. Hwu. "Programming Massively Parallel Processors: A
Hands-on Approach", 2nd Edition, 2012, Morgan Kaufmann.
5. Jason Sanders, Edward Kandrot. "CUDA by Example: An Introduction to GeneralPurpose GPU Programming Paperback", Morgan Kaufmann; 1st edition, 2011. 9780131387683
6. Maurice Herlihy, Nir Shavit. "The Art of Multiprocessor Programming", Morgan
Kaufmann; 1st edition, 2012, 978-0123973375
7. natPeter Pacheco. "An Introduction to Parallel Programming", Morgan Kaufmann; 1st
edition, 2011. 978-0123742605
Projeto de Graduao em Computao I

MCTA019-13
(8-0-8)
Recomendao:
No tem
Obrigatria (*)
Ementa:
Desenvolvimento de atividades de projeto individual para exerccio dos conhecimentos e
habilidades adquiridos no curso; desenvolvimento do potencial criativo individual, para propostas de
solues de problemas; estruturao e apresentao do projeto de acordo com metodologias
cientficas e desenvolvimento de habilidades de expresso escrita e oral.
Bibliografia Bsica:
1. Aidil Jesus da Silveira Barros e Neide Aparecida de Souza Lehfeld; FUNDAMENTOS DE
METODOLOGIA CIENTFICA, Um Guia para a Iniciao Cientfica; Pearson, 2 Edio
Ampliada.
1. Bibliografia varivel, conforme o tema do trabalho selecionado pelo aluno.
85
Projeto de Graduao em Computao II

MCTA020-13
(8-0-8)
Recomendao:
Projeto de Graduao I
Obrigatria (*)
Ementa:
Bibliografia Bsica:
Ampliada.
Projeto de Graduao em Computao III

MCTA021-13
(8-0-8)
Recomendao:
Projeto de Graduao I e II
Obrigatria (*)
Ementa:
86
Bibliografia Bsica:
Ampliada.
Projeto de Redes
MCZA021-13
Recomendao:
(4-0-4)
Opo Limitada
REDES DE COMPUTADORES
Ementa:
Abrangncia e escopo de projetos de rede. Tipos de projetos de redes e o conhecimento
necessrio para realiz-los. Ciclo de vida de um projeto de rede; Anlise de viabilidade de um projeto
de rede. Uma metodologia top-down para projeto de rede. Fase 1: Identificao dos Requisitos do
Cliente. Fase 2: Projeto Lgico da Rede. Fase 3:Projeto Fsico da Rede. Fase 4: Testes, Otimizao e
Documentao do Projeto de Rede. Exemplos de Projeto de Rede; Execuo de um projeto de rede.
Bibliografia Bsica:
1. OPPENHEIMER, Priscilla. Top-Down Network Design, 2nd Edition. Cisco Press, 2004.
2. MCCABE, James D., KAUFMANN, Morgan. Network Analysis, Architecture and Design.
2nd Edition.
87
3. SPOHN, Darren L. Data Network Design. Paperback, 2002.

4. MEDOE, Pedro A. Cabeamento de redes na prtica. Saber. 2002.
5. PINHEIRO, Jos Maurcio. Guia Completo de Cabeamento de Redes. Campus, 2003.
6. Catlogo de produtos da Furukawa. Disponvel em
Catlogo de produtos da Pial. Disponvel em www.pial.com.br
www.furukawa.com.br
88
Projeto Interdisciplinar
MCZA022-13
Recomendao:
(0-4-4)
Opo Limitada
No Tem
Ementa:
Desenvolvimento de tema de pesquisa de acordo com temas geradores, desenvolvimento e
elaborao de um projeto baseado no tema da pesquisa. Estruturao, documentao e
apresentao do projeto.
Bibliografia Bsica:
Aidil Jesus da Silveira Barros e Neide Aparecida de Souza Lehfeld; FUNDAMENTOS DE
METODOLOGIA CIENTFICA, Um Guia para a Iniciao Cientfica; Pearson, 2 Edio Ampliada.
Bibliografia varivel, conforme o Tema Gerador e o projeto selecionado pelo aluno.
Redes Convergentes
MCZA023-13
Recomendao:
(4-0-4)
Opo Limitada
Ementa:
Tecnologias e tipos de redes convergentes: dados, voz e vdeo. Ciclos Evolutivos das
Telecomunicaes. Arquitetura das redes atuais e das redes futuras para convergncia de voz. Voz
sobre IP (VoIP). Codificadores de voz. Arquitetura H.323: Gateway, Gatekeeper, Terminais H.323,
MCU. Protocolos H.323. Arquitetura VoIP da IETF: SIP, SDP, RTP, RTSP. Outros protocolos: IAX.
Exemplos de servios de redes convergentes: Skype, etc. Servios de vdeo: HTDV, TV interativa,
Vdeo sob demanda (VoD) e streaming de vdeo. Qualidade de Servio (QoS): Necessidade de QoS,
tcnicas e mecanismos, IntServ, DiffServ. Engenharia de Trfego: MPLS. Instalao e utilizao de
solues de VoIP e vdeo.
89
Bibliografia Bsica:
1. COLCHER, Srgio, et al. VOIP: Voz sobre IP. Editora Campus, 2005.
2. STOLARZ, Damien. Mastering Internet Video : A Guide to Streaming and On-Demand
Video. Addison-Wesley Professional, 2004.
1. WALLINGFORD, T. Switching to VoIP. OReilly & Associates, Paperback, 2005.
2. HERSENT, Olivier, et al. Beyond VoIP Protocols: Understanding Voice Technology and
Networking Techniques for IP Telephony. 2005
3. Documentao tcnica
http://www.ietf.org
dos
padres
utilizados
na
Internet.
Disponvel
MCTA022-13
Recomendao:
(3-1-4)
9. Perodo
Obrigatria
Ementa:
Conceitos bsicos de Redes de Computadores: definies; terminologia; classificao;
protocolos; topologias; comutao de circuitos e pacotes; uso de redes; servios de redes;
redes convergentes; redes sem fio. Arquiteturas de Redes e o modelo ISO/OSI. Internet e os
protocolos TCP/IP; conceitos de comunicao de dados: meios e modos de transmisso,
formas de sinalizao, modulao e multiplexao. Interconexo de Redes e Roteamento.
Controle de Congestionamento. Protocolos de Aplicao. Conceitos de segurana.
BIBLIOGRAFIA BSICA:
1. Tanenbaum, A. S., Redes de Computadores, 4a edicao, Editora Campus, 2003, ISBN
9788535211856.
2. KUROSE, JAMES F. E ROSS, KEITH W. - REDES DE COMPUTADORES E A INTERNET, 5
EDICAO, ISBN: 9788588639973.
3. COMER, Douglas. Redes de computadores e internet: abrange transmisso de dados,
ligao interredes, Web e aplicaes. 4 ed. Porto Alegre: Bookman, 2007, ISBN:
9788560031368.
90
em
1. Peterson, L. & Davie, B., Computer Networks: A Systems Approach, 3rd edition,
Morgan Kaufmann, 2003, ISBN 155860832X.
1. W. Stallings, ''Redes e Sistemas de Comunicao de Dados'', Editora Campus,
2005.
2. 3. PETERSON, Larry L.; DAVIE, Bruce S. Computer networks: a systems approach.
3.ed. New Delhi: Morgan Kaufmann, 2007.
Redes sem Fio

MCZA024-13
(3-1-4)
Recomendao:
Redes de computadores
Opo Limitada
Ementa:
Introduo s comunicaes sem fio. Conceitos e terminologia. Espectro eletromagntico e
tcnicas de transmisso: rdio, microondas, infravermelho. Comunicaes via satlite. Redes locais
sem fio: conceitos e terminologia. Componentes de uma rede local sem fio. Padronizao IEEE
802.11. Bluetooth. Padronizao IEEE 802.16. Tendncias na rea de redes sem fio.
Bibliografia Bsica:
1. TANENBAUM, Andrew Stuart; WETHERALL, David. Redes de computadores. 5. ed.
Pearson Education do Brasil, 2011. 582p., ISBN 9788576059240.
2. RAPPAPORT, Thedore S. Comunicaes sem fio: princpios e prticas. 2. ed.Prentice Hall,
2009. 409p. ISBN 8576051982 .
3. MURTHY, C. Siva Ram; MANOJ, B. S; Ad Hoc wireless networks: architectures and
protocols. Prentice Hall, 2004. 857p. ISBN 013147023X.
91
1. ENGST, Adam e FLEISHMAN, Glenn. Kit do Iniciante em Redes sem Fio. 2 edio. Editora
Pearson, 2005.
2. SANCHES, Carlos Alberto. Projetando Redes WLAN Conceitos e Prticas. Editora rica,
2005.
3. RUFINO, Nelson M. de Oliveira. Segurana em Redes sem Fio. Novatec Editora. So
Paulo, 2005.
Segurana de Dados
MCTA023-13
(3-1-4)
Recomendao:
10. Perodo
Obrigatria
Algoritmo e Estrutura de Dados I

Ementa:
Introduo segurana de computadores. Algoritmos e ferramentas de criptografia: algoritmos
simtricos e de chave pblica. Autenticao de usurios e controle de acesso. Negao de servio
(DoS). Firewalls, sistemas de preveno de intruso e deteco de intruso. Computao
confivel.Segurana em software: estouro de buffer e outros problemas. Problemas de gerncia da
segurana: infra-estrutura,aspectos humanos, auditoria e avaliao de riscos. Segurana na Internet.
Segurana em sistemas operacionais.
Bibliografia Bsica:
1. GOODRICH, Michael T.; TAMASSIA, Roberto. Introduo segurana de computadores.
Porto Alegre: Bookman, 2013. 550 p. ISBN 978-85-407-0192-2.
2. FERREIRA, Fernando Nicolau Freitas. Segurana da informao. Rio de Janeiro: Editora
Cincia Moderna, 2003. 162 p. ISBN 8573932902.
3. STALLINGS, William. Criptografia e segurana de redes: princpios e prticas. 4. ed.
Prentice Hall, 2008. ISBN 9788576051190.
1. TANENBAUM, Andrew S. Sistema operacionais modernos. 3 ed. So Paulo: Pearson
Prentice Hall, 2009. 653 p. ISBN 978857605371.
2. COMER, Douglas. Redes de computadores e internet: abrange transmisso de dados,
ligao inter-redes, Web e aplicaes. 4 ed. Porto Alegre: Bookman, 2007. x, 632p p.
Bibliografia: p. [617]-623.. ISBN 9788560031368.
3. KONHEIM, Alan G. Computer security and cryptography. Hoboken, N.J: Wiley92
Interscience, c2007. xvii, 521 p. Includes bibliographical references and index.. ISBN
9780471947837.
4. KUROSE, James F.; ROSS, Keith W. Redes de computadores e a internet: uma abordagem
top-down. 5.ed. So Paulo: Pearson, 2010. 640 p. ISBN 9788588639973.
5. SCHNEIER, Bruce. Applied cryptography: protocols, algorithms,and source code in C. 2
ed. New York: Wiley, c1996. xxiii, 758 p. Includes bibliographical references (p. 675-741).
ISBN 9780471117094.
6. STALLINGS, William. Criptografia e segurana de redes. 4 ed. So Paulo: Pearson Prentice
Hall, 2008. 492 p. ISBN 9788576051190.
7. STAMP, Mark. Information security: principles and practice. Hoboken, N.J: WileyInterscience, 2 ed, 2011. 606 p. ISBN 978-0470626399.
8. CERT.br - Centro de Estudos, Resposta e Tratamento de Incidentes de Segurana no
Brasil. Cartilha de Segurana para Internet, 2 ed. Comit Gestor da Internet no Brasil,
2012. 140 p. ISBN 978-85-60062-54-6. Disponvel em http://cartilha.cert.br/livro/.
Segurana em Redes
MCZA025-13
(2-2-4)
Recomendao:
Opo Limitada
Ementa:
Conceitos bsicos sobre segurana da informao. Vulnerabilidades, ameaas e ataques.
Autenticao, criptografia e assinatura digital. Aspectos de segurana para aplicaes em redes
TCP/IP. Polticas de segurana. Aspectos sociais da segurana de redes de computadores.
Bibliografia Bsica:
1. STALLINGS, William. Criptografia e segurana de redes. 4 ed. So Paulo: Pearson Prentice
Hall, 2008. 492 p. ISBN 9788576051190.
2. NAKAMURA, Emilio Tissato; GEUS, Paulo Lcio de. Segurana de redes em ambientes
cooperativos. So Paulo: Novatec Editora, 2007. 482 p. ISBN: 978-85-7522-136-5.
3. RUFINO, Nelson M. de Oliveira. Segurana em Redes sem Fio. 4 edio. So Paulo:
Novatec Editora. 2014. 288 p. ISBN 978-85-7522-413-7.
93
1. STALLINGS, William; BROWN, Lawrie. Computer Security: Principles and Practice, Third
Edition, Pearson Prentice Hall, 2014. 840 p. ISBN 978-0133773927.
2. MENEZES, Alfred J.; VANSTONE, Scott A.; OORSCHOT, Paul C. Van. Handbook of Applied
Cryptography. CRC Press, 1996. 816 p. ISBN 0-8493-8523-7.
3. CHESWICK, William R. Firewalls e Segurana na Internet. 2 edio. Bookman, 2005.
4. SCAMBRAY, Joel; McCLURE, Stuart; KURTZ, George. Hackers Expostos: Segredos e
Solues para a Segurana de Redes. 4 edio. Editora Campus.
5. HATCH, Brian, LEE, James, KURTZ, George. Segurana contra Hackers Linux, 2 edio.
Editora Futura.
6. FERREIRA, Fernando N. F. Segurana da Informao. Editora Cincia Moderna, 2003.
7. TANENBAUM, Andrew S. Redes de Computadores. 4 edio. Rio de Janeiro. Editora
Campus, 2003.
Sistema de Gerenciamento de Banco de Dados

MCZA02613-13
(2-2-4)
Recomendao:
Banco de Dados
Opo Limitada
Ementa:
Armazenamento e Consulta de Dados. Gerenciamento de Transaes. Arquitetura de SGBD.
Suporte a objetos em Sistemas de Gerenciamento de Banco de Dados. Tecnologias Emergentes e
Aplicaes.
Bibliografia Bsica:
1. Elmasri, R. e Navathe, S. B., Fundamentals of Database Systems (terceira edio),
Addison-Wesley;
2. Silberschatz, A., Korth, H. F. e Sudarshan, S., Sistema de Banco de Dados (terceira
edio), Makron Books;
3. Ramakrishnan, R., Database Management Systems, McGraw-Hill.
94
1. Date, C.J. Introducao aos Sistemas de Banco de Dados. Campus. 4a Ed.
2. Date, C.J. Banco de Dados: Tpicos Avancados. Campus.
3. Garcia-Molina, H., Ullman J. D. e Widow, J. Database Systems The Complete Book.
Prentice-Hall.
4. Guimares, C. C., Fundamentos de bancos de dados, Editora Unicamp;
5. Manuais dos Sistemas Gerenciadores de Banco de Dados utilizados durante o curso.
MCTA025-13
Recomendao:
(3-1-4)
11. Perodo
Obrigatria
Ementa:
Introduo e caracterizao de sistemas distribudos. Evoluo histrica. Modelos arquiteturais,
objetivos, aplicaes e tendncias modernas. Comunicao e sincronizao em Sistemas distribudos.
Servidores remotos. Servidor de arquivos, diretrios, impressora, nomes, correio eletrnico, etc.
Sistema de Arquivos: organizao, segurana, confiabilidade e desempenho. Estudos de Casos.
Bibliografia Bsica:
1. TANEMBAUM, A. S., Sistemas Distribudos - Princpios e Paradigmas. Prentice-Hall, 2007.
2. COULOURIS, George F; DOLLIMORE, Jean; KINDBERG, Tim. Distributed systems: concepts
and design. 4th ed. Harlow, England: Addison-Wesley, 2005.
3. DEITEL, H. Java Como programar. Prentice-Hall, 2006
95
1. TANENBAUM, Andrew S. Sistema operacionais modernos. 3 ed. So Paulo: Pearson
Prentice
2. Hall, 2009. 2. BEN-ARI, Mordechai. Principles of concurrent and distributed
programming. 2. ed. Harlow, UK:
3. Addison-Wesley, c2006. 361 p. ISBN 9780321312839.
4. GRAMA, Ananth. Introduction to parallel computing. 2. ed. Harlow, UK: AddisonWesley, 2003., 636 p. ISBN 9780201648652.
5. PACHECO, Peter S. Parallel programming with MPI. San Francisco, California: Morgan
Kaufmann Publishers, c1997. 418 p. ISBN 9781558603394.
6. GHOSH, Sukumar. Distributed systems: an algorithmic approach. Boca Raton: CRC Press,
2007. 402 p. (Computer and information science series; n. 30). ISBN 9781584885641.
Sistemas Digitais
MCTA024-13
(2-2-4)
Recomendao:
Circuitos Digitais
6. Perodo
Obrigatria
Ementa:
Sistemas digitais. Introduo Linguagem VHDL. Descrio, Modelagem e Simulao de Circuitos
Digitais. Projeto Estruturado e Implementao de Circuitos Digitais. Exemplos comerciais e estudo de
casos para os tpicos abordados
Bibliografia Bsica:
1. Mano, M. M.; Kime, C. R. Logic and Computer Design Fundamentals. Pearson PrenticeHall, fourth edition, 2008
2. Tocci, J. Ronald; Widmer, Neal S. Sistemas Digitais: Princpios e Aplicaes. Pearson
Prentice-Hall, 10 edio, 2007
3. VAHID, F. Sistemas Digitais: projeto, otimizao e HDLs. Artmed Bookman, 2008
96
1. Idoeta I., Capuano F. Elementos de Eletrnica Digital. Editora rica Ltda, 2006.
2. Ercegovac, M.; Lang, T. e Moreno, J. Introduo aos Sistemas Digitais. Artmed
Bookman,2005.
3. Bignell, J.W., Donovan, R.L. Eletrnica Digital. Cengage Learning, 2009.
4. Katz, R. H. Contemporary Logic Design. Addison Wesley Publishing Company, 1993.
5. Ashenden, P. J. The Designers Guide to VHDL. Morgan Kaufmann Publisher, 2 ed., 2002.
MCZA028-13
Recomendao:
(3-1-4)
Opo Limitada
Ementa:
Introduo. Nvel micro: agentes. Nvel macro: Sistemas Multiagentes. Metodologia de
desenvolvimento de SMAs. Ambientes de desenvolvimento.
Bibliografia Bsica:
1. RUSSEL, S.; NORVIG, P. Artificial Intelligence: A Modern Approach, 2nd. Ed., Prentice Hall,
2003.
2. WEISS, G. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence.
MIT Press, 1999.
3. WOOLDRIDGE, M. An Introduction to Multiagent Systems, John Wiley & Sons, 2009.
1. BITTENCOURT, G. Inteligencia Artificial Ferramentas e Teorias. UFSC. 3a. Ed., 2006.
2. REZENDE, S. O. Sistemas Inteligentes: Fundamentos e Aplicacoes. 1a Ed., Manole, 2003.
3. MURPHY, R. R. Introduction to AI Robotics. MIT Press, 2000.
4. DAUTENHAHN, K.; BOND, A. H.; CANAMERO, L.; EDMONDS, B. Socially Intelligent Agents:
Creating Relationships with Computer and Robots (Multiagent Systems, Artificial
Societies, and Simulated Organizations). Springer, 2002.
5. BREAZEAL, C. Designing Sociable Robots (Intelligent Robotics and Autonomous Agents
Series). A Bradford Book, 2004.
97
Sistemas Multimdia
MCZA029-13
(2-2-4)
Recomendao:
Computao Grfica
Opo Limitada
Ementa:
Tecnologias e aplicaes multimdia. Hardware e software para multimdia. Representao e
Processamento de udio - Msica e Voz, Imagem e Vdeo. Multimdia na Internet. Ergonomia de interfaces
multimdia. Ferramentas de desenvolvimento. Gerncia de produto multimdia. Direes do futuro Tendncias.
Bibliografia Bsica:
1. Vaughan, T., Multimedia Making it Work, McGraw-Hill, 2001.
2. Agnew, P. W., Kellerman, A. S. Distributed Multimedia: Technologies, Applications, and
Opportunities in the Digital Information Industry. A Guide for Users and Providers, Addison
Wesley, 1996.
3. England, E., Finney, A., Finney, A. Managing Multimedia, Addison Wesley, 1996.
98
1. Velho, L. Computao Grfica e Processamento de Imagens, McGrawHill, 1996.
2. Paula Filho, W. de P., Multimdia: Conceitos e Aplicaes, LTC Editora, 2000.
Buford, J. F. K., Multimedia Systems, Addison- Wesley, 1994.
3. Vaughan, T., Multimdia na Prtica, Makron Books, 1994.
4. Stolfi, G., Compresso de Imagens, JPEG, PEE647 Princpios de Televiso Digital, 2002.
5. Roesler, V., Perspectivas em Transmisso Multimdia e TV Digital, Instituto de Informtica,
Universidade Federal do Rio Grande do Sul (UFRGS), 2007.
Sistemas Operacionais
MCTA026-13
(3-2-4)
8. Perodo
Recomendao:
Obrigatria
Ementa:
Conceituao; Evoluo Histrica; Estruturao de Sistemas Operacionais; A Funo do
Gerenciamento; Gerenciamento de Processos, Memria, Servios, Dispositivos, Dados: Desempenho
e Arquivos; Caractersticas de um Sistema Operacional; Tpicos de Sistemas Operacionais.
Bibliografia Bsica:
1. Silberschatz, A., Galvin, P. B. Gagne, G. Sistemas Operacionais com Java. 7 , edio.
Editora, Campus, 2008
2. Tanenbaum, A. Sistemas Operacionais Modernos. 2 Ed. So Paulo: Prentice Hall, 2003.
3. Tanenbaum, A. S. Operating Systems: Design And Implementation P. Hall 1987
99
1. Flynn, I. M.; Mchoes, A. M. Introduo Aos Sistemas Operacionais. So Paulo: Thomson,
2002.
2. Shay, William A. Sistemas Operacionais. So Paulo: Makron Books Do Brasil, 1996.758p.
3. Machado, F. B.; Maia, L. P., Arquitetura De Sistemas Operacionais, 3 Ed. Rio De Janeiro:
Ltc, 2003.
4. Oliveira, R. S., Carissimi, A. S., Toscani, S. S. Toscani, Sistemas Operacionais. Porto Alegre:
Inst. De Informtica Da Urgs: Sagra Luzzato, 2004.
5. Stallings, W. Operating Systems - Internals & Design Principles. 6th ed. Prentice Hall,
2009.
Teoria dos Grafos

MCTA027-13
Recomendao:
(3-1-4)
8. Perodo
Obrigatria
Matemtica Discreta
Ementa:
Conceitos bsicos de grafos dirigidos e no dirigidos. Passeios, caminhos, circuitos. Grafos
bipartidos e multi-partidos. Subgrafos. Isomorfismo. Conexidade. Florestas e rvores. Exemplos de
problemas de interesse: colorao de vrtices; clique mximo; caixeiro viajante; problemas de fluxo.
Estruturas de dados para a representao de grafos. Percursos em grafos: em largura, em
profundidade. Ordenao topolgica. rvores geradoras mnimas. Algoritmo de Kruskal. Caminhos
mnimos em grafos: algoritmo de Dijkstra, algoritmo de Floyd-Warshall. Emparelhamentos: Teorema
de Hall.
Bibliografia Bsica:
1. CORMEN, T.H., LEISERSON, C.E., RIVEST, R.L. and STEIN, C., Algoritmos - Teoria e Prtica.
Campus, 2002. (ISBN: 8535209263, ISBN-13: 978-85-352-0926-6)
2. SEDGEWICK, R. Algorithms in C, Part 5: Graph Algorithms, Addison-Wesley Professional,
3rd Edition, 2001. (ISBN: 0201316633, ISBN-13: 978-0201316636)
3. CHARTRAND, G., LESNIAK, L., ZHANG, P. Graphs & Digraphs, Chapman and Hall/CRC, 5th
Edition,
2010.
(ISBN:
1439826277,
ISBN-13:
978-1439826270)
100
1. BOLLOBS, B. Modern Graph Theory, Springer, Corrected Edition, 1998. (ISBN:
0387984887, ISBN-13: 978-0387984889)
2. BOAVENTURA NETTO, Paulo Oswaldo. Grafos: Teoria, Modelos, Algoritmos. So Paulo:
Editora Edgard Blcher, 2003. (ISBN: 8521203918, ISBN-13: 978-85-212-0391-9)
3. CHARTRAND, G., LESNIAK, L., ZHANG, P. Graphs & Digraphs, Chapman and Hall/CRC, 5th
Edition, 2010. (ISBN: 1439826277, ISBN-13: 978-1439826270)
4. GROSS, Jonathan L.; YELLEN, Jay. Graph theory and its applications. 2nd ed. Boca Raton:
Chapman & Hall/CRC, c2006. 779 p. (Discrete mathematics and its applications). Includes
bibliographical references and index. ISBN 978158488
5. ANDERSON, Ian. A first course in discrete mathematics. London: Springer, 2001. 200 p.
(Springer undergraduate mathematics series). ISBN 1852332360.
WebSemntica
MCZA031-13
(4-0-4)
Recomendao:
Opo Limitada
Ementa:
Introduo Web Semntica (WS). Linguagens para a WS. Engenharia ontolgica. Padres e
organizaes de documentos eletrnicos. Integrao da WS com outras tecnologias.
Bibliografia Bsica:
1. Hitzler, Pascal; Krtzsch, Markus; Rudolph, Sebastian. Foundations of Semantic Web
Technologies. Taylor & Francis, 2009.
2. Liyang Yu. A Developers Guide to the Semantic Web (2nd ed.). Springer Berlin
Heidelberg, 2014.
3. Dean Allemang; James Hendler. Semantic Web for the Working Ontologist (2nd ed.).
Morgan Kaufmann, 2011. Claypool Publishers. 2011.
101
1. Wood, David; Zaidman, Marsha; Ruth, Luke; Hausenblas, Michael. Linked Data. Manning
Publications, 2014.
2. DuCharme, Bob. Learning SPARQL. OReilly Media, 2013.
3. Segaran, Toby; Evans, Colin; Taylor, Jamie. Programming the Semantic Web. OReilly
Media. 2009.
4. Grigoris Antoniou; Paul Groth; Frank van van Harmelen; Rinke Hoekstra. A Semantic Web
Primer (3rd ed.). The MIT Press. 2012
5. Heath, Tom; Bizer, Christian. Linked Data: Evolving the Web into a Global Data Space.
Morgan &
102
Vida Artificial na Computao

MCZA030-13
(2-0-2)
Recomendao:
No tem
Opo Limitada
Ementa:
Definio de vida. Auto-organizao e emergncia de comportamentos complexos. Automata
celular. Ferramentas de simulao. Inteligncia distribuda. Interaes sociais em mundos virtuais.
Bibliografia Bsica:
1. Christoph
Adami.
Introduction
to
Artificial
Life:
Springer,
1998
Langton C. Artificial life: The proceedings of an Interdisciplinary Workshop on the
Synthesis and Simulation of Living Systems: Addison-Wesley, 1989.
2. KENNEDY, James; EBERHART, Russell C.; SHI, Yuhui. Swarm intelligence. Morgan
Kaufmann Publishers, 2001. ISBN 9781558605954
1. Rosen Robert. Life Itself: A Comprehensive Inquiry into the Nature, Origin, and
Fabrication of Life. Columbia University Press, 1991
2. Wolfram Stephem. Cellular Automata and Complexity: Westview Press, 2002
3. Woods R.C. Modeling and Simulation of Dynamic Systems. Prentice-Hall,New Jersey,
1997
Anlise de Algoritmos II
MCZA036-14
Recomendao:
(4-0-4)
Opo Limitada
Ementa:
A estratgia gulosa. Matrides e fundamentos tericos da estratgia gulosa. rvore
geradora mnima, cdigo de Huffman, Frmulas de Horn. Mtodos geomtricos
elementares e interseo geomtrica. Problemas do Fecho convexo e dos pares de pontos
mais prximos. Problemas de Otimizao e Algoritmos aproximativos. Algoritmos
aproximativos para Mochila, Cobertura, Caxeiro Viajante. Paradigma quantico, qubits,
103
superposio e medida. Algoritmo de fatorao de Shor e Algoritmo de busca de Grover.
Bibliografia Bsica:
1. Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani. Algorithms. Boston:
McGraw-Hill, c2008. ISBN 73523402.
2. A Yu Kitaev, A H Shen, M N Vyalyi. Classical and quantum computing.
Providence, EUA: AMS, c2002. ISBN 821832298
3. Thomas Cormen, Charles E Leiserson, Ronald L Rivest, Clifford Stein.
Algoritmos: Teoria e prtica. Editora Campus, 2002. ISBN 8535209263.
1. David McMahon. Quantum computing explained. Hoboken, NJ: Wiley-IEEE
Computer Society Press, c2008. ISBN
9780470096994.
2. Noson S Yanofsky, Mirco A Mannucci. Quantum computing for computer
scientists. Cambridge, Inglaterra: Cambridge University press, 2008. ISBN
9780521879965.
3. Udi Manber. Introduction to algorithms: a creative approach. Reading, Mass:
Addison-Wesley, c1989. ISBN 201120372
4. D J A Welsh. Matroid theory. Edio 2. ed. Londres: Oxford, c2011. ISBN
9780198566946.
Gesto de Projetos de Software

MCZA016-13
(2-2-4)
Recomendao:
Opo Limitada
104
Ementa:
Apresentacao da disciplina, Introducao, Motivacao, Introducao ao Gerenciamento de Projetos; Processos de Gerenciamento de Projetos e Processos de Desenvolvimento de Software; Gestao de
escopo e Requisitos; Gestao de tempo e metricas de software; Gestao de Custo; Gestao de Qualidade;
Gestao de Pessoas; Gestao de Riscos e Gestao de Aquisicao e Integracao.
Bibliografia Bsica:
1. KERZNER, Harold. Gesto de Projetos As melhores prticas. Porto Alegre: Bookman,
2006.
2. PMI Project Management Institute (Editor). Um Guia do Conjunto de Conhecimentos
em Gerenciamento de Projetos Guia PMBOK, Pensylvania, 2004.
3. VARGAS, Ricardo V. Gerenciamento de
competitivos. Rio de Janeiro: Brasport, 2005.
projetos:
estabelecendo
diferenciais
1. KEELING, Ralph. Gesto de projetos: uma abordagem global. So Paulo: Saraiva, 2006.
2. TAVARES, Ana Beatriz; LACERDA, Daniela (tradutoras). Gesto e implementao de
projetos / Harvard Business Review. Rio de Janeiro: Elsevier, 2005.
3. VALERIANO, Dalton L. Gerncia em Projetos Pesquisa, Desenvolvimento e Engenharia.
So Paulo: Makron Books, 1998.
4. Trentim, M. H. (2010) Gerenciamento de Projetos: guia para as certificacoes CAPM e
PMP. Sao Paulo: Editora Atlas.
5. Tecnicas para o gerenciamento de projetos de software. Autor: Jose Carlos Cordeiro
Martins.
105
Observacao: Antiga Disciplina de Organizacao de Projetos
Processamento de Imagens Utilizando GPU

MCZA041-14
(4-0-4)
Recomendao:
Matemtica Discreta
Opo Limitada

Ementa:
Conceitos bsicos: processamento de imagens, morfologia matemtica, programao paralela em
GPU. Aplicaes de processamento de imagens em GPU: Convoluo, Dilatao, Eroso, Rotulao,
Transformada de Fourier, Transformada de Distncia. Analisar e comparar diferentes algoritmos
(solues) para um mesmo problema. Resolvendo problemas reais em GPU, como PCA (Principle
Components Analysis).
Bibliografia Bsica:
1. GONZALEZ, R. C. e WOODS, R. E., Processamento Digital de Imagens, Editora Addison
Wesley BRA, 3 edio, 2010.
2. FARBER, R., CUDA Application Design and Development. Editora Morgan Kaufmann, 1
edition, 2011.
3. SANDERS, J. and KANDROT, D., CUDA by Example: An Introduction to General-Purpose
GPU Programming, Editora Addison-Wesley Professional, 1 edition, 2010.
1. AGRAWAL, R.; IMIELINSKI, T. & SWAMI, A. Mining Association Rules Between Sets of
Items in Large Databases. Proceedings of the 1993 ACM SIGMOD International
Conference on Management of Data, Washington, DC. New York: ACM, 1993.
2. PADHY, N. P. Artificial Intelligence and Intelligent Systems. New Delhi: Oxford
University Press, 2010.
3. ROCHA, M.; CORTEZ, P. & NEVES, J. M. Anlise Inteligente de Dados: Algoritmos e
Implementacao em Java. Lisboa: FCA Editora de Informtica, 2008.
4. TAN, P.N.; STEINBACH, M. & KUMAR, V. Introducao ao Data Mining Mineracao de
Dados. Rio de Janeiro: Editora Cincia Moderna Ltda., 2009.
5. WITTEN, I. H. & FRANK, E. Data Mining: Practical Machine Learning Tools and
Techniques. Second Edition. Amsterdam: Morgan Kaufmann Publishers, 2005.
106
Teoria Espectral de Grafos

MCZA048-14
(4-0-4)
Recomendao:
lgebra Linear
Opo Limitada
Teoria dos Grafos

Ementa:
Matrizes associadas a grafos. Teorema de Perron-Frobenius e Teorema Espectral para matrizes
reais, simtricas e no-negativas. Entrelaamento de Cauchy. Princpio de Rayleigh. Espectro de
alguns grafos e classes de grafos notveis como caminhos, circuitos e rvores. Espectro de subgrafos.
Espectro, conexidade e dimetro. Nmero cromtico, nmero de independncia, clique mximo e
estimativas a partir do espectro. Tcnicas espectrais em algoritmo em grafos. Grafos Expansores e
alpicaes em Computao.
Bibliografia Bsica:
1. D. Cvetkovic, P. Rowlison, S. Simic, An introduction to the theory of graph spectra.
Cambridge University Press, 2010. ISBN 978-0-5211-3408-8.
2. C. Godsil, G. Royle, Algebraic graph theory. Springer, 2001. ISBN 978-0-3879-5241-3.
3. Andries E. Brouwer, Willem H. Haemers. Spectra of Graphs.Springer-Verlag New York.
ISBN:978-1-4899-9433-2 (impresso) 978-1-4614-1939-6 (eletrnico)
1. Lubotzky, Discrete groups, expanding graphs and invariant measures. Birkhauser
Verlag, 2010. ISBN 9783034603317.
2. Piet Van Mieghem, Graph Spectra for Complex Network. Cambridge University Press
New York, NY, 2011. ISBN: 978-0-5211-9458-7
3. Fan Chung e Linyuan Lu,Complex Graphs and Networks. American Mathematical
Society CBMS Regional Conference Series in Mathematics,2006. ISBN: 978-0-82183657-6
4. Fan R. K. Chung, Spectral Graph Theory (CBMS Regional Conference Series in
Mathematics, No. 92), American Mathematical Society, 1996. ISBN: 978-0-82180315-8.
5. Alexander Lubotzky, Discrete groups, expanding graphs and invariant
measures.Birkhauser Verlag, 2010. ISBN: 978-3-0346-0331-7 (impresso) 978-3-03460332-4 (eletrnico)
107
Viso Computacional
ESZA019-13
(4-0-4)
Recomendao:
Opo Limitada
Ementa:
tica; Formao de imagens; Sensores; Processamento de imagens; Viso 2D; Viso 3D;
Topologia digital; Estatstica e operaes pontuais; Transformaes lineares e no lineares;
Morfologia matemtica; Reconhecimento de padres.
Bibliografia Bsica:
1. D.A. Forsyth and J. Ponce, Computer Vision: A Modern Approach, Prentice Hall, 2002.
2. R.C. Gonzales and R.E. Woods, Digital Image Processing, Prentice Hall, 2nd Edition, 2002.
3. W.K. Pratt, Digital Image Processing, 2nd ed., Wiley, New York, 1991, 750p.4. T. Y. Kong and A.
Rosenfeld, Digital topology: Introduction and survey, Computer Vision, Graphics and Image
Processing 48 (1989), 357-393.
1. J. Serra, Image Analysis and Mathematical Morphology Part I, Academic Press,1982.
2. R. O. Duda and P. E. Hart, Pattern Classification and Scene Analysis, John Wileyand Sons, 1973.
3. E. O. Brigham, The Fast Fourier Transform and its Applications, Prentice Hall,1988.
4. J. C. Russ, Image Processing, CRC Press, 1995.
5. K. R. Castleman, Digital Image Processing, Prentice Hall, 1996.
Observao: Compartilhada com Engenharia de Automao e Robtica
Prtica Avanada de Programao A
108
MCZA038-14
(0-4-4)
Recomendao:
Opo Limitada
Ementa:
Formatao de entrada/sada; estruturas de dados (pilhas, filas, listas, rvores, heaps); ordenao
eficiente (quicksort, mergesort); enumerao de permutaes e subconjuntos; backtracking; busca
(largura/profundidade) em grafos.
Bibliografia Bsica:
edio, 2002
2. Knuth D.E. The Art of Computer Programming. vols. 1 e 3, Addison-Wesley, 1973;
3. Feofiloff P. Algoritmos em Linguagem C. Editora Campus/Elsevier, 2009
1. Rodrigues P., Pereira P., Sousa M., Programacao em C++: Algoritmos e Estruturas de Dados
FCA Editora de Informtica, 2000;
2. Sedgewick, R. Algorithms in C++ (Parts 1-4), Addison-Wesley, 3 edio, 1998;
3. Tenenbaum, A. M., Langsam Y., Augenstein M. J. Estruturas de Dados Usando C. Editora
Pearson Makron Books;
4.
Drozdek Adam. Estrutura de dados e Algoritmos em C++. Thomson Learning, 2002.
Prtica Avanada de Programao B

MCZA039-14
(0-4-4)
Recomendao:
Opo Limitada
Ementa:
Estruturas de dados (union-find); ordenao topolgica em grafos dirigidos; problemas de
natureza recursiva: estratgia gulosa. Elementos bsicos de programao dinmica: subsequncia
comum mxima, distncia de edio entre sequncias, problemas da mochila, problemas de troco
etc.; teoria dos nmeros em computao (divisibilidade/mdc/congruncias); caminhos mnimos
(algoritmo de Dijkstra) e emparelhamentos em grafos; busca em texto (algoritmo de Knuth-Morris109
Pratt).
Bibliografia Bsica:
edio, 2002
2.
Knuth D.E. The Art of Computer Programming. vols. 1 e 3, Addison-Wesley, 1973;
3. Feofiloff P. Algoritmos em Linguagem C. Editora Campus/Elsevier, 2009.
1. W. B. Poucher, M. A. Revilla, From Baylor to Baylor, lulu.com, 1st Edition, 2009. (ISBN-10:
1409273059, ISBN-13: 978-1409273059).
2. S. S. Skiena, The Algorithm Design Manual, Springer; 2nd edition, 2011. (ISBN-10:
1848000693, ISBN-13: 978-1848000698) Sphere Online Judge, http://www.spoj.pl/
3. A. Shen, Algorithms and Programming: Problems and Solutions, Springer; 2nd ed.
Edition, 2009. (ISBN-10: 1441917470, ISBN-13: 978-1441917478).
Prtica Avanada de Programao C

MCZA040-14
Recomendao:
(0-4-4)
Opo Limitada
Ementa:
Fluxo em redes; rvores balanceadas (Rubro-negra ou AVL); Geometria Computacional:
interseco de polgonos, par de pontos mais prximos; cdigos de correo de erro; algoritmos
probabilsticos e desaleatorizados; Programao dinmica avanada: subrvore filogentica comum
mxima.
110
Bibliografia Bsica:
1. S. S. Skiena, M. A. Revilla, Programming Challenges: The Programming Contest
Training Manual, Springer; 2003. (ISBN-10: 0387001638, ISBN-13: 978-0387001630).
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.173.8499&rep=rep1&type=p
df
2. Robert Sedgewick, "Algorithms in C, Parts 1-4 (Fundamental Algorithms, Data
Structures, Sorting, Searching)", Addison-Wesley Professional, 1998
edio, 2002
1. W. B. Poucher, M. A. Revilla, From Baylor to Baylor, lulu.com, 1st Edition, 2009. (ISBN-10:
1409273059, ISBN-13: 978-1409273059).
1848000693, ISBN-13: 978-1848000698) Sphere Online Judge, http://www.spoj.pl/
3. A. Shen, Algorithms and Programming: Problems and Solutions, Springer; 2nd ed.
Programao Segura
MCZA034-14
(2-2-4)
Recomendao:
Opo Limitada
Ementa:
Segurana no processo de desenvolvimento de software; vulnerabilidades: descrio, tecnologias
(linguagens, sistemas operacionais) envolvidas, preveno e correo; ferramentas para preveno de
vulnerabilidade; Caractersticas relevantes de linguagens de programao: sistemas de excees,
sistema de tipos, cdigo, nativo versus bytecode, outras caractersticas. prtica: busca por
vulnerabilidades em produtos reais.
Bibliografia Bsica:
1. THOMPSON, H.; CHASE, SCOTT G.: "The Software Vulnerability Guide" Charles River
Media, 2005.
2. DOWD, Mark; MCDONALD, John; SCHUH, Justin. The Art of Software Security
Assessment: Identifying and Preventing Software Vulnerabilities. Pearson, 2006.
3. CHESS, Brian; WEST, Jacob. Secure Programming with Static Analysis. Addison-Wesley
Professional, 2007.
111
1. GRAFF, MARK G; VAN WYK, KENNETH R.: "Secure Coding: Principles and Practices"
O'Reilly, 2003.
2. HOWARD, M.; LEBLANC, D.: "Writing Secure Code" Microsoft Press, 2a edio, 2002.
3. SEBESTA, R.: "Conceitos de Linguagens de Programao" Bookman, 5a edio, 2003.
4. HARBISON, S.; STEELE JR, G. L. "C: manual de referncia" Prentice Hall/Cincia Moderna,
2002.ROCHKIND, M. "Advanced UNIX Programming" Addison-Wesley, 2a edio, 2004.
5. STEVENS, W. R.; RAGO, S. "Advanced Programming in the UNIX Environment" AddisonWesley, 2a edio, 2008.
Semntica de Linguagem de Programao

MCZA046-14
Recomendao:
(4-0-4)
Opo Limitada

Lgica Bsica
Linguagens Formais e Automata
Ementa:
Semntica Operacional: estrutural e natural. Semntica Denotacional. Semntica Axiomtica.
Aplicao em demonstrao de corretude. Noes rudimentares de semntica de programas
concorrentes.
Bibliografia Bsica:
1. Nielson, H. R.; Nielson, F. Semantics with Applications: An Appetizer. Springer, 2007. 9781846286919
2. Turbak, F.; Gifford, D.; Sheldon, M. A. Design Concepts in Programming Languages. MIT
Press, 2008. 978-0262201759
3. Pierce, B. Types and Programming Languages. MIT Press, 2002. 978-0262162098
112
1. Winskel, G. Formal Semantics of Programming Languages. MIT Press, 1993. 9780262731034.
2. Gunter, C. A. Semantics of Programming Languages: Structures and Techniques. MIT Press,
1992. 978-0262570954 disponvel em: http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/
3. Slonneger, K.; Kurtz, B. Formal Syntax and Semantics of Programming Languages. AddisonWesley, 1995. 978-0201656978m disponvel em:
https://dspace.mit.edu/handle/1721.1/6952
4. Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. (tese de
doutorado) MIT AI Lab Tech Report 884, 1986. Disponvel em:
http://www.cs.ox.ac.uk/people/publications/personal/Bill.Roscoe.html
5. Roscoe, A. W. The Theory and Practice of Concurrency. Prentice Hall, 1997. ISBN 0-13674409-5 disponvel em http://www.usingcsp.com/
6. Hoare, C. A. R. Communicating Sequential Processes Prentice Hall, 2004 (1985). ISBN 0-13153271-5
7. Barendregt, H. The Lambda Calculus. Its Syntax and Semantics. College Publications, 2012.
978-1848900660
8. Barendregt, H. Dekkers, W.; Statman, R. Lambda Calculus with Types Cambridge, 2013. 9780521766142
9. Hankin, C. An Introduction to Lambda Calculi for Computer Scientists. College Publications,
2004. 978-0954300654
10. Fernandez, M. Programming Languages and Operational Semantics: An Introduction. College
Publications, 2004. 978-0954300630
11. Httel, H. Transitions and Trees: An Introduction to Structural Operational Semantics.
Cambridge, 2010. 978-0521681254
Introduo Programao de Jogos

MCZA032-14
(2-2-4)
Recomendao:
Geometria Analtica
Opo Limitada

Computao Grfica
113
Ementa:
Histria dos Videogames; Gneros de Jogos; Reviso dos Conceitos bsicos de Computao
Grfica (transformaes geomtricas, buffers, malhas, texturas, shaders); Game Design: Enredo,
Narrativa, Storyboards; Fundamentos de Programao em Jogos; Metodologias de Programao em
Jogos Linguagens Compiladas, Interpretadas e Scripts; Engines de Jogos; Arquitetura de Jogos; Fsica
de Jogos; Conceitos Matemticos, Deteco de Coliso e Resoluo; Fsica em tempo real; udio em
Jogos; Inteligncia Artificial nos Jogos; Animao de personagens.
Bibliografia Bsica:
1. Introduo ao Desenvolvimento de Games volumes de 1 4 Traduo da 2 edio
norte-americana Steve Rabin (editor), Cengage Learning.
2. Desing de Games Uma Abordagem Prtica - Paul Schuytema, Cengage Learning
3. Game Architecture and Design - ROLLINGS, Andrew & MORRIS, Dave The Coriolis Group,
LLC
1. C# Game Programming Cookbook for Unity 3D Paperback, Jeff W. Murray, A K
Peters/CRC Press. 2014.
2. Beginning 3D Game Development with Unity 4: All-in-one, multi-platform game
development, Sue Blackman, Apress; 2 ed., 2013.
3.
Unity 2D Game Development Paperback, Dave Calabrese, Packt Publishing, 2014.
4. Beginning C++ Game Programing, Michael Dawson, Course Technology PTR, 2006
5. Como criar personagens inesquecveis. SEGE, Linda, Bossa Nova, 2006.
Algoritmos Probabilsticos
MCZA035-14
(4-0-4)
Recomendao:
Algoritmos e Estruturas de Dados II
Opo Limitada
Introduo Probabilidade e Estatstica
114
Ementa:
Reviso de probabilidade discreta. Exemplos de algoritmos aleatorizados: Algoritmo para
Identidade polinomial; Sigilo perfeito; MAX 3-SAT. Leis de desvios e aplicaes em algoritmos e
estruturas de dados: hashing universal; treaps. Modelos de computao e classes probabilsticas de
complexidade.
Aplicaes de Cadeias de Markov. Passeios aleatrios em grafos. Algoritmos
distribudos probabilsticos.
Bibliografia Bsica:
1. M. Mitzenmacher, E. Upfal, Probability and Computing: Randomized Algorithms and
Probabilistic Analysis, Cambridge University Press, 2005. (ISBN-10: 0521835402, ISBN13: 978-0521835404)
2. R. Motwani, P. Raghavan, Randomized Algorithms, Cambridge University Press, 1995.
(ISBN-10: 0521474655, ISBN-13: 978-0521474658)
3. D. Dubhashi, A. Panconesi, Concentration of measure for the analysis of randomized
algorithms. Cambridge University Press, c2009. ISBN 9780521884273.
1. J. Hromkovic, Design and Analysis of Randomized Algorithms.Introduction to Design
Paradigms.Texts in Theoretical Computer Science, Springer; 2005.ISBN 978-3-5402-39499
2. Mark Jerrum, Counting, Sampling and Integrating: Algorithms and Complexity. Lectures
in Mathematics, ETH Zrich, Birkhuser, 2003. ISBN 978-3-7643-6946-0
3. M. Habib (ed) et al. Probabilistic methods for algorithmic discrete mathematics. Springer,
Algorithms and Combinatorics Volume 16,1998.ISBN 978-3-642-08426-3 (impresso) 9783-662-12788-9 (eletrnico)
4. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein. Introduction to
Algorithms. The MIT Press; 3rd edition (2009). ISBN 978-0-2620-3384-8
5. Sanjeev Arora e Boaz Barak, Computational Complexity: A Modern Approach. Cambridge
University Press, 2009, ISBN 978-0-5214-2426-4
Combinatria Extremal
MCZA037-14
(4-0-4)
Recomendao:
Matemtica Discreta
Opo Limitada
115
Ementa:
Teoria Extremal de Conjuntos: famlias intersectantes, Teorema de Sperner, Teorema Erdos-KoRado, Teorema de Ahlswede e Khachatrian, Desigualdades FKG. Teoremas de Ramsey, Limitantes
para nmeros de Ramsey, Teoremas de Ramsey para Grafos, Verso infinita do Teorema de Ramsey,
Teoremas de van der Waerden e Schur.
Bibliografia Bsica:
1. C. G. T. A. Moreira, Y. Kohayakawa, Tpicos em Combinatria Contempornea, 1 ed, Rio de
Janeiro: IMPA, 2001. (ISBN: 85-244-0183-4)
2. S. Jukna, Extremal Combinatorics: With Applications in Computer Science, Springer; 2nd
Edition, 2011. (ISBN-10: 3642173632, ISBN-13: 978-3642173639)
3. P. Cameron, Combinatorics: Topics, Techniques, Algorithms, Cambridge University Press;
First Edition, 1995. (ISBN-10: 0521457610, ISBN-13: 978-0521457613)
1. Robert Morris e Roberto Imbuzeiro Oliveira, Extremal and Probabilistic Combinatorics.
Publicaes Matemtica, Instituto de Matemtica Pura e Aplicada, (2011). ISBN: 978-85-244319-4.
Disponvel
em
http://www.impa.br/opencms/pt/biblioteca/cbm/28CBM/28CBM_04.pdf
2. Bela Bollobas,Combinatorics: Set Systems, Hypergraphs, Families of Vectors and
Combinatorial Probability. Cambridge University Press, 1986. ISBN: 978-0-5213-3703-8
3. R. Ahlswede and V. Blinovsky, Lectures on Advances in Combinatorics, Springer, 2008. ISBN:
978-35-4078-601-6
4. Ian Anderson, Combinatorics of Finite Sets.Dover Books on Mathematics, Dover Publications
2011.ISBN 978-0-4864-2257-2
5. Bela Bollobas, Extremal Graph Theory. Dover Books on Mathematics, 2004. ISBN 978-0-48643596-1
Sistemas Multi-Robs Sociais

MCZA047-14
(2-2-4)
Recomendao:
Inteligncia Artificial, Sistemas Multi-Agentes
Opo Limitada
116
Ementa:
Conceitos bsicos de Robtica Mvel e Social. Conceitos principais de Sistemas Complexos.
Fundamentos de Sistemas Multi-Agente (SMA) reativos e cognitivos. SMAs como Sistemas
Complexos. SMAs reativos e inteligncia Swarm utilizando Robs Mveis. SMAs cognitivos utilizando
plataformas robticas. Tcnicas de implementao de sistemas multi-robs sociais.
Bibliografia Bsica:
1. ROMERO, R. A. F.; PRESTES, E.; OSORIO, F.; WOLF, D. Robtica Mvel. LTC, 1a Ed., Rio de
Janeiro, 2014.
2. BREAZEAL, C. Designing Sociable Robots (Intelligent Robotics and Autonomous Agents
Series). A Bradford Book, 2004.
3. WOOLDRIDGE, M. An Introduction to Multiagent Systems, John Wiley & Sons, 2009.
1. MCROBERTS, M. Arduino Bsico, Novatec, 1a Ed., 2011.
2. MONK, S. Programacao com Arduino: Comecando com Sketches. 1a Ed., Bookman, 2013.
3. REZENDE, S. O. Sistemas Inteligentes: Fundamentos e Aplicacoes, Manole, 2005.
4. HAYKIN, S. Redes Neurais: Princpios e Prtica. Addison-Wesley, 2a Ed., 2001.
5. DAUTENHAHN, K.; BOND, A. H.; CANAMERO, L.; EDMONDS, B. Socially Intelligent Agents:
Creating Relationships with Computer and Robots (Multiagent Systems, Artificial Societies,
and Simulated Organizations). Springer, 2002.
Robtica Educacional
MCZA045-14
(2-2-4)
Opo Limitada
Recomendao:
Programao Orientada a Objetos, Inteligncia Artificial
117
Ementa:
Histrico da Robtica e da Robtica Educacional. Conceitos iniciais de Robtica. Robtica na
Educao.
Robs como objetos de aprendizagem. Ambientes Computacionais para Robtica
Educacional. Kits Robticos para Robtica Educacional. Projetos em Robtica Educacional.

Metodologia para estruturao de oficinas na Robtica Educacional. Desenvolvimento de projetos.
Bibliografia Bsica:
1. ROMERO, R. A. F.; PRESTES, E.; OSORIO, F.; WOLF, D. Robtica Mvel. LTC, 1 Ed., Rio de
Janeiro, 2014.
2. PAPERT, S. A Mquina das Criancas: Repensando a Escola na Era da Informtica. Artmed,
2008.
3. MONK, S. Programacao com Arduino: Comecando com Sketches. 1a Ed., Bookman, 2013.
1. ALIMIS, D. Teacher Education on Robotics-Enhanced Constructivist Pedagogical Methods,
School of Pedagogical and Technological Education (ASPETE), 2009.
2. MATARIC, M. The Robotics Primer. The MIT Press, 2007
3. NETO, A. A. O. Novas Tecnologias & Universidade: da Didtica Tradicionalista a Inteligencia
Artificial, Desafios e Armadilhas. Vozes, 1 Ed, 2005.
4. DAHLHOFF, H. et al. Introducao a Robtica. Sao Paulo: Festo Didactic, 1993.
5. REZENDE, S. O. Sistemas Inteligentes: Fundamentos e Aplicacoes, Manole, 1a Ed., Bookman,
2013.
Processo e Desenvolvimento de Softwares Educacionais

MCZA042-14
(2-2-4)
Recomendao:
Opo Limitada
Ementa:
Teorias Educacionais na Aprendizagem Mediada por Tecnologia; Ambientes Virtuais de
Aprendizagem; Redes Sociais na Educao; Aprendizagem Mvel; Personalizao da Educao;
Ambientes Adaptativos; Objetos de Aprendizagem. Processo de desenvolvimento de softwares
educacionais. Desenvolvimento de softwares educacionais.
Bibliografia Bsica:
1. BRAGA, J. C. (Org.) Objetos de Aprendizagem Volume I - Introduo e Fundamentos. 1. ed.
118
Santo Andr: Editora da UFABC, 2014. v. 2. 148p .

2. BRAGA, J. C. . Objetos de Aprendizagem Volume II - Metodologia de Desenvolvimento. 1. ed.
Santo Andr: Editora da UFABC, 2015. v. 2. 163p .
3. Objetos
de
aprendizagem:
teoria
e
http://www.lume.ufrgs.br/handle/10183/102993
prtica:
Disponvel
on
line:
1. Learning Objects and Instructional Design Keith Harmn e Alex Koohang;
2. Simonson, M., Smaldino, S. E., Albright, M. J., Zvacek, S., Teaching and Learning at a
Distance: Foundations of Distance Education, Prentice Hall, 4rd edition, 2008, ISBN
0131196308.
3. TORI, R. Educao sem Distncia: As Tecnologias Interativas na Reduo de Distncias em
Ensino e Aprendizagem. So Paulo: Editora Senac, 2010. 256 p.
4. Wiley, D. A (2000) Learning Object Design and Sequenceing Theory. Tese de Doutorado,
Brighan Young University, USA, 1, 5, 6
5. Wiley, D. A (2001) Connecting learning objects to instructional design theory: A definition, a
metaphor, and a taxonomy. In: The Instructional Use of Learning Objects. Disponvel em:
http://wesrac.usc.edu/wired/bldg-7_file/wiley.pdf . In D. A.Wiley. 7, 8.
Tpicos Emergentes em Banco de Dados

MCZA049-14
(4-0-4)
Recomendao:
Banco de Dados
Opo Limitada
Ementa:
Tecnologias Emergentes em Banco de Dados
Bibliografia Bsica:
1. ELMASRI, Ramez; NAVATHE, Shamkant B. Sistemas de banco de dados. 4 ed. So Paulo:
Addison Wesley, 2005. xviii, 724 p. Bibliografia: p. [690]-714. ISBN 8588639173.
2. SILBERCHATZ, Abraham. Sistemas de bancos de dados. 5 ed. Rio de Janeiro: Elsevier, 2006. xii,
779 p. Traduo de: Database system concepts, 5th ed; Apndice. ISBN 8535211078
3. DATE, C J. Introduo a sistemas de banco de dados. 8 ed. Rio de Janeiro: Elsevier, 2003. 865 p.
Traduo de; Introduction to database systems. ISBN 8535212736
119
1. TEOREY, Toby et al. Projeto e modelagem de banco de dados. Rio de Janeiro: Campus,
2007. 276 p.
2. RAMAKRISHNAN, Raghu. Sistemas de bancos de dados. 3 ed. So Paulo: McGraw-Hill,
2008. 884 p. ISBN 9788577260270.
3. GARCIA-MOLINA, Hector; ULLMAN, Jeffrey D.; WIDOM, Jennifer. Database systems: the
complete book. 2 ed. New Jersey: Peqrson Prentice Hall, 2009. 1203 p. ISBN
9780131873254.
4. DATE, D. J.. Database In Depth. Sabastopol: O'Reilly, 2005. 208 p. (Theory in practice).
ISBN 9780596100124
5. Artigos cientficos que trabalhem temas emergentes na rea de Banco de Dados.
Programao Avanada para dispositivos Mveis

MCZA033-14
(0-4-4)
Opo Limitada
Recomendao:
Algoritmos e Estruturas de Dados I; Programao Orientada a Objetos;

Programao para Web
Ementa:
Conceitos fundamentais da programao mvel. Aparncia do aplicativo. Banco de dados e
programao mvel. Integrao com recursos do aparelho. Integrao com outros sistemas: envio de
dados ao servidor. Programao para smartphones X Programao para tablets.
Bibliografia Bsica:
1. MIKKONEN, Tommi. Programming mobile devices: an introduction for practitioners.
Chichester: Wiley, 2007.
2. LECHETA, Ricardo Rodrigues. Google Android. Editora Novatec, 3a edicao, 2013.
3. MEDNIEKS, Zigurd; DORNIN, Laird; MEIKE, G. Blake; NAKAMURA, Masumi. Programando o
Android. Editora Novatec, 2a edicao, 2012.
1. LEE, Wei-Meng. Beginning Android Tablet Application Development, Wrox, 2011.
2. ALLAN, Alasdair. Aprendendo Programacao iOS. Editora Novatec, 2013.
3. LECHETA, Ricardo Rodrigues. Desenvolvendo para iPhone e iPad. Editora Novatec, 2012.
4. BLOCH, Joshua. Java efetivo. 2a edio. Rio de Janeiro: Alta Books, 2010.
5. GAMMA, Erich; HELM, Richard; JOHNSON, Ralph; VLISSIDES, John. Padres de projeto:
120
solues reutilizveis de software orientado a objetos. Porto Alegre: Bookman, 2000.
Robtica e Sistemas Inteligentes

MCZA044-14
(2-2-4)
Opo Limitada
Recomendao:
Programao Orientada a Objetos; Inteligncia Artificial
Ementa:
Viso Geral da rea de Robtica Inteligente. Princpios de Robtica. Princpios de Controle em
Robtica Inteligente. Navegao em Robs Inteligentes. Sistemas complexos. Algoritmos de controle
Inteligentes aplicados Robtica. Viso Computacional aplicada Robtica. Tpicos Avanados em
Robtica e Sistemas Inteligentes.
Bibliografia Bsica:
1. ROMERO, R. A. F.; PRESTES, E.; OSORIO, F.; WOLF, D. Robtica Mvel. LTC, 1a Ed., Rio de
Janeiro, 2014.
2. MURPHY, R. R. Introduction to AI Robotics. MIT Press, 2000.
3. BARONE, D. Sociedades Artificiais: A Nova Fronteira da Inteligencia Artificial. Bookman, 2003.
1. DUDEK, G.; JENKIN, M. Computational Principles of Mobile Robotics Cambridge Univ. Press,
2000.
2. CUESTA, F.; OLLERO, A. Intelligent Mobile Robot Navigation. Springer-Verlag, 2005.
3. RIASCOS, L. A. M. Fundamentos de Robtica Manipuladores e Robs Mveis. Editora
Pleiade, 1a Ed., 2010.
4. SIEGWART, R.; NOURBAKHSH, I. R. Introduction to Autonomous Mobile Robots.
Massachusetts Institute of Technology (MIT), 2004.
5. REZENDE, S. O. Sistemas Inteligentes: Fundamentos e Aplicacoes, Manole, 2005.
Tcnica Avanada de Programao
121
(2-2-4)
Recomendao:
Opo Limitada
Estruturas de Dados I
Ementa:
Apresentao dos conceitos e resoluo de problemas envolvendo estruturas de dados, grafos,
backtracking, programao dinmica, ordenao, combinatria, teoria dos nmeros e aritmtica e
strings.
Bibliografia Bsica:
1. Cormen T. H et al., "Algoritmos: Teoria e Prtica". Rio de Janeiro: Editora Campus, 2a edio,
2002
2. Karumanchi N., "Data Structures and Algorithms Made Easy: Data Structure and Algorithmic
Puzzles". Careermonk Publications, Second Edition, 2011
3. Leskovec J. et al., "Mining of Massive Datasets". Cambridge University, Second Edition, 2014
1848000693, ISBN-13: 978-1848000698)
2. Shen, Algorithms and Programming: Problems and Solutions, Springer; 2nd ed.
3. McDowell G.L., Cracking the Coding Interview: 150 Programming Questions and
Solutions. CareerCup, 5th Edition, 2011.
4. Aziz A. et al., Elements of Programming Interviews: The Insiders' Guide.
CreateSpace Independent Publishing Platform; 1st edition, 2012.
5. Manning C.D. et al., Introduction to Information Retrieval. Cambridge University,
2008.
ANEXO B - EMENTAS DAS DISCIPLINAS QUE NO SO OFERECIDAS PELO BCC

As ementas das disciplinas que no so oferecidas pelo BCC, esto indicadas no site de
cada curso. A Tabela 7 indica o endereo desse site.
Tabela 7 Endereo onde encontra-se as ementas das disciplinas.
Nome da Disciplina
Anis e Corpos
Curso que oferece a

Disciplina
Bacharelado em
http://prograd.ufabc.edu.br/bm
122
Matemtica
Clculo Numrico
Bacharelado em
Matemtica
Educao Distncia e
Novas Tecnologias
Licenciatura em
Matemtica
http://prograd.ufabc.edu.br/lm
Empreendedorismo
Engenharia de Gesto
http://prograd.ufabc.edu.br/eg
Gerenciamento e
Interoperabilidade de
Redes
Engenharia da
Informao
http://prograd.ufabc.edu.br/ei
Gesto Estratgica e
Organizacional
Engenharia de Gesto
Grupos
Bacharelado em
Matemtica
Bacharelado em
Neurocincia
http://prograd.ufabc.edu.br/bn
Engenharia de
Informao
Bacharelado em
Neurocincia
Bacharelado em
Matemtica
Introduo
Neurocincia
Computacional
Bacharelado em
Neurocincia
Jogos Digitais: Aspectos

Tcnicos e Aplicaes
Engenharia da
Informao
Engenharia de Gesto
Planejamento de Redes
de Informao
Engenharia de
Informao
Bacharelado em
Neurocincia
Programao de
Dispositivos Mveis
Engenharia de
Informao
Engenharia de
Informao
Introduo
Bioinformtica
Princpios de Simulao
Matemtica
123
Engenharia de
Informao
Teoria da Recurso e
Computabilidade
Bacharelado em
Matemtica
Engenharia de
Instrumentao,
Automao e Robtica
http://prograd.ufabc.edu.br/eiar
Viso Computacional
ANEXO C Ementas das disciplinas obrigatrias para o BCC e oferecidas pelo

BC&T
As ementas podem ser visualizadas no projeto pedaggico do BC&T disponvel em:
http://prograd.ufabc.edu.br/bct
ANEXO D NORMAS DO PGC

EMENTA: Define as diretrizes para a realizao do Projeto de Graduao em Computao
para os discentes do Curso de Bacharelado em Cincia da Computao da UFABC.
TTULO I DA CARACTERIZAO DO PROJETO DE GRADUAO EM COMPUTAO
Art. 1 - O Projeto de Graduao em Computao (PGC) do Curso de Bacharelado em
Cincia da Computao (BCC) reger-se- pela presente Norma.
Art. 2 - O PGC um trabalho terico ou aplicado que tem dois objetivos bsicos: a)
complementar e estender a formao do aluno, permitindo o seu aperfeioamento e
aprofundamento em um determinado tema pertencente a uma das linhas de pesquisa
existentes no CMCC, preparando-o assim para um Programa de Ps-Graduao ou ainda para a
inovao em um ambiente corporativo e b) avaliar o desempenho do discente tendo em vista
os objetivos gerais do curso.
Art. 3 - O PGC desenvolver-se- no mbito de trs disciplinas:
1 - Projeto de Graduao em Computao I (PGC I), de cdigo MCTA019-13, que
oferecida no dcimo quadrimestre do BCC e com carga didtica de 06 (seis) crditos;
2 - Projeto de Graduao em Computao II (PGC II), de cdigo MCTA020-13, que
oferecida no dcimo primeiro quadrimestre do BCC e com carga didtica de 06 (seis) crditos;
3 - Projeto de Graduao em Computao III (PGC III), de cdigo MCTA021-13, que
oferecida no dcimo segundo quadrimestre do BCC e com carga didtica de 08 (oito) crditos.
124
Art. 4 Os crditos relativos ao PGC somente sero integralizados ao currculo do

discente se este obtiver aprovao nas trs disciplinas do PGC s quais se referem o artigo
anterior.
TTULO II DAS CONDIES PARA MATRCULA NO PGC
Art. 5 - A matrcula no PGC I poder ser feita quando da efetivao da matrcula no
quadrimestre letivo correspondente e ser deferida quando o aluno o completar mais de 50%
dos crditos totais previstos no Projeto Pedaggico do BCC, sendo que destes:
um mnimo de 50% dos crditos devem ser de disciplinas obrigatrias para o curso de
Bacharelado de Cincia e Tecnologia (BC&T);
um mnimo de 50% dos crditos devem ser de disciplinas obrigatrias para o BCC e que
no sejam obrigatrias para o BC&T.
NICO Caber Coordenao do BCC a avaliao e deciso se o aluno solicitante da
matrcula est ou no apto a matricular-se em PGC I, o que inclui, alm da observncia das
condies anteriormente mencionadas, uma anlise global do conjunto das disciplinas j
cursadas pelo aluno. Desse modo, quando da matrcula, a PROGRAD dever encaminhar
Coordenao do BCC um pedido de Avaliao de Requisitos para PGC.
Art. 6 - A matrcula em PGC II poder ser feita somente aps a aprovao em PGC I. A
matrcula em PGC III poder ser feita somente aps a aprovao em PGC II.
TTULO III - DA REALIZAO DO PGC E DAS OBRIGAES DO DISCENTE
Art. 7 - O PGC um trabalho para ser desenvolvido de preferncia individualmente, mas
que pode ser desenvolvido em grupo, desde que sejam especificados em detalhe na proposta
de trabalho os integrantes do grupo e quais as atribuies de cada um.
Art. 8 - Cabe ao Coordenador de PGC (ver Ttulo V) avaliar e decidir se as propostas de
PGC que sero desenvolvidas em grupo satisfazem ou no as condies as quais se referem o
pargrafo anterior.
Art. 9 - O aluno de PGC tem as seguintes funes e obrigaes:
1 - Informar-se sobre as normas e regulamentos do PGC.
2 - Cumprir as normas e regulamentos do PGC.
3 - Verificar as atividades e prazos de orientao e cumpri-los.
4 Providenciar todos os documentos solicitados pelo Coordenador de PGC, dentro dos
prazos por ele estabelecidos.
125
5 - Especificamente relativo disciplina PGC I, dentre os documentos aos quais faz

referncia o pargrafo anterior e outras atividades, mencionamos explicitamente:
A Declaracao de Orientacao (carta de aceite de orientacao) do orientador, juntamente
com os formulrios contendo o ttulo do projeto, um resumo da proposta de trabalho e o(s)
nome(s) do(s) componente(s) com as respectivas assinaturas.
Entregar, na forma e no prazo definido pelo Coordenador de PGC, o Projeto de Execuo
do PGC que, em carter de sugesto, deve conter, no mnimo:
(I) Dados de identificao
(II) Introduo
(III) Justificativa
(IV) Objetivos
(V) Metodologia
(VI) Cronograma
(VII) Referncias Bibliogrficas
Cumprir as atividades estabelecidas no Projeto de Execuo, estabelecidas em conjunto
com seu orientador.
Entregar os formulrios de Avaliao Parcial e Final (ou Ata, quando houver banca: ver Art.
21).
6 - Especificamente relativo disciplina PGC II, dentre os documentos aos quais faz
referncia o 4 desse Art. e outras atividades, mencionamos explicitamente:
1. Cumprir as atividades estabelecidas no Projeto de Execuo, definidas em conjunto com
seu orientador.
2. Entregar, na forma e no prazo definido pelo Coordenador de PGC, a Declarao de
Orientao, os formulrios de Avaliao Parcial e Avaliao Final (ou Ata, quando houver
banca: ver Art. 21) e a Versao Preliminar (equivalente a uma qualificacao) do PGC.
7 - Especificamente relativo disciplina PGC III, dentro os documentos aos quais faz
referncia o 4 desse Art. e outras atividades, mencionamos explicitamente:
1. Cumprir as atividades estabelecidas no Projeto de Execuo e/ou Verso Preliminar,
estabelecidas em conjunto com seu orientador.
126
2. Entregar, na forma e no prazo definido pelo Coordenador de PGC, a Declarao de

Orientao, o formulrio de Avaliao Parcial e a Verso Final do PGC, que ser encaminhada
banca examinadora.
8 - O aluno deve guiar-se por preceitos de conduta tica: se em qualquer etapa do
desenvolvimento do PGC for detectada algum tipo de fraude (plgio, violao de licenas, etc)
o aluno ser automaticamente reprovado na disciplina correspondente.
TTULO IV - DA ORIENTAO DO PGC
Art. 10 - O orientador de PGC I, PGC II e PGC III dever ser um professor da UFABC.
NICO Poder, opcionalmente, haver um coorientador, que poder ser docente ou
tcnico-administrativo, pertencente ou no a alguma instituio externa UFABC, desde que a
rea
de atuao do coorientador seja aderente rea temtica do PGC. No caso de
coorientador externo UFABC, este dever ser aprovado pelo Coordenador de PGC.
Art. 11 - Compete ao orientador de PGC:
2 - Acompanhar o orientando na elaborao e desenvolvimento do PGC: Proposta de
Trabalho, Projeto Consolidado, Versao Preliminar (Texto de Qualificacao), Versao Final, etc.
3 - Orientar a execuo das atividades referentes ao desenvolvimento do PGC pelo
discente.
4 - Informar o orientando sobre as normas, procedimentos e critrios de avaliao.
5 - Fazer o controle de frequncia do orientando.
6 - Comunicar Coordenao do Curso, quando solicitado, sobre o andamento do
processo de orientao.
7 - Informar Coordenao do Curso qualquer anormalidade referente ao
desenvolvimento das atividades referentes orientao.
8 - Se concordar com a Verso Final do trabalho entregue pelo orientando, deve
encaminh-la banca examinadora, na forma e prazo definidos pelo Coordenador de PGC.
9 - Encaminhar ao Coordenador de PGC a documentao referente avaliao final do
PGC.
10 - Participar dos processos de avaliao, bancas includas, dos PGC sob sua
orientao.
127
Art. 12 - Em condies de normalidade, o orientador de PGC indicado na disciplina PGC I

dever ser o mesmo nas disciplinas PGC II e PGC III, uma vez que supe-se que o PGC nico
mas desenvolvido em trs etapas distintas, uma etapa para cada uma dessas disciplinas.
Art. 13 - Em caso de anormalidades e em havendo necessidade de substituio de
orientador, ficar sob a responsabilidade da Coordenao do PGC autorizar a substituio do
orientador a partir de manifestao por escrito do orientador atual do PGC e do orientando.
TTULO V - DO COORDENADOR DE PGC
Art. 14 - O Coordenador de PGC dever ser um professor do CMCC, que assumir a
disciplina PGC I, PGC II e PGC III nos quadrimestres em que forem ofertadas.
Art. 15 - Compete ao Coordenador de PGC:
2 Organizar e divulgar os procedimentos formais necessrios conduo das
disciplinas PGC I, PGC II e PGC III.
3 Comunicar Coordenao do Curso, quando solicitado, sobre o andamento das
correspondentes disciplinas (PGC I, PGC II e/ou PGC III).
4 Informar Coordenao do Curso qualquer anormalidade referente ao
desenvolvimento das atividades referentes s correspondentes disciplinas (PGC I, PGC II e/ou
PGC III).
5 Identificar e divulgar a lista de orientadores disponveis.
6 Definir o planejamento (atividades e prazos) quadrimestral das disciplinas PGC I,
PGC II e PGC III: a data de entrega das Declaraes de Orientao, Avaliaes Parcial e Final
(ou Ata, quando houver banca: ver Art. 21), Propostas de Trabalho, Projetos Consolidados,
Verses Preliminares, Verses Finais, perodo de defesas, etc.
7 Controlar toda a documentao produzida: a) definir a documentao necessria
formulrios, protocolos, cpias de trabalhos, etc formalizao das atividades previstas no
planejamento das disciplinas (PGC I, PGC II e PGC III); b) fornecer todos formulrios e modelos
(quando houver) para essa documentao; c) definir a forma (mdias, sistemas de apoio,
quantidades de cpias, etc) de entrega dessa documentao; d) orientar alunos e orientadores
em como entregar a documentao; e) receber dos alunos e orientadores a documentao
solicitada, organiz-la e arquiv-la.
8 - Especificamente relativo disciplina PGC I:
128
Promover e articular a definio dos pares (orientador, orientado).

Verificar e avaliar a aderncia das propostas de trabalho de PGC ao Curso.
9 - Especificamente relativo disciplina PGC II:
Levantar no incio do quadrimestre correspondente o status de cada projeto, a fim de
avaliar e garantir o seu andamento em relao ao previsto no Projeto Consolidado.
11 - Especificamente relativo disciplina PGC III:
Levantar no incio do quadrimestre correspondente o status de cada projeto, a fim de
avaliar e garantir o seu andamento em relao ao previsto no Projeto Consolidado e Verso
Preliminar (Texto de Qualificacao).
Promover e divulgao das datas de defesas dos trabalhos.
TTULO VI - DOS CONTEDOS
Art. 16 - O PGC dever assumir carter relevante para os propsitos do PGC, aos quais se
referem o Art. 2.
Art. 17 - O PGC representa o momento em que o estudante demonstra as competncias e
habilidades desenvolvidas no curso em um projeto de maior complexidade, no qual ele possa
aplicar de modo integrado todos os contedos e tcnicas com as quais teve contato. O aluno
deve mostrar capacidade de avaliar a tecnologia existente de maneira crtica, bem como de
buscar novas tecnologias de forma independente. Portanto, o PGC no pode se configurar
como uma mera aplicao direta dos mtodos e tecnologias abordadas no curso, mas sim uma
experincia na qual o aluno deve revelar seu domnio da rea de Computao e sua
capacidade de buscar solues criativas e inovadoras para problemas relevantes e no triviais.
Art. 18 - O tema definido em PGC I deve, obrigatoriamente, ser o mesmo em PGC II e PGC
III, ou seja, o tema do PGC desenvolvido ao longo de trs disciplinas (PGC I, PGC II e PGC III)
de modo encadeado e incremental.
Art. 19 - vedada ao aluno a possibilidade de apresentar um PGC equivalente (objetivos,
mtodos e resultados similares) a um projeto de Iniciao Cientfica (IC, PDPD, etc) ou similar
j desenvolvido.
Art. 20 O aluno pode aproveitar a temtica e o background obtidos em um projeto de
IC, PDPD ou similar em desenvolvimento para propor e desenvolver um PGC; entretanto, deve
ficar evidente a contribuio e a originalidade do PGC em relao ao projeto de IC, PDPD ou
similar em questo.
129
TTULO VII DA AVALIAO DO PGC

Art. 21 - Os projetos do PGC, resultantes das disciplinas PGC I e PGC II podem ser
avaliados diretamente pelo orientador ou, opcionalmente, por banca constituda para esse
fim. Se a avaliao for feita diretamente pelo orientador, este dever entregar o formulrio de
avaliao e demais documentos solicitados pelo Coordenador de PGC, atravs dos quais
dever apresentar apreciao sobre a realizao, importncia e valor do trabalho emitindo o
devido conceito, na forma do Regimento Geral da Universidade. Similarmente, se a avaliao
for via banca, esta dever avaliar e registrar via Ata o valor do trabalho e emitir o
correspondente conceito.
Art. 22 Os trabalhos resultantes da disciplina PGC III, isto , a ltima etapa do PGC,
devero ser avaliados obrigatoriamente por uma banca de professores.
Art. 23 As bancas de avaliao devero ser compostas por pelo menos um professor da
UFABC, sendo o presidente da banca o orientador do PGC. Podero integrar a banca docentes
de outras instituies, alunos de ps-graduao ou mesmo profissionais considerados
autoridades na temtica do PGC a ser avaliado. Os participantes da banca sero indicados pelo
orientador ao Coordenador de PGC, que se reserva o direito de acatar ou no a indicao.
Art. 24 sugerido que a banca de avaliao do PGC I e PGC II, quando houver, seja a
mesma do PGC III.
Art. 25 Na defesa perante banca do PGC III (e de PGC I e PGC II, quando houver) o
discente dever realizar uma apresentao com durao sugerida de no mnimo 30 minutos e
no mximo 40 minutos. Para PGCs em grupo, a apresentao oral deve ser dividida entre os
componentes do grupo, e sugere-se o tempo mximo de 40 minutos de apresentao.
Art. 26 A banca examinadora tem as seguintes funes:
1 Examinar, avaliar e atribuir conceito ao trabalho.
2 Quando o PGC for realizado por mais de um aluno, atribuir conceito individualizado
a cada um de seus componentes.
3 Reunir-se no horrio, data e local previamente estabelecidos para assistir a
apresentao oral do PGC.
4 - Aps a apresentao do trabalho a banca poder:
1. Aceitar definitivamente o trabalho, atribuindo-lhe conceito final;
130
2. Condicionar a aceitao a modificaes no texto. Esta hiptese significa que o discente

deve necessariamente proceder s alteraes indicadas pela banca. Neste caso, o discente
dever realizar as modificaes solicitadas e entregar (em prazo definido pelo Coordenador de
PGC) uma verso do trabalho para um membro indicado pela banca para verificao. De posse
da verso revisada, o membro indicado pode aceitar ou recusar o trabalho;
3. Recusar o trabalho.
5 - Cabe aos discentes o direito de recorrer do conceito atribudo, de acordo com as
normas regimentais da UFABC.
Art 27 - A elaborao e apresentao do PGC devero seguir as normas de apresentao e
redao de trabalhos cientficos adotadas pelo CMCC.
TTULO VIII DISPOSIES GERAIS
Art. 28 - Compete ainda Coordenao do Curso:
UNICO Resolver os casos omissos.
Art. 29 - A presente norma entrar em vigor na data de sua aprovao, revogando-se as
disposies em contrrio.
Coordenao do Curso de Bacharelado em Cincia da Computao,
___________________________________
Profa.
___________________________________
Prof.
___________________________________
131
Prof.
___________________________________
Prof.
Anexo D - Resoluo ConsEP n 85 - 26/08/10 - Regulamenta as normas para a

realizao de estgio curricular e no-curricular do curso de graduao em
Bacharelado em Cincia da Computao (BCC) da UFABC.
Acesso
ao
endereo
onde
consta
resoluo
de
estgio
do
BCC:
http://bcc.ufabc.edu.br/estagios-e-oportunidades/estagio-supervisionado.html
132

Anexo Resolucao 195 Aprova A Revisao Do Projeto Pedagogico Do Curso de Bacharelado em Ciencia Da Computacao Anexo

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Anexo Resolucao 195 Aprova A Revisao Do Projeto Pedagogico Do Curso de Bacharelado em Ciencia Da Computacao Anexo

Transféré par

Droits d'auteur :

Formats disponibles

Ministrio da Educao

Universidade Federal do ABC

PROJETO PEDAGGICO DO CURSO DE

Prof. Dr. Klaus Capelle

Prof. Dr. Jos Fernando Queiruga Rey

Diretor do Centro de Matemtica, Computao e Cognio

Prof. Dr. Edson Pimentel

Coordenao do Curso de Bacharelado em Cincia da Computao

Profa. Dra. Juliana Braga - Coordenadora

Profa. Dra. Letcia Bueno - Vice-Coordenadora

Prof. Dr. Andr Balan Colegiado

Prof. Dr. Daniel Martin Colegiado

Prof. Dr. Francisco Zampirolli - Colegiado

Prof. Dr. Luiz Rozante Colegiado

Profa. Dra. Juliana Braga

Profa. Dra. Fabiana Santana

Prof. Monael Pinheiro Ribeiro

Prof. Dr. Luiz Rozante

Profa. Dra Karla Victori

Profa. Dra. Letcia Bueno

Prof. Dr. Andr Balan

Prof. Dr. Daniel Martin

Prof. Dr. Francisco Zampirolli

FORMAS DE ACESSO AO CURSO

MATRIZ CURRICULAR RECOMENDADA 19

DISCIPLINAS DE OPO LIMITADA

EMENTAS DAS DISCIPLINAS25

AES ACADMICAS COMPLEMENTARES FORMAO

ESTGIO CURRICULAR E PROJETO DE GRADUAO 32

SISTEMA DE AVALIAO DO PROCESSO DE ENSINO E APRENDIZAGEM

INSTALAES, LABORATRIOS E BIBLIOTECA 34

NCLEO DOCENTE ESTRUTURANTE

SISTEMA DE AVALIAO DO PROJETO DO CURSO 43

OFERTA DE DISCIPLINA NA MODALIDE SEMIPRESENCIAL

Erro! Indicador no definido.

A Universidade Federal do ABC (UFABC) oferece o curso de Cincia da Computao na Av.

A formao humanstica d ao egresso uma dimenso social e humana, por meio do

Incentivar o perfil pesquisador do estudante, visando promover o desenvolvimento

Preparar o estudante para atuar profissionalmente em organizaes, com esprito

Proporcionar atividades acadmicas que estimulem a interdisciplinaridade, bem como

Promover no estudante uma postura tica e socialmente comprometida de seu papel

escolhendo as configuraes, estruturas e funes mais adequadas para a aplicao em

Organizao e Arquitetura dos Computadores;

Computao Centrada em Redes;

Computao Grfica e Visual;

Gesto e Administrao da Informao;

Questes Sociais e Profissionais;

Utilizar o conhecimento sobre a rea de Computao, e sua familiarizao com as

5) Desenvolvimento de atividades de pesquisa

BRASIL. Ministrio da Educao. Secretaria da Educao Superior. Referenciais

2006/2005/Decreto/D5626.htm. Acesso em: 02 set. 2014.

http://www.planalto.gov.br/ccivil_03/leis/l9795.htm. Acesso em: 02 set. 2014.

http://portal.mec.gov.br/cne/arquivos/pdf/2007/rces002_07.pdf. Acesso em: 02 set. 2014.

BRASIL. Ministrio da Educao. Gabinete do Ministro. Portaria Normativa n 40, de 12 de

Disciplinas obrigatrias do BCC e que Fundo amarelo

so consideradas de opo limitada do

so consideradas de opo livre do

(*) 44 crditos, 30 crditos ou

Disciplinas do BC&T e que so de opo

livre para os alunos do BCC: fundo

Total de Horas aula

Decreto n 5.626 de 22 de Dezembro de 2005: a disciplina de LIBRAS, cuja ementa

Poltica Nacional de Educao Ambiental (Lei n 9795/1999 e decreto N 4.281,