SERVIOPBLICOFEDERAL

UNIVERSIDADEFEDERALDEGOIS
INSTITUTODEINFORMTICA
PROGRAMADEPSGRADUAOEMCINCIADACOMPUTAO

RESOLUOCPGn01/2014

DISCIPLINASDOPROGRAMA
DEPSGRADUAOEM
CINCIADACOMPUTAO
NVELMESTRADO

Art. 1o As disciplinas do Programa da PsGraduao em Cincia da Computao so

organizadas nas categorias de disciplinas obrigatrias gerais, disciplinasobrigatrias por linha
depesquisaedisciplinasoptativas.
1oTodasasdisciplinas,excetoasdisciplinasdeSeminrios,quenocontabiliza
crdito,edeMetodologiaCientfica,com02(dois)crditos,sodisciplinasde
quatrocrditos,comcargahorriade60(sessenta)horasaula.
o
2 Cadadisciplinadeverserofertada,nomnimo,umavezacadadoisanos.
3oAsdisciplinasobrigatriasgeraissoasseguintes:
MCC001EstruturadeDadoseProjetodeAlgoritmos
MCC002MetodologiaCientfica
MCC003Seminrios.
o
4 AsdisciplinasobrigatriasdalinhaEngenhariadeSoftware,BancodeDadose
InformticaeEducaosoasseguintes:
MCC004EngenhariadeSoftware
MCC005BancodeDados.
o
5 AsdisciplinasobrigatriasdalinhaFundamentosdeComputaosoas
seguintes:
MCC006AnliseeProjetodeAlgoritmos
MCC007TeoriadosGrafos.
o
6 AsdisciplinasobrigatriasdalinhaIntelignciaComputacionalsoasseguintes:
MCC008IntelignciaComputacional
MCC009AprendizadodeMquina.
o
7 AsdisciplinasobrigatriasdalinhaProcessamentoGrfico,Interaoe
ComputaoAplicadasoasseguintes:
MCC010ProcessamentoDigitaldeImagens
MCC011AlgoritmosdeReconhecimentodePadres.
o
8 AsdisciplinasobrigatriasdalinhaSistemasdeComputaosoasseguintes:
MCC012AvaliaodeDesempenho

MCC013ProgramaoParalelaeDistribuda.
9 Asdisciplinasoptativassoasseguintes:
MCC014EngenhariadeSoftwareparaWebSemntica
MCC015TestedeSoftware
MCC016BancosdeDadosnoConvencionais
MCC017InformticaeEducao
MCC018ProgramaoLinear
MCC019TeoriadaComputao
MCC020OtimizaoCombinatria
MCC021FluxosemRedes
MCC022ComputaoEvolucionria
MCC023MineraodeDados
MCC024RecuperaodaInformao
MCC025Metaheursticas
MCC026ComputaoGrfica
MCC027VisoComputacional
MCC028RealidadeVirtualeAumentada
MCC029VisualizaodeInformaes
MCC030RedesdeComputadores
MCC031SistemasDistribudos
MCC032ComputaoParalela
MCC033SistemasMultimdia
MCC034TpicosEspeciaisemCinciadaComputao
MCC035TpicosEspeciaisemEngenhariadeSoftware,Bancode
DadoseInformticaeEducao
MCC036TpicosEspeciaisemFundamentosdeComputao
MCC037TpicosEspeciaisemIntelignciaComputacional
MCC038TpicosEspeciaisemProcessamentoGrfico,Interaoe
ComputaoAplicada
MCC039TpicosEspeciaisemSistemasdeComputao
MCC040EstudoOrientado.
o
10 Asespecificaesdasdisciplinaslistadasnospargrafos3a9encontramseno
AnexoI.
o

ANEXOIEmentasdasDisciplinas

IDisciplinasObrigatriasGerais

MCC001EstruturadeDadoseProjetodeAlgoritmos
EMENTA:
Conceitos de anlise de algoritmos (fundamentos matemticos induo matemtica
anliseassinttica).
Estruturadedadoselementares(listafilapilha,...)
rvores (conceitos rvores binrias de busca rvores binrias balanceadas AVL,
vermelhoepreto,porpesoKDTree,rvoresB)
Filascomprioridades(conceitoheapsbinriosheapbinomial).
Tabelas de disperso (conceito de "hash table" funes de disperso endereamento
abertoencadeamentolinear)
Conjuntosdisjuntos(unionfind).

BIBLIOGRAFIA:
1.
Cormen, Leiserson, Rivest, and Stein (CLRS), Introduction to Algorithms, 2nd Ed.,MIT
Press,2001.
2.
Sedgewick,R.,AlgorithmsinC++(Parts14),AddisonWesley,3edio,1998.
3.
Mark Allen Weiss, Data Structures and Algorithm Analysis in C++, 4th Ed., Addison
Wesley,2012.
4.
D. E. Knuth. The Art of Computer Programming. Volume 1 Fundamental Algorithms.
AddisonWesley,1998.
5.
D. E. Knuth. The Art of Computer Programming. Volume 3 Sorting and Searching.
AddisonWesley,1998.
6.
N. Ziviani. Pro jeto deAlgoritmoscomImplementaesemPascaleC,2aEdio.2004.
EditoraThomson.
7.
C.H.Papadimitriou,U.V.Vazirani,S.Dasgupta.Algoritmos.2009.McgrawHillBrasil.

MCC002MetodologiaCientfica

EMENTA:
Tema,Objetivo,Hiptese,Validao
Leitura de documentos cientficos tipos de documentos, levantamento bibliogrfico,
resumoeresenha
Escritadedocumentoscientficosrefernciasbibliogficas,plgio,LaTeX
Apresentaodeartigostcnicaseprtica

BIBLIOGRAFIA:
1.
WAZLAWICK, R.S., Metodologia de Pesquisa para Cincia da Computao, Editora
Elsevier,2009.

2.

3.
4.
5.
6.
7.
8.

WAZLAWICK, R.S., UmaReflexosobreaPesquisaemCinciadaComputaoLuz

da Classificao das Cincias e do Mtodo Cientfico, Revista de Sistemas de
InformaodaFSMA,No.6,pp.310,2010.
SILVA, E.L., MENEZES, E.M., Metodologia daPesquisaeElaboraodeDissertao,4
ediorevisadaeatualizada,UniversidadeFederaldeSantaCatarina,2005.
MORESI, E.(Organizador), Metodologia de Pesquisa, Universidade Catlica de Braslia,
2003.
PARBERRY, I., How to Present a Paper in Theoretical Computer Science:aSpeakers
GuideforStudents,SIGTCSNews,Vol.4,No.2,pp.3750,1993.
BARROS, Aidil de Jesus da Silveira. Fundamentos da Metodologia Cientfica.3 ed. 3a.
Reimpresso.SoPaulo.PearsonPrenticeHall,2010.
WAZLAWICK, Raul Sidnei. Metodologia da Pesquisa para Cincia daComputao. Rio
deJaneiro:Elsevier,2008.
SEVERINO, Antonio Joaquim. Metodologia do Trabalho Cientfico. 22 ed. Revisada e
ampliada.SoPaulo:Cortez,2002.

MCC003Seminrios

Esta uma disciplina que consiste em uma srie de seminrios dentro da rea de
concentrao do Programa, coordenados por um professor responsvel pela disciplina. O
estudante inscrito nesta disciplina, alm de assistir aos seminrios apresentados por seus
colegas, professores do programa ou palestrantes convidados,dever apresentar pelo menos
um seminrio durante o perodo em que estiver matriculado na disciplina, tendo por tema um
tpicorelacionadoasuadissertaodemestrado.

II Disciplinas Obrigatrias da linha Engenharia de Software, Banco de Dados e

InformticaeEducao

MCC004EngenhariadeSoftware
EMENTA:
Softwarecomoprodutoeprocesso
RelaoentreEngenhariadeSoftwareeSistemasSociotcnicos
DesafiosdaEngenhariadeSoftwareparaosculo21
Modelosprescritivosdeprocessodesoftware
ProcessoUnificado(Concepo,Elaborao,Construo,Transio)

BIBLIOGRAFIA:
1.
Boehm, B. A View of 20th and 21st Century Software Engineering, Proceedings of the
28thACMInternationalConferenceonSoftwareEngineering,2006,pp.1229.
2.
Brooks, Frederick P. No Silver Bullet: Essence and Accidents of Software Engineering,
IEEEComputer,v.20,n.4,1987,pp.1019.
3.
Larman, Craig. Utilizando UML e padres: uma introduo anlise e ao projeto

4.
5.
6.

orientados a objetos e ao desenvolvimento iterativo, 3a edio, Porto Alegre, Bookman,

2007.
Pressman, Roger. Engenharia de Software, 7a edio, McGrawHill, Porto Alegre, RS,
2011.
Sommerville, Ian. Engenharia de Software, 9a edio, Prentice Hall, So Paulo, SP,
2011.
Swebok. SoftwareEngineeringBodyokKnowledge,EditadoporIEEEComputerSociety.
Disponvelemhttp://www.swebok.org.

MCC005BancodeDados
EMENTA:
Conceitos bsicos. Modelos e linguagens de dados. Projeto de bancos de dados.
Implementaodesistemasdebancodedados.

BIBLIOGRAFIA:
1.
Database System Concepts, Abraham Silberschatz, Henry Korth and S. Sudarshan,
McGrawHill6thedition,2010
2.
Fundamentals of Database Systems, Ramez Elmasri and Shamkant Navathe,
AddisonWesley.6thedition,2010
3.
Database Systems: A Practical Approach to Design, Implementation andManagement,
ThomasM.ConnollyandCarolynE.Begg,AddisonWesley5thedition,2009.

IIIDisciplinasObrigatriasdalinhaFundamentosdeComputao

MCC006AnliseeProjetodeAlgoritmos
EMENTA:
Anlise de algoritmos: Medidas de complexidade, anlise assinttica de limites de
complexidade, tcnicas de prova decotasinferiores.Exemplosdeanlisedealgoritmos
iterativoserecursivos.
Tcnicas de projeto de algoritmos: Induo, Recursividade, Tentativa e erro, Diviso e
conquista,programaodinmica,AlgoritmosGulosos,Backtracking.
NPcompletude:Conceitos,classesdecomplexidadeereduodeproblemas.

BIBLIOGRAFIA:
1.
UdiManberIntroductiontoAlgorithmsAcreativeApproach.AddisonWesley1989.
2.
Sara Baase Computer Algorithms:IntroductiontoDesignandAnalysis.AddisonWesley
1988.
3.
Alfred Aho, John Hopcroft and Jeffrey Ullman The Designs and Analysis of Computer
Algorithms.AddisonWesley,1974.
4.
Thomas H. Cormen, Charles E.Leiserson, Ronald L. Rivest,CliffordSteinIntroduction
toAlgorithms.MITPress2ndedition,2001.
MCC007TeoriadosGrafos

EMENTA:
Introduo.
rvoresedistncias.
Emparelhamentos.
Conectividade.
Fluxosemredes.
Coloraodegrafos.
GrafosPlanares.
Tpicosemgrafos:grafosperfeitos,grafosdeinterseco,conjuntosdominantes,
conjuntosindependentesdevrtices.

BIBLIOGRAFIA:
1.
ReinhardDiestelGraphTheory.Springer1997.
2.
DouglasWestIntroductiontoGraphTheory.PrenticeHall,2001.
3.
J.A.BondyandU.S.R.MurtyGraphTheorywithApplications.NorthHollan,1976.

VIDisciplinasObrigatriasdalinhaIntelignciaComputacional

MCC008IntelignciaComputacional
EMENTA:
ConceitosbsicosdeIntelignciaComputacional
Agentesinteligentes/Sistemasmultiagentes
Conhecimentoeraciocnio
Aprendizagem
Algoritmosgenticos
Computaosemntica
Tpicosavanados

BIBLIOGRAFIA:
1.
Russell,S.,Norvig,P.ArtificialIntelligenceAModernAproach.Pearson,2010.
2.
Coppin,B.IntelignciaArtificial,Ed.LTC,2010.
3.
Luger,G.F.IntelignciaArtificial:Estruturaseestratgiasparaasoluodeproblemas
complexos,Ed.Bookman,2004.
4.
Artigostcnicosespecializadosqueserosugeridosposteriormente.

MCC009AprendizadodeMquina
EMENTA:
IntroduoaoAprendizadodeMquina.
Aprendizadosupervisionado.
Aprendizadonosupervisionado.
Aprendizadoporreforo.
Avaliaoexperimentaldealgoritmosdeaprendizado

Tpicosavanados

BIBLIOGRAFIA:
1.
Mitchell,T.MachineLearning,McGrawHill,1997.
2.
Faceli,K.,Lorena,A.N.,Gama,J.,Carvalho,A.C.P.L.F.IntelignciaArtificial:Uma
AbordagemdeAprendizadodeMquina,Ed.LTC,2011.
3.
Artigostcnicosespecializadosqueserosugeridosposteriormente.

VDisciplinasObrigatriasdalinhaProcessamentoGrfico,InteraoeComputao
Aplicada

MCC010ProcessamentoDigitaldeImagens
EMENTA:
Fundamentosdeimagensdigitais
Transformaesdeimagensnodomnioespacial
Transformaesdeimagensnodomniodafrequncia
Restauraodeimagens
Processamentodecores
Waveletseprocessamentodemultiresolues
Compressodeimagens
Morfologiamatemtica
Segmentao
Representaoedescriodeimagens
Reconhecimentodeobjetos

BIBLIOGRAFIA:
1.
Gonzalez, R.C. & Woods, R.E. Digital Image Processing, 3rd Ed. Prentice Hall, USA,
2008.
2.
Gonzalez, R.C. & Woods, R.E. Processamento de Imagens Digitais (traduo). So
Paulo,EdgardBlucherLtda,2000.
3.
Pratt,W.K.DigitalImageProcessing,4thed.USA,WileyIntersciencePub.,2007.
4.
Filho,O.M.&Neto,H.V.ProcessamentoDigitaldeImagensEditoraBrasport,1999.

MCC011AlgoritmosdeReconhecimentodePadres
EMENTA:
Introduoaoreconhecimentodepadresepercepo.
Diferentesabordagensdereconhecimentodepadres.
Tiposdeaprendizados:SupervisionadoeNoSupervisionado
ClassificadoresparamtricoseteoremadeBayes
Mtodos no paramtricos: kvizinhos mais prximos (kNN), Estimao de
probabilidade, Funes discriminantes lineares (LDA), Perceptron, Support Vector
Machine(SVM).

ModelosEscondidosdeMarkov
MtodosbaseadosemrvoresCART,ID3,C4.5.
Extraodecaractersticas:estruturaiseestatsticas.
Seleodecaractersticasereduodedimensionalidade:PCA.
Anlise de Sistemas de Classificao: espao e curvas Receiver Operating
Characteristics(ROC),Rejeio.
Combinao de classificadores: Diversidade, Bias/varincia, Boosting, Bagging e
Adaboosting.

BIBLIOGRAFIA:
1.
R.O.Duda,P.E.Hart,D.G.Stork,PatternClassification,JohnWileyInterscience,2001.
2.
C.M.Bishop.PatternRecognitionandMachineLearning.Springer,2006.
3.
S.TheodoridisandK.Koutroumbas.PatternRecognition.Elsevier,4thedition,2009.

VIDisciplinasObrigatriasdalinhaSistemasdeComputao

MCC012AvaliaodeDesempenho
EMENTA:
Reviso de Probabilidadee Estatstica: espaoamostral,eventos,anlisecombinatria,
probabilidade condicional, independncia de eventos, Lei de Bayes, varivel aleatria,
variveis aleatrias discretas econtnuas,funode densidadedeprobabilidade,funo
cumulativadedistribuio,etc.
Simulao e experimentos: introduo, gerao de variveis aleatrias, algoritmo para
simular uma fila, clculode medidas de interesse, mdia e varinciaamostral,intervalo
deconfiana,etc.
CadeiasdeMarkov
TeoriadeFilas
Outrostpicos:InfernciaEstatstica,CaudaLonga,Leidepotncia,Correlao

BIBLIOGRAFIA:
1.
Trivedi, K. S., Probability & Statistics with Reliability, Queuing and Computer Science
Applications,2001.
2.
HarcholBalter,M.,PerformanceModelingandDesignofComputerSystems:Queueing
TheoryinAction,2013.
3.
Montgomery,R.,AppliedStatisticsandProbabilityforEngineers,2006.
4.
Le Boudec, J.Y., Performance Evaluation of Computer and Communication Systems,
2010.
5.
Ross,S.M.,Simulation,2006.
6.
Ross,S.M.,IntroductiontoProbabilityModels,2007.
MCC013ProgramaoParalelaeDistribuda
EMENTA:
IntroduoProgramaoParalelaeDistribuda.

ArquiteturasParalelas.ProgramaoParalela.Paradigmasdecomputaoparalela.
Introduo aos sistemas distribudos. Programao distribuda. Paradigmas de
computaodistribuda.

BIBLIOGRAFIA:
1.
David B. Kirk , Wenmei W. Hwu. Programming Massively Parallel Processors: A
HandsonApproach,MorganKaufmann,2012.
2.
Andrew S. Tanenbaum and Maarten Van Steen. Distributed Systems: Principles and
Paradigms,PrenticeHall,2006
3.
Jason Sanders and Edward Kandrot. CUDA by Example: An Introduction to
GeneralPurposeGPUProgramming.AddisonWesleyProfessional,2010.
4.
Kay Hwang, Jack Dongarra, Geoffrey C. Fox, Distributed and Cloud Computing,Morgan
Kaufmann,2011.

VIIDisciplinasOptativas

MCC014EngenhariadeSoftwareparaWebSemntica
EMENTA:
1. FundamentosearquiteturadaWebSemntica
2. Linguagense/oupadresparaespecificaodecaractereselocalizao,sintaxe,
estrutura,semnticaelgicadeinformao
3. Ontologiaseregras
4. FrameworkparaprogramaodeaplicaesparaWebSemntica
5. Temasemergentes.

BIBLIOGRAFIA:
1.
BernersLee,T.,Hendler,J.,&Lassila,O.(2001).TheSemanticWeb.Scientific
American,284(5),2837.
2.
Hebeler,J.,Dean,M.&Fisher,M.(2011).SemanticWebProgramming.JohnWiley&
Sons.2ndedition.
3.
Noy,N.F.,&McGuinness,D.L.(2001).OntologyDevelopment101:AGuidetoCreating
YourFirstOntology.
http://protege.stanford.edu/publications/ontology_development/ontology101.html
4.
Segaran,T.,Evans,C.&Taylor,J.(2009).ProgrammingtheSemanticWeb.O'Reilly
Media1edition.
5.
W3C.(2013).PadresparaaWebSemnticadoWorldWideWebConsortium.
http://www.w3.org.

MCC015TestedeSoftware
EMENTA:
FundamentosTericos.TesteFuncional.Testeestrutural.AnlisedeMutantes.Oficinaem

testedesoftware:experimentaoeanliseemprica.

BIBLIOGRAFIA:
1.
M.E.Delamaro,J.C.Maldonado,M.Jino.IntroduoaoTestedeSoftware.Campus,
2007.
2.
G.J.Myers,C.Sandler,T.Badgett.TheArtofSoftwareTesting.Wiley,3rdedition,2011.
3.
R.V.Binder.TestingObjectOrientedSystems:Models,Patterns,andTools.
AddisonWesley,1999.
4.
Artigoscientficosselecionados.

MCC016BancosdeDadosnoConvencionais
EMENTA:
Ementavarivelenvolvendoaspectosemergentessobrebancosdedados.

BIBLIOGRAFIA:
1.
ELMASRI, R. e NAVATHE, S.B., Fundamentals of Database Systems, 6th edition,
AddisonWesley,2011.
2.
SILBERSCHATZ, A., KORTH, H.F. e SUDARSHAN, S., Database System Concepts,
McGrawHill,6thedition,2010
3.
artigosepublicaesselecionadas.

MCC017InformticaeEducao
EMENTA: Ensino de computao, tecnologias em educao e mtodos cientficos em
informticaeeducao.

BIBLIOGRAFIA:
1.
WAZLAWICK,R.S.,MetodologiadePesquisaparaCinciadaComputao,Editora
Elsevier,2009.
2.
MARTINS,C.ManualdeAnlisedeDadosQuantitativoscomRecursoaoIBMSPSS,
Editor:Psiquilibrios,2011
3.
Artigoscientficosselecionados.

MCC018ProgramaoLinear
EMENTA:
Modelagemdeproblemas.
ResoluoGrfica.
GeometriadaPL.
AlgoritmoSimplexPrimalfases1e2.
Dualidade.
AlgoritmoSimplexDual.
AnlisedeSensibilidade.
PsOtimizao.
AlgoritmoSimplexPrimalDual.

AlgoritmosSimplexcanalizados.

BIBLIOGRAFIA:
1.
PauloF.Bregalda,AntonioA.F.deOliveiraeCludioT.Bornstein.Introduo
ProgramaoLinear,TerceiraEdio,Ed.Campus,1988.
2.
MarcosC.GoldbargeHenriqueP.L.Luna.ProgramaoLineareOtimizao
Combinatria:ModeloseAlgoritmos,Ed.Campus,2000.
3.
D.G.Luenberger.IntroductiontoLinearandNonlinearProgramming,AddisonWesley,
London,1973.
4.
NelsonMaculaneMrciaH.C.Fampa.OtimizaoLinear,Ed.UnB,2006.

MCC019TeoriadaComputao
EMENTA:
ContextualizaohistricaInduo,RecursoeEnumerabilidadedeConjuntos
LinguagemAlgortmicaFunesRecursivasMaquinadeTuringTesedeChurch
ProblemasIndecidveis.
Teoriadeautmatoselinguagensformais,maquinasdeTuringeteoriadasfunes
recursivas,noesdecomputabilidadeeclassesdecomplexidadebsicas.
Computabilidade(TesedeChurch,noesdeincompletudedeGdel,relaesentreos
modelosdecomputabilidade).
Noesdecomputabilidadeefetiva.Modelosdecomputao.Problemasindecidveis.
ClassesP,NP,NPCeNPDifcil.LidandocomproblemasNPCompletos.

BIBLIOGRAFIA:
1.
M.SipserIntroductiontotheTheoryofComputation.EUA.PWSPub.Co.,1997.
2.
M.Garey,D.Johnson,ComputersandIntractability:AGuidetotheTheoryof
NPCompleteness.W.H.FreemanandCompany,1979.
3.
H.R.Lewis,C.H.PapadimitriouElementosdeTeoriadaComputao.2aEd.Porto
Alegre.BookmanCia.Editora,2000.
4.
J.E.HopcroftJ.UllmanIntroduoteoriadeAutmatos,LinguagenseComputao.
Ed.Campus.
5.
T.A.DiverioP.B.MenezesTeoriadaComputao:MquinaUniversaise
Computabilidade.SrieUFRGS05.EditoraSagraLuzzato,1999.
6.
B.M.MoretTheTheoryofComputation.EUA,AddisonWesleyPub.Co.,1997.
7.
T.H.Cormen,C.E.Leiserson,R.L.Rivest,IntroductiontoAlgorithms,McGrawHill,New
York,1990.

MCC020OtimizaoCombinatria
EMENTA:
Problemas de natureza combinatria: caminhos, rvores e arborescncias em grafos,
problema da mochila. Gerao de colunas em programao linear e suas aplicaes.

Programao linear inteira: modelagem em variveis bivalentes ()1) e mtodos de soluo

(cortes, aproximao polidrica,enumeraoerelaxaolagrangiana).Programaonolinear
inteira: mtodos gerais e mtodos especficos para programao quadrtica bivalente ()1).
Problemascombinatrios.

BIBLIOGRAFIA:
1.
Nemhauser,GeorgeL.,andLaurenceA.Wolsey.Integerandcombinatorialoptimization.
Vol.18.NewYork:Wiley,1988.
2.
Goldbarg,MarcoCesar,andHenriquePaccaL.Luna.Otimizaocombinatriae
programaolinear:modelosealgoritmos.Elsevier,2005.
3.
BertsimasDimitris,andJohnTsitsiklis,"IntroductiontoLinearOptimization".1998.
4.
Ahuja,RavindraK.,ThomasL.Magnanti,andJamesB.Orlin."Networkflows:theory,
algorithms,andapplications."(1993).
5.
Papadimitriou,ChristosH.,andKennethSteiglitz.Combinatorialoptimization:algorithms
andcomplexity.CourierDoverPublications,1998.
6.
Schrijver,Alexander.Theoryoflinearandintegerprogramming.Wiley.com,1998.

MCC021FluxosemRede
EMENTA:
Conceitos bsicos e representao computacional de grafos Formulao matemtica de
problemas de fluxo em redes, como: caminho mnimo, rvore geradora mnima, fluxo mximo,
fluxo mximo de custo mnimo, rvore de Steiner Algoritmos eficientes para problemas
clssicosemredes.

BIBLIOGRAFIA:
1.
R.K.Ahuja,T.L.MagnantieJ.B.Orlin."NetworkFlows:theory,algorithmsand
applications",PrenticeHall.
2.
M.S.Bazaraa,J.J.JarviseH.D.Sherali."LinearProgrammingandNetworkFlows",
segundaedio,Wiley.
3.
C.H.Papadimitriou,K.Steiglitz."CombinatorialOptimization:Algorithmsand
Complexity",Dover.

MCC022ComputaoEvolucionria
EMENTA:
IntroduoaComputaoEvolucionriaeMtodosdebusca
Representaes
Algoritmosgenticos
Tcnicasdeseleo,cruzamentoemutao
EstratgiasEvolucionriaseProgramaoEvolucionria
EvoluoDiferencial
Otimizaomultiobjetivo

BIBLIOGRAFIA:

1.
2.
3.

DavidGoldberg,TheDesignofInnovation(GeneticAlgorithmsandEvolutionary
Computation),Springer,2002.
Yu,Xinjie,Gen,Mitsuo,IntroductiontoEvolutionaryAlgorithms,Springer,2010.
FranzRothlauf,RepresentationsforGeneticandEvolutionaryAlgorithms,Springer,
2006.

MCC023MineraodeDados
EMENTA:
Revisodeestatsticabsicaeprobabilidade.
Visogeraldoprocessodemineraodedados.
Carga,transformaoelimpezadosdados(ETL).
Mtodosdemineraodedados.
Visualizaodosresultados.
Experimentos.

BIBLIOGRAFIA:
1.
PangNingTan,MichaelStenbach,VipinKumar,IntroductiontoDataMining,
AddisonWesley,2005.
2.
IanH.Witten,EibeFrank,MarkA.Hall,DataMining:PracticalMachineLearningTools
andTechniques,ThirdEdition,MorganKaufmannPublishers,2011.
3.
JiaweiHan,MichelineKamberandJianPei,DataMining:ConceptsandTechniques,
ThirdEdition,MorganKaufmannPublishers,2011

MCC024RecuperaodaInformao
EMENTA:
AlgoritmosetcnicasdeConstruodemquinasdebusca:
Representaodevocabulrios
Tcnicasdeconstruoecompressodendices
Processamentodeconsultas
Avaliaoemrecuperaodeinformao
Modelosdelinguagem
MquinasdebuscaparaaWeb
Algoritmoseheursticasparamineraodeinformaes:tcnicasdeclassificao:
Classificaodetextos
Agrupamento(clustering)detextos
TpicosdepesquisaemRecuperaodeInformao

BIBLIOGRAFIA:
1.
Christopher D. Manning, Prabhakar Raghavan e Hinrich Schtze: Introduction to
InformationRetrieval,Cambridge,2009.
2.
Ricardo BaezaYates e Berthier RibeiroNeto: Modern Information Retrieval, Addison

3.
4.

5.

Wesley,1999.
W. Bruce Croft, Donald Metzler e Trevor Strohman: Search Engines information
RetrievalinPractice,AddisonWesley,2010.
Ian H. Witten, Alistair Moffat e Timothy C. Bell: Managing Gigabytes: Compressing and
IndexingDocumentsandImages,MorganKaufmann
Publishers, 1999, second
edition.
Artigostcnicosespecializadosqueserosugeridosposteriormente.

MCC025Metaheursticas
EMENTA:
Introduoaheursticasemetaheursticas
AlgoritmosGulosos
BuscaLocal
BuscaPopulacional
Hiperheursticas

BIBLIOGRAFIA:
1.
Brown,D.E.andScherer,W.T.IntelligentSchedulingSystems.KluwerAcademic
Publishers,1995.
2.
Ansari,NirwanandHou,E.ComputationalIntelligenceforOptimization.Kluwer
AcademicPublishers,1997.
3.
Reeves,C.R.ModernHeuristicTechniquesforCombinatorialProblems.Blackwell
ScientifPublications,1993.
4.
Reeves,C.R.TabuSearch.KluwerAcademicPublishers,1997.
5.
Glover,F.,Laguna,M.&Taillard,E.TabuSearch.AnnalsofOperationsResearch,v.41,
J.C.Baltzer,1993.

MCC026ComputaoGrfica
EMENTA:
IntroduoComputaoGrfica.
SistemasdeCoordenadas.
GeraodePrimitivas.
Preenchimentodereasepolgonos.
Transformaes2De3D.
RecorteeProjees.
IluminaoeSombreamento
InterfaceHomemMquina

BIBLIOGRAFIA:
1.
J.D.Foley,A.vanDam,S.K.Feiner,J.F.Hughes.ComputerGraphics,Principlesand
Practice.AddisonWesley,1997.
2.
D.Hearn,M.P.Baker.ComputerGraphics,CVersion.PrenticeHall,1997.

3.
4.
5.
6.

R.C.Gonzalez&R.E.Woods.ProcessamentodeImagensDigitais,EdgardBlcher,
2000.
R.C.Gonzalez&R.E.Woods.DigitalImageProcessing,AddisonWesley,1993.
B.W.Kernigham,D.M.Ritchie.TheCProgrammingLanguage.PrenticeHall,1972.
Ballard,D.H.eC.M.Brown,"ComputerVision",PrenticeHall,1982.

MCC027VisoComputacional
EMENTA:
Formao e modelo de imagens: cmeras modelos geomtricos de cmeras
calibraoradiometriailuminaoecores
Visodebaixonvel(umaimagem):filtrosdetecodearestastextura
Viso de baixo nvel(mltiplasimagens):geometriademltiplasimagensvisoestreo
estruturasapartirdemovimentos
Viso denvelintermedirio:segmentaopor agrupamentosegmentaopormodelos
segmentao probabilstica rastreio atravs de modelos dinmicos Anlise de
MovimentoeFluxotico
Viso de alto nvel: viso baseada em modelos superfcies imagens tridimensionais
classificadoresreconhecimento

BIBLIOGRAFIA:
1.
Forsyth,D.A.ePonce,J."ComputerVision:AModernApproach",PrenticeHall,2003
2.
Jain,A.K."FundamentalsofDigitalImageProcessing",PrenticeHall,1989
3.
Gonzalez,R.C.eWoods,R.E."DigitalImageProcessing",PrenticeHall,2002
4.
Haralick,R.M.eShapiro,L.G."ComputerandRobotVision",AddisonWesley,1992
5.
Horn,B.K.P."RobotVision",MITPress,1986
6.
Ballard,D.H.eC.M.Brown,"ComputerVision",PrenticeHall,1982

MCC028RealidadeVirtualeAumentada
EMENTA:
ConceitosFundamentaisdaRealidadeVirtual(RV)
ElementosdeComputaoGrfica(CG)relacionadosRV
RVnoimersiva,RVimersiva
HardwaredeEntradaeSadaparaRV
AplicaesdeRV
DesenvolvimentodeAmbientesVirtuais

BIBLIOGRAFIA:
1.
BURDEA, G. COIFFET, P. Virtual Reality Technology. 2nd Edition. Wiley, New York,
ISBN0471360899,2003.
2.
BIMBER, O. RASKAR, R. Spatial Augmented Reality: Merging Real and Virtual Worlds.
AKPeters,Ltd,ISBN1568812302,2004.
3.
VINCE, J. Introduction to Virtual Reality, SpringerVerlag New York, ISBN:
9781852337391,2004.

4.

SHERMAN, W.R. CRAIG, A.B. Understanding Virtual Reality: Interface, Application and
Design.Elsevier,ISBN1558603530,2003.

MCC029VisualizaodeInformaes
EMENTA:
DefiniesehistriodareadeVisualizaodeInformaes
Osistemapticoeapercepodevisual
Dimensionalidadedosdados
Interatividadenasvisualizaes
Tcnicasdevisualizaodeinformaesesuasaplicaes
Efetividadeeeficincia
Avaliaodevisualizaes
Softwareedispositivosdeapoio

BIBLIOGRAFIA:

1.
CARD,StuartK.,MACKINLAY,JockD.,SHNEIDERMAN,Ben.ReadingsinInformation
Visualization:UsingVisiontoThink,MorganKaufmannSeriesinInteractive
Technologies,AcademicPress,1999.
2.
SPENCE,Robert.InformationVisualization,ACMPress,2000.
3.
WARE,Colin.InformationVisualization:PerceptionforDesign,2ndEdition,Morgan
KaufmannInteractiveTechnologiesSeries,April2004.ISBN
1558608192.
4.
DoNASCIMENTO,HugoA.D.,FERREIRA,CristianeB.R.Visualizaode
InformaesUmaAbordagemPrtica.NoLivroTextodaXXIVJornadade
AtualizaoemInformtica.SoLeopoldoRS,2005.
5.
DIBATTISTA,Giuseppe,EADES,Peter,TAMASSIA,Roberto,TOLLIS,Ioannis.Graph
Drawing:AlgorithmsfortheVisualizationofGraphs,PrenticeHall,1999.

RefernciasAdicionais:
1.
TUFTE, Edward R., Visual Explanations: Images and Quantities, Evidence and
Narrative.GraphicsPress,Fev1997.ISBN:0961392126
2.
TUFTE, Edward R., Envisioning Information. Graphics Press, Fev 1990. ISBN:
0961392118
3.
TUFTE, Edward R., The Visual Display of Quantitative Information, 2nd edition,
GraphicsPress,Fev2001.ISBN:0961392142
4.
JNGER, M., MUTZEL, P. (Eds.). Graph Drawing Software. 2003. ISBN
3540008810.
5.
BORG, I. e GROENEN, P. Modern Multidimensional Scaling. SpringerVerlag, New
York,1997.
6.
ECO, Humberto. Tratado Geral de Semitica. 4a. edio, So Paulo: Editora
PerspectivaS.A.,2003.

7.
SANTAELLA,Lucia.SemiticaAplicada.SoPaulo:PioneiraThomsonLearnin,2004.
8.
Artigosewebsitesnarea

MCC030RedesdeComputadores
EMENTA:
Introduo:conceitos,camadas,Internet,simulaoderedes
Camadadeaplicao:Web,DNS,P2P,programaoemsocketsconvencionaiseraw
sockets
Camadadetransporte:transporteconfivel,controledefluxoedecongestionamento,
transporteemredesdealtavelocidade,transporteemredessemfio
Camadaderede:endereamento,IPv4/IPv6,protocolosderoteamento,roteamentoem
redessemfio
Camadadeenlace:redeslocaiscabeadas,redeslocaissemfio
Outrostpicos:VLAN/QinQ,(G)MPLS,OpenFlow,etc.
Tpicosrecentesdepesquisaemredesdecomputadores

BIBLIOGRAFIA:
1.
Kurose,J.F.andRoss,K.W.,ComputerNetworkingATopDownApproach6th
edition,2012.
2.
Peterson,L.L.andDavie,B.S.,ComputerNetworksASystemsApproach5thedition,
2011.
3.
Tanenbaum,A.S.andWetherall,D.J.,ComputerNetworks5thedition,2011.
4.
Stallings,W.,DataandComputerCommunications10thedition,2013.
5.
Stevens,W.R.,Fenner,B.andRudoff,A.M.,UnixNetworkProgrammingVol.IThe
SocketsNetworkingAPI3rdedition,2003.

MCC031SistemasDistribudos
EMENTA:
Modelosearquiteturadesistemasdistribudos
Middlewareeparadigmasdeinterao(clienteservidor,publishsubscribe,
comunicaoemgrupo,filasdemensagens,espaosdetuplas,memria
compartilhada,streaming)
Princpiosbsicos:sincronizaoderelgios,estadosglobais,coordenao,consenso
econtroledeconcorrncia
Tolernciaafalhas,replicaoetransaesdistribudas
Propriedadesnofuncionaisdesistemasdistribudos
Computaoubqua
Computaocomoutility(computaoemnuvem)
BigData:armazenamentoeprocessamentoBigMemoryprocessamentoem
temporealparaBIGComputing
Escalabilidade:processamentodemuitasrequisiessimultneassistemas
distribudosdelargaescala

BIBLIOGRAFIA:
1.
GeorgeCoulouris,JeanDollimore,TimKindbergandGordonBlair.DistributedSystems:
ConceptsandDesign.FifthEdition,AddisonWesley,2011

2.
3.

AndrewS.Tanenbaum,MaartenvanSteen.Distributedsystems:principlesand
paradigms.2ndEdition,PearsonPrenticeHall,2007
Artigoscientficosrelacionados

MCC032ComputaoParalela
EMENTA:
Motivao,histricoeestadoatual
Modelostericosdecomputaoparalela
ProjetodealgoritmosnomodeloPRAM
Modelosprticosdecomputaoparalela
ProjetodealgoritmosnomodeloBSP
Arquiteturasecomputadoresparalelos
Medidasdedesempenhodeprogramasparalelos
Arquiteturasmanycoreesuaslinguagensdeprogramao
Implementaodealgoritmosparalelosusandoarquiteturasmanycore

BIBLIOGRAFIA:
1.
IntroductiontoParallelAlgorithms,JosephJaJa,OxfordUniversityPress.
2.
ParallelScientificComputation:AStructuredApproachusingBSPandMPI,RobH.
Bisseling,OxfordUniversityPress.
3.
ProgrammingMassivelyParallelProcessors:AHandsonApproach,DavidB.Kirk,
WenmeiW.Hwu,MorganKaufmann.

MCC033SistemasMultimdia
EMENTA:
Compreenderoconceitodemultimdia.Conhecerosrequisitosparaodesenvolvimentode
sistemasmultimdia,osprincipaispadresassociadossaplicaesmultimdia,osaspectos
relativosqualidadeetipodatransmisso,performance,formatodosarquivos,compactao
dedadoseinterao.Identificareentendersuaaplicaoeminterfacesavanadas.

BIBLIOGRAFIA:
1.
STEINMETZ,R.eNAHRSTEDT.Multimedia:Computing,Communications&
Applications.PrenticeHall,1995.
2.
CHAPMAN,NandCHAPMAN,J.DigitalMultimedia2ndEdition,JohnWiley&Sons,
England2009
3.
STEINMETZ,R.eNAHRSTEDT,K.MultimediaSystems,Xmediapublishing,2004.
4.
CHAPMAN,N.AndChapman,J.DigitalMultimedia,Wiley,2009.
5.
HAVALDAR,PandMEDIONI,GMultimediaSystems:Algorithms,standardsandindustry
practices,CourseTechnology,2010.
6.
FURHT,B(editor),MultimediaTechnologiesandApplicationsforthe21stCentury:
VisionsofWorldExperts(TheSpringerInternationalSeriesinEngineeringandComputer

Science),2010.

MCC034TpicosEspeciaisemCinciadaComputao

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosna
readeCinciadaComputao.

MCC035TpicosEspeciaisemEngenhariadeSoftware,BancodeDadoseInformtica
eEducao

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnas
reasespecficasdeEngenhariadeSoftware,BancodeDadoseInformticaeEducao.

MCC036TpicosEspeciaisemFundamentosdeComputao

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosna
reaespecficadeFundamentosdaComputao.

MCC037TpicosEspeciaisemIntelignciaComputacional

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosna
reaespecficadeIntelignciaComputacional.

MCC038TpicosEspeciaisemProcessamentoGrfico,InteraoeComputao
Aplicada

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnas
reasespecficasdeProcessamentoGrfico,InteraoeComputaoAplicada.

MCC039TpicosEspeciaisemSistemasdeComputao

Estaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosna
reaespecficadeSistemasdeComputao.

MCC040EstudoOrientado

Estadisciplinaconsisteemumestudoindividualouemgrupo,sobsupervisodo
professororientador,detpicoscomplementaresparaarealizaodadissertaofinalde
mestrado.Ocontedoprecisodoestudodeveserdefinidoemtornodeumapropostade
trabalhoquevisedarmaturidadeaoestudanteparaodesenvolvimentodesuasatividadesde

pesquisaparaelaboraodadissertao.Ocontedodevegiraremtornodetpicosque
permitamaoestudantesefamiliarizarcomtcnicas,ferramentaseteoriasquelheseroteis
emtodasasfasesdapesquisaedaelaboraodadissertaofinaldemestrado.