PERÍODO:
1° Semestre

LOCAL:
PA-03

HORÁRIO:
Terça, Quinta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
MURILO VICENTE GONÇALVES DA SILVA

EMENTA:
– Ementa: Noções de teoria dos grafos, problemas elementares e algoritmos relacionados

– Página da disciplina: https://www.inf.ufpr.br/renato/ci1065/

Programa:

1. Definições e conceitos elementares de teoria dos grafos

2. Representação computacional

3. Algoritmos em grafos

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA

[1] J.A. Bondy e U.S.R Murty. Graph Theory. Springer Publishing Company, Incorporated, 2008. ISBN:

978-3642142789.
[2] Thomas H. Cormen et al. Introduction to Algorithms. 3a ed. MIT Press, 2009, pp. I–XIX, 1–1292. ISBN:
978-0-262-03384-8. URL: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&
tid=11866.
[3] Jon Kleinberg e Éva Tardos. Algorithm Design. Addison-Wesley, 2005. ISBN: 0-321-29535-8.

BIBLIOGRAFIA COMPLEMENTAR

[4] Paulo Feofiloff, Yoshiharu Kohayakawa e Yoshiko Wakabayashi. Uma Introducao Sucinta a Teoria dos
Grafos. IME—USP, 2011. URL: http://www.ime.usp.br/~pf/teoriadosgrafos/.
[5] Bélla Bollobás. Modern Graph Theory. New York: Springer-Verlag, 1998, pp. xiv+394. ISBN: 978-
0387984889.
[6] Reinhard Diestel. Graph Theory. 2a ed. New York: Springer-Verlag, 2000, p. 312. ISBN: 978-
3642142789. URL: http : / / www . math . uni – hamburg . de / home / diestel / books / graph . theory /
GraphTheoryII.pdf.
[7] Robert Sedgewick. Algorithms in C. Addison-Wesley, 1990, p. 657.
[8] Shimon Even. Graph Algorithms. New York, NY, USA: W. H. Freeman & Co., 1979. ISBN: 0716780445.

PERÍODO:
1° Semestre

LOCAL:
PA-04

HORÁRIO:
Terça, Quinta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
FABIANO SILVA

EMENTA:
Programa:

Introdução
Busca no espaço de estados
Heurísticas
Problema de satisfação de restrições
Problema SAT
Problema de planejamento
Busca em grafos e/ou
Busca no espaço contínuo
Problemas de otimização numérica
Representação de conhecimento em lógica
Tópicos especiais

BIBLIOGRAFIA:
Artificial Intelligence: A Modern Approach. 3a. Ed. S. Russel and P. Norvig. (http://aima.cs.berkeley.edu, temos 9 exemplares na biblioteca de ciência de tecnologia da UFPR)

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Sexta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 30/06/2023

PROFESSOR:
AURORA TRINIDAD RAMIREZ POZO

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação. Envolve o projeto e implementação de um protótipo de sistema especialista ou exercício equivalente.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach,
Prentice Hall, 2nd edition, 2002.

[2] William S. Clocksin and C.S. Mellish, Programming in Prolog, Springer-Verlag, 1981.

PERÍODO:
1° Semestre

LOCAL:
PA-06

HORÁRIO:
Terça, Quinta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
RENATO JOSÉ DA SILVA CARMO

EMENTA:
EMENTA (Unidade Didática)

Elementos da Teoria da Complexidade Computacional

PROGRAMA (itens de cada unidade didática)

1. Problemas Computacionais e Algoritmos
2. Esquemas de Representação, Modelos de Computação e a Tese de Church–Turing
3. O Modelo de Computação de Turing
4. Problemas de Decisão e o Problema da Parada
5. Computabilidade e Enumerabilidade
6. Reduções entre Problemas de Decisão
7. A Classe P
8. A Classe N P
9. Máquinas de Turing não-Determinísticas
10. N P-completude
11. O Teorema de Cook — Levin
12. Reduções entre problemas N P-completos
13. Problemas N P-completos Notáveis
14. Problemas de Decisão Complementares
15. N P-completude forte e Pseudo-polinomialidade
16. N P-dificuldade

OBJETIVO GERAL
Apresentar noções básicas da Teoria da Complexidade Computacional.

OBJETIVO ESPECÍFICO
1. Formalização das noções de problema computacional e algoritmo
2. Definição de Esquemas de Representação e Modelos de Computação e formulação da Tese de
Church–Turing
3. Definição do Modelo de Computação de Turing
4. Definição de Problemas de Decisão e demonstração de não–computabilidade do Problema da Parada
5. Discussão das relações entre Computabilidade e Enumerabilidade
6. Formalizacão da noção de Redução entre Problemas de Decisão
7. Definição de computabilidade em tempo polinomial e da Classe P
8. Definição de verificabilidae em tempo polinomial e da Classe N P
9. Definição de Máquinas de Turing não-Determinísticas
10. Definição e discussão da noção de N P-completude
11. Enunciado e prova do Teorema de Cook — Levin
12. Exemplos de Reduções entre problemas N P-completos
13. Apresentação de problemas N P-completos Notáveis
14. Definição de Problemas de Decisão Complementares e das classes co–N P e co–N PC
15. Apresentação dos conceitos de N P-completude forte e Pseudo-polinomialidade
16. Apresentação do conceito de N P-dificuldade

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

[1] Michael R. Garey e David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-
Completeness. San Francisco: W. H. Freeman e Company, 1979.

[2] Christos H. Papadimitriou. Computational Complexity. D Pap: Addison-Wesley, New York, 1994.
[3] Michael Sipser. Introduction to the Theory of Computation. Boston, Massachusetts: PWS Publishing
Co., 1997. ISBN: 0-534-944728-X.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

[4] A.J. Kfoury, R.N. Moll e M.A. Arbib. A programming approach to computability. Texts and monographs
in computer science. Springer-Verlag, 1982. ISBN: 9783540907435. URL: https://books.google.com.
br/books?id=1IlQAAAAMAAJ.
[5] Neil D. Jones. Computability and Complexity From a Programming Perspective. The MIT Press, 1997.
ISBN: 978-0262100649. URL: www.diku.dk/~neil/comp2book2007/book-whole.pdf.
[6] W. Carnielli e R. L. Epstein. Computabilidade, Funções Computáveis, Lógica e os Fundamentos da
Matemática. Ed. UNESP, 2006.

[7] Sanjeev Arora e Boaz Barak. Computational Complexity – A Modern Approach. en. Cambridge Univer-
sity Press, jul. de 2013. ISBN: 978-0-521-42426-4. URL: http://citeseerx.ist.psu.edu/viewdoc/

summary?doi=10.1.1.297.6224;%20http://www.math.sc.edu/~cooper/math778C/abct.pdf.
[8] Oded Goldreich. Computational complexity – a conceptual perspective. Cambridge University Press,
2008. ISBN: 978-0-521-88473-0.

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Terça – 10:30 às 12:30 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 20/07/2023

PROFESSOR:
DAVID MENOTTI GOMES

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Quarta – 17:30 às 19:30 – 10 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 15/03/2023 a 20/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 31/07/2023

PROFESSOR:
WAGNER MACHADO NUNAN ZOLA

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
1° Semestre

LOCAL:
SALA

HORÁRIO:
Quarta, Sexta – 13:30 às 15:30 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 13/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 22/03/2023 a 22/06/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Bancos de Dados.

BIBLIOGRAFIA:
Variável, incluindo artigos técnicos recentes da área e:

[1] Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan
Terceira Edicao, Makron Books, 1999

[2] Sistemas de Banco de Dados – Fundamentos e Aplicacoes
Ramez Elmasri, Shamkant B. Navathe, Editora LTC, Terceira Edicao, 2002

[3] Principles of Database and Knowledge-Base Systems, Volume 1, Jeffrey Ullman
Second Edition, Computer Science Press, 1988

[4] Database Management Systems, Raghu Ramakrishnan, Johannes Gehrke
McGraw-Hill, 2002

[5] Foundations of Databases, Serge Abiteboul, Richard Hull, Victor Vianu
Addison-Wesly, 1995

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Sexta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 13/03/2023 a 20/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 01/07/2023

PROFESSOR:
ANDREY RICARDO PIMENTEL
LETICIA MARA PERES
MARIA CECÍLIA CALANI BARANAUSKAS
NATASHA MALVEIRA COSTA VALENTIM
PATRICIA AUGUSTIN JAQUES MAILLARD
ROBERTO PEREIRA
SILVIA REGINA VERGILIO

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Engenharia de Software.

BIBLIOGRAFIA:
Variável, incluindo artigos técnicos recentes da área e:

[1] Pressman, R.B. Software Engineering: A Practitioner’s Approach
McGraw-Hill, Third Edition, 1992, New-York, EUA

[2] Sommerville, I., Software Engineering.
Addison-Wesley, 1996

[3] Ghezzi, C. and Jazayeri, M. and Madrioli, D. Fudamentals of Software Engineering
Prentice-Hall, New Jersey, EUA, 1991

[4] Larman, C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design
Prentice-Hall, New Jersey – USA, 1997

PERÍODO:
1° Semestre

LOCAL:
SALA

HORÁRIO:
Segunda – 10:30 às 12:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 31/07/2023

PROFESSOR:
ELIAS PROCÓPIO DUARTE JÚNIOR
MICHELE NOGUEIRA LIMA

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Redes de Computadores.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Computer Networks: A Systems Approach,
Larry L. Peterson, and Bruce S. Davie, 3rd edition, Morgan-Kaufman, 2003.

[2] Internetworking with TCP/IP Vol. 1, 5th Edition, Douglas E. Comer,
Prentice-Hall, 2005.

[3] Computer Networks, Andrew Tanenbaum,
4th Edition, Prentice-Hall, 2002.

[4] Computer Networking: A Top-Down Approach Featuring the Internet,
James F. Kurose, Keith W. Ross, 2004.

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Terça – 10:30 às 12:30 – 10 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 31/03/2023 a 10/04/2023

PERÍODO DE AULAS:
De: 01/04/2023 a 30/07/2023

PROFESSOR:
LUCAS FERRARI DE OLIVEIRA

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
1° Semestre

LOCAL:
PA-02(3ª) PC-18(5ª)

HORÁRIO:
Terça, Quinta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
DAVID MENOTTI GOMES

EMENTA:
Ementa livre para que sejam ministradas aulas em assuntos correlatos da Linha de Pesquisa de Inteligência Computacional.

BIBLIOGRAFIA:
De acordo com o tema tratado.

PERÍODO:
1° Semestre

LOCAL:
PC-16

HORÁRIO:
Segunda, Quarta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 28/06/2023

PROFESSOR:
EDUARDO TODT

EMENTA:
Aquisição, representação e processamento de imagens. Extração de características. Geometria
projetiva. Reconhecimento de Objetos e Cenas.

Visões clássica e com uso de IA

BIBLIOGRAFIA:
De acordo com o tema tratado.

PERÍODO:
1° Semestre

LOCAL:
PA-05

HORÁRIO:
Terça, Quinta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
ANDRÉ LUIZ PIRES GUEDES

EMENTA:
Problemas de Otimização e Algoritmos relacionados

PROGRAMA (itens de cada unidade didática)

1. Programação Linear e Programação Inteira.
2. Programação Dinâmica e Algoritmos Gulosos.
3. Algoritmos enumerativos, Backtracking, Branch and Bound.
OBJETIVO GERAL
Apresentar problemas de otimização e técnicas para sua solução.

OBJETIVO ESPECÍFICO

1. Apresentar os problemas de programação linear e inteira, o algoritmo Simplex e reduções de proble-
mas de otimização aos problemas de programação linear e inteira

2. Apresentar as técnicas de programação dinâmica e o uso de algoritmos gulosos para solução de
problemas computacionais.
3. Apresentar algoritmos para enumeração de estruturas discretas e as técnicas de “backtracking” e
“branch and bound” para solução de problemas computacionais.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

[1] C. H. Papadimitriou e K. Steiglitz. Combinatorial Optimization: Algorithms and Complexity. Dover Pub.,
1998.

[2] Donald L. Kreher e Douglas R. Stinson. Combinatorial algorithms: generation, enumeration, and se-
arch. Discrete Mathematics and Its Applications. Boca Raton, Florida: CRC Press, 1999. ISBN: 978-

0849339882.
[3] Thomas H. Cormen et al. Introduction to Algorithms. 3a ed. MIT Press, 2009, pp. I–XIX, 1–1292. ISBN:
978-0-262-03384-8. URL: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&
tid=11866.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

[4] Jiˇrí Matoušek e Bernd Gärtner. Understanding and using linear programming. Springer, 2007.
[5] Paulo Feofiloff. Algoritmos de Programação Linear: Programação Linear Concreta. A ser publicado pela
EDUSP. 2005. URL: http://www.ime.usp.br/~pf/prog-lin.
[6] Donald Ervin Knuth. The Art of Computer Programming: Volume 4, Combinatorial algorithms. Part 1.
Vol. 4A. The art of computer programming. pub-AW:adr: Addison-Wesley, 2011, pp. xv + 883. ISBN:
0-201-03804-8.

[7] Stephen Bradley, Arnoldo Hax e Thomas Magnanti. Applied Mathematical Programming. Addison-
Wesley, 1977. URL: http://web.mit.edu/15.053/www/.

[8] F.V. Fomin e D. Kratsch. Exact exponential algorithms. Springer Verlag, 2010.

PERÍODO:
1° Semestre

LOCAL:
ANFI B

HORÁRIO:
Segunda, Quarta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 22/06/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Tópicos avançados em Banco de Dados.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan
Terceira Edicao, Makron Books, 1999

[2] Sistemas de Banco de Dados – Fundamentos e Aplicacoes
Ramez Elmasri, Shamkant B. Navathe, Editora LTC, Terceira Edicao, 2002

[3] Principles of Database and Knowledge-Base Systems, Volume 1, Jeffrey Ullman
Second Edition, Computer Science Press, 1988

[4] Database Management Systems, Raghu Ramakrishnan, Johannes Gehrke
McGraw-Hill, 2002

[5] Foundations of Databases, Serge Abiteboul, Richard Hull, Victor Vianu
Addison-Wesly, 1995

PERÍODO:
1° Semestre

LOCAL:
PC-03

HORÁRIO:
Terça, Quinta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 22/06/2023

PROFESSOR:
ANDRÉ LUIZ PIRES GUEDES

EMENTA:
PROGRAMA (itens de cada unidade didática)

1. Introdução
2. Alguns problemas básicos
(a) intersecção de segmentos
(b) fecho convexo
(c) ponto interior a um polígono
(d) outros
3. Algumas técnicas
(a) varredura
(b) divisão e conquista
(c) projeção
(d) dualidade
4. Estruturas de dados
(a) kd-trees
(b) árvore BSP
(c) DCEL
(d) outras
5. Outros problemas

OBJETIVO GERAL

Dar aos alunos conhecimentos sobre Geometria Computacional, permitindo que possam reconhecer pro-
blemas e usar algoritmos e estruturas de dados desta área.

OBJETIVO ESPECÍFICO

1. Apresentar problemas básicos para que os alunos possam reconhecer estes problemas e saber como
se resolvem.
2. Apresentar técnicas de algoritmos relacionados com Geometria Computacional para que os alunos
possam desenvolver algoritmos para problemas novos.

3. Apresentar as principais estruturas de dados espaciais para que os alunos possam usar no desenvol-
vimento de algoritmos novos.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

[1] Mark de Berg et al. Computational Geometry: Algorithms and Applications. 3rd ed. Santa Clara, CA,
USA: Springer-Verlag TELOS, 2008. ISBN: 3540779736, 9783540779735.
[2] Thomas H. Cormen et al. Introduction to Algorithms. 3a ed. MIT Press, 2009, pp. I–XIX, 1–1292. ISBN:
978-0-262-03384-8. URL: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&
tid=11866.
[3] Jon Kleinberg e Éva Tardos. Algorithm Design. Addison-Wesley, 2005. ISBN: 0-321-29535-8.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

[4] F. P. Preparata e M. I. Shamos. Computational Geometry: An Introdution. New York, USA: Springer-
Verlag, 1985.

[5] Joseph ORourke. Computational Geometry in C. 2nd. New York, NY, USA: Cambridge University Press,
1998. ISBN: 0521640105.

[6] Jean-Daniel Boissonnat e Mariette Yvinec. Algorithmic Geometry. New York, NY, USA: Cambridge Uni-
versity Press, 1998. ISBN: 0-521-56529-4.

[7] L.H. de Figueiredo e P.C.P. Carvalho. Introduçao à geometria computacional. Annals of discrete mathe-
matics. Conselho Nacional de Desenvolvimento Cientifico e Tecnologico, 1991. ISBN: 9788524400612.

URL: https://books.google.com.br/books?id=8mQkHAAACAAJ.

[8] E.C. Zeeman. Uma introdução informal à topologia das superfícies. Monografías de matemática. Con-
selho Nacional de Pesquisas, Instituto de Matemática Pura e Aplicada, 1975. URL: https://books.

google.com.br/books?id=ulzvAAAAMAAJ.

PERÍODO:
1° Semestre

LOCAL:
PA-02

HORÁRIO:
Terça, Quinta – 19:30 às 21:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 29/06/2023

PROFESSOR:
ELIAS PROCÓPIO DUARTE JÚNIOR

EMENTA:
Esta disciplina tem por objetivo introduzir tópicos avançados em Redes de Computadores aos alunos que
já tem uma base na área, tendo cursado Redes de Computadores I e II. A disciplina tem quatro pilares,
fundados na relevância dos temas no panorama atual das Redes de Computadores. O primeiro pilar é
das Redes Celulares. A arquitetura, história das sucessivas gerações, protocolos de comunicação e
desafios tecnológicos serão examinados até as Redes 5G e 6G. O segundo pilar da disciplina está em
Redes Definidas por Software – Software Defined Networks (SDN) bem como tecnologias de virtualização
e programabilidade para Redes de Computadores, em particular Virtualização de Funções de Rede –
Network Function Virtualization (NFV). Os dois pilares seguintes estão ancorados em Segurança para
Redes de Computadores, que constitui desafio permanente da tecnologia. O terceiro pilar está em
Sistemas Tolerantes a Intrusão, com foco em algoritmos distribuídos para Tolerância a Falhas Bizantinas.
O quarto e último pilar da disciplina está em tecnologia de Blockchain, utilizada hoje em diversos
contextos, incluindo a criação de moedas virtuais seguras.

PROGRAMA (itens de cada unidade didática)

Revisão de conceitos básicos de Redes de Computadores: pilha de protocolos, padrões. Redes
Celulares: arquitetura e conceitos básicos, incluindo rádio-transmissões, célula e handoff. Redes 1G: voz
analógica. Redes 2G: voz digital. GSM: Global System for Mobile Communications. Redes 3G: voz e texto
digitais. Redes 4G: comutação de pacotes. Futuro: Redes 5G e 6G. Rede de acesso via rádio – RAN:
Radio Access Network. Fatiamento de redes: Network Slicing. Redes Definidas por Software: arquitetura
controlador/switch. Protocolo OpenFlow. Virtualização de Funções de Rede: funções de rede e
middleboxes. Arquitetura MANO. Sistemas Tolerantes a Intrusão: definições básicas de Tolerância a
Falhas. Os Generais Bizantinos. A estratégia PBFT (Practical Byzantine Fault Tolerance) para tolerância a
intrusão. Blockchain: livro-razão distribuído. Conceitos básicos de segurança para compreender
blockchain. Árvore de Merkle. Blocos e transações. Classificação de blockchains: pública, federada e
privada. Mineração e prova de trabalho. Blockchain como consenso.
OBJETIVO GERAL

O aluno deve ter uma compreensão da arquitetura e funcionamento de Redes Celulares, Redes Definidas
por Software, Sistemas Tolerantes a Intrusão e Blockchain.

OBJETIVO ESPECÍFICO

O aluno deve ter conhecimento sobre a arquitetura interna e funcionamento da Redes Celulares, com uma boa visão
da história destas redes, chegando aos sistemas 5G e 6G. Acompanha uma visão concreta das redes de acesso via
rádio (RAN). O aluno deve ter domínio sobre duas das principais tecnologias de virtualização de redes: SDN e NFV,
incluindo o protocolo OpenFlow. Deve ter também uma visão concreta da funcionalidade e de como construir
Blockchains. Deve conhecer a teoria dos Sistemas Tolerantes a Intrusão, em especial os modelos e algoritmos
Tolerantes a Falhas Bizantinas.

BIBLIOGRAFIA:
Bruce Davie, Software-Defined Networks: A Systems Approach, Morgan &
Claypool, 2021.
Larry Peterson, Oğuz Sunay, 5G Mobile Networks: A Systems Approach, Morgan & Claypool, 2020.
Lorne Lantz, Daniel Cawrey, Mastering Blockchain: Unlocking the Power of Cryptocurrencies, Smart Contracts, and
Decentralized Applications, O’ Reilly, 2020.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)
M. Castro, B. Liskov. “Practical Byzantine Fault Tolerance,” OSDI, pp. 173-186, Vol. 99., 1999.
N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, J. Turner, “OpenFlow: Enabling
Innovation in Campus Networks,” ACM SIGCOMM Computer Communication Review, pp. 69-74, Vol. 38, No. 2,
2008.
B. Yi, et al. “A Comprehensive Survey of Network Function Virtualization,” Computer Networks, Vol. 133, pp. 212-262,
2018.
X. Foukas, G. Patounas, A. Elmokashfi, A., M.K. Marina, “Network Slicing in 5G: Survey and Challenges,” IEEE
Communications Magazine, Vol. 55, No. 5, pp. 94-100, 2017.
I. Bashir, Mastering Blockchain, Packt Publishing, 2017.

PERÍODO:
1° Semestre

LOCAL:
PA-06

HORÁRIO:
Quarta, Sexta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
20

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 22/03/2023 a 30/06/2023

PROFESSOR:
NATASHA MALVEIRA COSTA VALENTIM

EMENTA:
Introdução à Interação Humano-Computador (IHC) Experimental; Experimentos controlados em IHC; Métodos
Estatísticos aplicados à IHC experimental; Análise Qualitativa; Ferramentas de análise quantitativa e qualitativa;
Revisão Sistemática da Literatura (RSL) e Mapeamento Sistemático da Literatura (MSL); Tópicos em IHC
experimental.
OBJETIVO GERAL

O aluno deverá ser capaz de planejar, executar e analisar estudos primários (como experimentos
controlados, estudos de caso e surveys) e estudos secundários (como revisões e mapeamentos

sistemáticos da literatura).
OBJETIVO ESPECÍFICO

● O aluno deve ser capaz de planejar e executar um experimento controlado a partir de uma
perspectiva da IHC;
● O aluno deve ser capaz de analisar os resultados de um experimento tanto de maneira
quantitativa quanto de maneira qualitativa, utilizando técnicas e ferramentas adequadas para este
propósito;
● O aluno deve ser capaz de planejar, executar e analisar revisão ou mapeamento sistemático da
literatura;
● O aluno deve demonstrar capacidade de ter análise crítica e tomada de decisão informada por
conhecimentos teóricos ou empíricos.

PROCEDIMENTOS DIDÁTICOS

A dinâmica adotada para a disciplina articulará aulas teóricas e expositivas com apresentações e discussão
sobre artigos e capítulos de livros, exposição de exemplos e estudos de casos, aplicação de trabalhos
práticos e avaliações para promover o entendimento e a análise crítica sobre os tópicos trabalhados. Serão
utilizados os seguintes recursos: quadro de giz, notebook e projetor multimídia, insumos de laboratório e
softwares específicos.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

Lazar, J., Feng, J. H., Hocheiser, H. (2009) Research Methods in Human-Computer Interaction, John Wiley & Sons.
Cairns, P., Cox, A., eds (2008) Research Methods for Human-Computer Interaction, Cambridge University Press.
Purchase, H. (2012) Experimental Human-Computer Interaction, Cambridge University Press.
Soegaard, M., Rikke, F.D. (Eds.) The Encyclopedia of Human-Computer Interaction. 2a Ed. 2017. Disponível online:
https://www.interaction-design.org.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

É a leitura recomendada para aumentar os conhecimentos sobre determinados assuntos, criando a oportunidade de
adentrar nas idéias de diferentes autores (mínimo três títulos).
Gergle, D. and Tan, D. (2014). Experimental Research in HCI. In Olson, J.S. and Kellogg, W. (eds) Ways of Knowing
in HCI. Springer, 191-227.
Hornbaek, K. (2011) Some whys and hows of Experiments in Human-Computer Interaction, Foundations and Trends
in Human–Computer Interaction, 5(4), 299–373
Da Rocha, H.V., Baranauskas, M.C.C (2003). Design e avaliação de interfaces humano-computador. Unicamp.
Rogers, Y., Sharp, H., Preece, J (2013). Design de interação: além da interação humano-computador. Bookman;
3aEd.
Barbosa, S., Silva, B (2010). Interação humano-computador. Elsevier Brasil.
Wazlawick, R. S. (2008). Metodologia de Pesquisa para Ciência da Computação. Rio de Janeiro, Elsevier

PERÍODO:
1° Semestre

LOCAL:
remoto

HORÁRIO:
Terça – 19:00 às 21:00 – 15 encontros

NÚMERO DE VAGAS:
20

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 27/06/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Seminários sobre o estado da arte em diversas especialidades da Ciência da Computação.

BIBLIOGRAFIA:
Variável.

PERÍODO:
1° Semestre

LOCAL:
SALA 102 – Departamento de Informática

HORÁRIO:
Quinta – 13:30 às 15:30 – 15 encontros

NÚMERO DE VAGAS:
20

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 27/06/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Apresentar os conceitos básicos da pesquisa científica contextualizando na
pesquisa em Ciência da Computação; oferecer ao aluno uma visão sobre o método
científico e a estrutura de projetos de pesquisa; exercitar o entendimento e condução da
pesquisa como um processo de resolução de problemas com rigor, responsabilidade e
reprodutibilidade.

BIBLIOGRAFIA:
Bibliografia Básica
Wazlawick, R., 2017. Metodologia de pesquisa para ciência da computação (Vol. 2).
Elsevier Brasil.

Booth WC, Colomb GG, Williams JM. A arte da pesquisa. Martins Fontes; 2000.
Fachin O. Fundamentos de metodologia. Saraiva Educação SA; 2001.

Bibliografia Complementar
Köche JC. Fundamentos de metodologia científica. Editora Vozes; 2016.

Kuhn TS. The structure of scientific revolutions. University of Chicago press; 2012 Apr 18.

Laudan L. Progress and its problems: Towards a theory of scientific growth. Univ of
California Press; 1978 Oct 27.

Ludwig AC. Fundamentos e prática de metodologia científica. Vozes; 2009.

PERÍODO:
1° Semestre

LOCAL:
LAB

HORÁRIO:
Quinta – 10:00 às 12:00 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 20/03/2023 a 31/07/2023

PROFESSOR:
ANDREY RICARDO PIMENTEL
EDUARDO TODT
MARCOS SFAIR SUNYE

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
1° Semestre

LOCAL:
remoto

HORÁRIO:
Terça – 19:00 às 21:00 – 15 encontros

NÚMERO DE VAGAS:
20

PERÍODO DE MATRÍCULA:
De: 06/03/2023 a 17/03/2023

PERÍODO DE AULAS:
De: 21/03/2023 a 27/06/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Seminários sobre o estado da arte em diversas especialidades da Ciência da Computação.

BIBLIOGRAFIA:
Variável.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Quarta, Sexta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 02/08/2023 a 01/12/2023

PROFESSOR:
ANDRÉ LUIZ PIRES GUEDES

EMENTA:
Introdução à análise de algoritmos. Notação assintótica. Análise de algoritmos iterativos e recursivos.
Análise dos casos: melhor, pior e esperado.

PROGRAMA (itens de cada unidade didática)

1. Notação Assintótica
2. Divisão e Conquista
3. Algoritmos Gulosos
4. Programação Dinâmica
5. Análise Amortizada
6. Algoritmos e Estruturas de Dados Aleatorizados
7. Algoritmos de Aproximação
8. Busca Exaustiva

OBJETIVO GERAL

Apresentar um conjunto de técnicas de análise de algoritmos, considerando o recurso consumido, os casos
de execução e notação assintótica.

OBJETIVO ESPECÍFICO
1. Explicar o que se entende pelos casos “melhor”, “esperado” e “pior” do comportamento de um algo-
ritmo.

2. Identificar as características, condições ou suposições que levam a comportamentos diferentes de
algoritmos.
3. Determinar a complexidade do tempo de algoritmos simples.
4. Contrastar classes de complexidade linear, quadrática, logarítmica e exponencial.
5. Usar formalmente a notação O, Ômega e Teta para fornecer limitantes assintóticos e de caso esperado
na complexidade de tempo de algoritmos.
6. Usar relações de recorrência para determinar a complexidade do tempo de algoritmos recursivamente
definidos.
7. Resolver relações de recorrência com notação assintótica.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

CORMEN, Thomas H. et al. Introduction to Algorithms. 3. ed. [S.l.]: MIT Press, 2009. p. i–xix, 1–1292.
ISBN 978-0-262-03384-8. Disponível em:
.
KLEINBERG, Jon; TARDOS, Éva. Algorithm Design. [S.l.]: Addison-Wesley, 2005. ISBN 0-321-29535-8.
DASGUPTA, S.; PAPADIMITRIOU, C. H.; VAZIRANI, U. Algorithms. [S.l.]: McGraw Hill, 2006. p. 336.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

KNUTH, Donald E. The art of computer programming, volume 3: (2nd ed.) sorting and searching.
Redwood City, CA, USA: Addison Wesley Longman Publishing Co., Inc., 1998. ISBN 0-201-89685-0.
MANBER, Udi. Introduction to Algorithms: A Creative Approach. Boston, MA, USA: Addison-Wesley
Longman Publishing Co., Inc., 1989. ISBN 0201120372.
SEDGEWICK, Robert. Algorithms in C. [S.l.]: Addison-Wesley, 1990. p. 657.
MITZENMACHER, Michael; UPFAL, Eli. Probability and Computing: Randomized Algorithms and
Probabilistic Analysis. New York, NY, USA: Cambridge University Press, 2005. ISBN 0521835402.
SEDGEWICK, Robert; FLAJOLET, Philippe. An Introduction to the Analysis of Algorithms. [S.l.]:
Addison-Wesley Publishing Company, 1996. 512 pages. (ISBN 0-201-40009-X).

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Quarta, Sexta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 09/08/2023 a 01/12/2023

PROFESSOR:
ANDRÉ LUÍS VIGNATTI

EMENTA:
Análise de complexidade de algoritmos.

BIBLIOGRAFIA:
Artigos da área, além de:

[1] Thomas H. Cormen, Charles E. Leiserson, Ronald Rivest, Clifford Stein, et al., Introduction to Algorithms, 2nd Edition, MIT Press, 2001.

[2] Robert Sedgewick, Algorithms in C. Addison-Wesley, 1997.

[3] Nivio Ziviani, Projeto de Algoritmos com implementações em Pascal e C, 2a Edição Revista e Ampliada, Editora Thomson, 2004.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Segunda, Quarta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 31/07/2023 a 01/12/2023

PROFESSOR:
EDUARDO JAQUES SPINOSA

EMENTA:
Este curso foca nos métodos computacionais recentemente desenvolvidos inspirados na natureza, tais como redes neurais, algoritmos genéticos e outros sistemas de computação evolutiva, formiga enxame de otimização, sistemas imunológicos artificiais, inteligência coletiva, autômatos celulares, e sistemas multi-agente. Favorecendo a compreensão intuitiva de adaptação e auto-organização de sistemas computacionais.

BIBLIOGRAFIA:
Computational intelligence : an introduction / Andries P. Engelbrecht. ? 2nd ed

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Segunda, Quarta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 31/07/2023 a 29/11/2023

PROFESSOR:
MARCO ANTONIO ZANATA ALVES

EMENTA:
Revisão MIPS: Pipeline
Revisão MIPS: Dependências Dados e Controle
Fetch stage: (block size, fetch buffer, trace cache)
Decode stage: (uops, decode buffer, decoded cache)
Branch prediction Pt.1: (Predication, Address
Prediction – Branch Target Buffer, Call/Return Stack)
Branch prediction Pt.2: (Direction Prediction: Static, 1 Bit, 2 Bit, Two Level, Global/Local Signtures)
Precise exceptions and interruptions: (Reorder buffer, History buffer, Future register file, Checkpointing)
Rename, Dispatch, Execute, Commit stages: (Scoreboard, Tomasulo, Centralized/Distributed Reservation stations)
Caches Pt.1 – Associativity, Line Size, Hierarchy
Caches Pt.2 – Replacement policy, Parallel/Sequential Lookup
Caches Pt.3 – Multi-ports, Multi-banked, Non-blocking caches
Prefetching 1 – Software
Prefetching 2 – Hardware
Multithreading + Multi-Core
Networks-on-Chip (NoC) (Topologies + Routing)
Memory Management Unit (MMU) (Translation Lookaside Buffer)
Memory Management Unit (MMU) (Paging and Caches)
Memory Controller + Double Data Rate Memories (DDR)
Hybrid Memory Cubes (HMC) and High Bandwidth Memories (HBM)

BIBLIOGRAFIA:
[1] Computer Archiotecture: A Quantitative Aproach, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2003.

[2] Computer Organizacion e Design: The hardware/software Interface, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2004.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Sexta – 10:00 às 12:00 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 07/08/2023 a 01/12/2023

PROFESSOR:
DAVID MENOTTI GOMES
FABIANO SILVA
MARCOS ALEXANDRE CASTILHO

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação. Envolve o projeto e implementação de um protótipo de sistema especialista ou exercício equivalente.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach,
Prentice Hall, 2nd edition, 2002.

[2] William S. Clocksin and C.S. Mellish, Programming in Prolog, Springer-Verlag, 1981.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Sexta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 07/08/2023 a 08/12/2023

PROFESSOR:
DAVID MENOTTI GOMES
LUIZ EDUARDO SOARES DE OLIVEIRA
OLGA REGINA PEREIRA BELLON

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Processamento de Imagens.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Digital Image Processing. R.C.Gonzalez e R.E.Woods. Addison-Wesley, 1992.

[2] Machine Vision. R.Jain, R.Kasturi e B.G. Schunck. Mc Graw Hill, 1995.

[3] Computer Vison. D.H.Ballard e C.M.Brown. Prentice-Hall, 1982

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Quarta, Sexta – 13:30 às 15:30 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 07/08/2023 a 01/12/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Bancos de Dados.

BIBLIOGRAFIA:
Variável, incluindo artigos técnicos recentes da área e:

[1] Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan
Terceira Edicao, Makron Books, 1999

[2] Sistemas de Banco de Dados – Fundamentos e Aplicacoes
Ramez Elmasri, Shamkant B. Navathe, Editora LTC, Terceira Edicao, 2002

[3] Principles of Database and Knowledge-Base Systems, Volume 1, Jeffrey Ullman
Second Edition, Computer Science Press, 1988

[4] Database Management Systems, Raghu Ramakrishnan, Johannes Gehrke
McGraw-Hill, 2002

[5] Foundations of Databases, Serge Abiteboul, Richard Hull, Victor Vianu
Addison-Wesly, 1995

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Quinta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 31/07/2023 a 30/11/2023

PROFESSOR:
MARIA CECÍLIA CALANI BARANAUSKAS
PATRICIA AUGUSTIN JAQUES MAILLARD
ROBERTO PEREIRA

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Engenharia de Software.

BIBLIOGRAFIA:
Variável, incluindo artigos técnicos recentes da área e:

[1] Pressman, R.B. Software Engineering: A Practitioner’s Approach
McGraw-Hill, Third Edition, 1992, New-York, EUA

[2] Sommerville, I., Software Engineering.
Addison-Wesley, 1996

[3] Ghezzi, C. and Jazayeri, M. and Madrioli, D. Fudamentals of Software Engineering
Prentice-Hall, New Jersey, EUA, 1991

[4] Larman, C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design
Prentice-Hall, New Jersey – USA, 1997

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Sexta – 10:00 às 12:00 – 15 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 04/08/2023 a 01/12/2023

PROFESSOR:
ALDRI LUIZ DOS SANTOS
EDUARDO JAQUES SPINOSA
EDUARDO TODT
ELIAS PROCÓPIO DUARTE JÚNIOR
LUIS CARLOS ERPEN DE BONA
MARCOS SFAIR SUNYE
OLGA REGINA PEREIRA BELLON
PAULO RICARDO LISBOA DE ALMEIDA
ROBERTO PEREIRA

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Sexta – 10:00 às 12:00 – 10 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 25/08/2023 a 25/08/2023

PERÍODO DE AULAS:
De: 25/08/2023 a 01/12/2023

PROFESSOR:
MICHELE NOGUEIRA LIMA

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Quinta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 31/07/2023 a 30/11/2023

PROFESSOR:
ELIAS PROCÓPIO DUARTE JÚNIOR
LUIZ CARLOS PESSOA ALBINI
MICHELE NOGUEIRA LIMA

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Redes de Computadores.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Computer Networks: A Systems Approach,
Larry L. Peterson, and Bruce S. Davie, 3rd edition, Morgan-Kaufman, 2003.

[2] Internetworking with TCP/IP Vol. 1, 5th Edition, Douglas E. Comer,
Prentice-Hall, 2005.

[3] Computer Networks, Andrew Tanenbaum,
4th Edition, Prentice-Hall, 2002.

[4] Computer Networking: A Top-Down Approach Featuring the Internet,
James F. Kurose, Keith W. Ross, 2004.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Segunda, Sexta – 10:00 às 12:00 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 07/08/2023 a 08/12/2023

PROFESSOR:
CARLOS ALBERTO MAZIERO

EMENTA:
Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Sistemas Distribuídos.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Distributed Algorithms, Nancy A. Lynch,
Morgan-Kaufman, 1997.

[2] Distributed Systems: Concepts and Design, 2nd ed.,
George Coulouris, Jean Dollimore, Tim Kindberg, Addison-Wesley, 1994.

[3] Introduction to Reliable Distributed Programming,
Rachid Guerraoui, Luis Rodrigues, Spriger, 2006.

[4] Distributed Systems 2nd Ed.,
Sape Mullender (Ed.), 1993.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Segunda, Quarta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 26/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 30/11/2023

PROFESSOR:
MARCO ANTONIO ZANATA ALVES

EMENTA:
Apresentação da disciplina
Arquiteturas Paralelas
Modelo PRAM – pt.1
Modelo PRAM – pt.2
Modelos LogP e BSP
Pthreads – Tópicos básicos
Pthreads – Sincronização e Regiões Críticas
Pthreads – Sincronização e Regiões Críticas
Metodo Foster e Métricas de desempenho, Amdahl e Gustafson-Barsis
OpenMP 01 – OpenMP Básico – Trabalho Prático
OpenMP 02 – OpenMP Divisão de trabalho
OpenMP 03 – OpenMP Sincronização
OpenMP 04 – OpenMP Tasks
Memórias Cache, Vetorização e Thread bind/pin/affinity
Projeto de Experimento e boas práticas de apresentação
MPI 01 – Introdução e comunicações ponto-a-ponto
MPI 02 – Comunicações coletivas
MPI 03 – Comunicações coletivas

BIBLIOGRAFIA:
[1] G. Almasi, A Gottlieb. Highly Parallel Computing,
Benjamin-Cummings, 1994

[2] Designing and Building Parallel Programs, Ian Foster,
Addison-Wesley, 1994.

[3] An Introduction to Parallel Computing: Design and Analysis of Algorithms, 2nd Ed.,
Addison-Wesley, 2003.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça, Quinta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 30/11/2023

PROFESSOR:
MURILO VICENTE GONÇALVES DA SILVA

EMENTA:
A noção de Algoritmo. Funções Parcialmente recursivas.
Computabilidade das funções Parcialmente recursivas. Maquinas de Turing. Tese de Church. Função e maquina universal. Conjuntos recursivamente enumeráveis.

– Motivação Linguagens Formais e DFAs [SIL17: até 3.2] [SIP06 até 1.1] [HMU01 1.1-5, 2.1, 2.2.1-6]
– NFAs e epsilon-NFAs [SIL17: 3.2-5] [SIP06: 1.2] [HMU01: 2.3, 2.5.1]
– ERs e Lema do Bombeamento [SIL17: 3.6, 4.1, 4.2.1, 4.2.2] [SIP06: 1.2-4,2.2] [HMU01: 2.5.1-5, 3.1, 3.2, 4.1, 6.1, 6.2]
– PDAs e Gramáticas [SIL17: 4.2-3] [SIP06: 2.1-2] [HMU: 5.1, 5.2.1-5., 5.4.1, 5.4.3-4, 6.2-3]
– Máquinas de Turing [SIL17: cap. 5] [SIP06: 3.1-2] [HMU: 8.1, 8.2-4]
– A Tese de Church-Turing e Computabilidade [SIL17: 5.3, cap. 6 e 7] [SIP06: 3.2-3, 5.1-2] [HMU: 8.3-4, 8.6, 9.1-2, 9.3.1-2]
– Introdução à Teoria de Complexidade Computacional [SIL17: cap. 9, 10] [SIP06: ] [HMU: ]
– Reduções e NP-completude de problemas [SIL17: 11] [SIP06: ] [HMU: ]

BIBLIOGRAFIA:
Bibliografia principal
[SIL17] — SILVA, M.V.G. Autômatos, Computabilidade e Complexidade Computacional , 2017. (atualizado em 09/10/2019)
[HMU01] — HOPCROFT, J. E.; MOTWANI R.; ULLMAN, J. D. Introduction to Automata Theory, Languages, and Computation (2nd Edition) , Addison Wesley, 2001.
[SIP06] — SIPSER, M. Introduction to the Theory of Computation (apenas capítulos 3,4,5,7 e 9) , Thomson Course Technology, 2006.
[DPV06] — DASGUPTA, S.; PAPADIMITRIOU C. H.; VAZIRANI, U. Algorithms (capítulo 8) , McGraw-Hill 2006
[PAP94] — PAPADIMITRIOU, C. H. Computational Complexity (capítulo 9) , Addison Wesley Longman 1994
[ABA06] — ARORA, S.; BARAK B. Computational Complexity – A Modern Approach (capítulos 1 e 2) , McGraw-Hill 2006
[MME11] — MOORE, C.; MERTENS, S. The Nature of Computation (capítulo 7) , Oxford 2011
[AAR13] — AARONSON, S. Quantum Computing Since Democritus , Cambridge 2013
Bibliografia auxiliar
GAREY, M. R.; JOHNSON, D. S. Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman 1979
SUDKAMP, T. A. Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition), Addison Wesley, 2005.
LEWIS, H. R.; PAPADIMITRIOU C. H. Elements of the Theory of Computation (2nd Edition), Prentice Hall 1997

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça, Quinta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 30/11/2023

PROFESSOR:
MURILO VICENTE GONÇALVES DA SILVA

EMENTA:
ARTE 1 (FUNDAMENTOS)

Tópico 1: Introdução; Mecânica Quântica e qubits [KLM07: pgs 1 — 20, 38 –42][NCH10: pgs 1 — 16][VAZ13: pgs 1 — 14][RP12: pgs 1–17]
slides usados no vídeo [slides01]

Tópico 2: Medindo qubits; Princípio da incerteza [KLM07: pgs 48 — 52][NCH10: pgs 16 — 17][VAZ13: pgs 15 — 16]
slides usados no vídeo [slides02])

Tópico 3: Conceitos de álgebra linear; Qubits e emaranhamento [NCH: 2.1][KLM07: pgs 60 — 76][VAZ13: pags 19 — 21][RP12: pgs 17–23]
slides usados no vídeo [slides03] [slides04]

Tópico 4: Portas quânticas; Circuitos quânticos [KLM07: 4.1, 4.2][NCH10: 1.3][VAZ13: pags 27–32][RP12: pgs 24–36]
slides usados no vídeo [slides05] [slides06]

Revisão e Prova 1

PARTE 2 (ALGORITMOS QUÂNTICOS)

Tópico 6: Amostragem de Fourier [KLM07 6.2][NCH10: 1.4.2][VAZ13: 4.3-5][WOL14: 2.3]
slides usados no vídeo [slides07]

Tópico 7: Algoritmo de Simon [VAZ13: 4.7][KLM07 sec 6.5][WOL14: cap. 3]
slides usados no vídeo [slides08]

Tópico 8: Algoritmo de Shor [VAZ13: cap 6][KLM: cap 7]][NCH10: cap 5] [RP12: pgs 63 — 75]
slides usados no vídeo [slides09] [slides10]

Tópico 9: Algoritmo de Grover [VAZ13: cap 7][KLM: sec 8.1][RP12: pgs 37 — 62]
slides vistos na aula síncrona [slides11]

Revisão e Prova 2

27/02/2023 — Final

BIBLIOGRAFIA:
[KLM07] KAYE, P.; LAFALMME, R.; MOSCA, M. An Introduction to Quantum Computing , Oxdord University Press, 2007.
[NCH10] NIELSEN, M.A.; CHUANG, I.L. Quantum Computation and Quantum Information , Cambridge University Press, 2010.
[RP12] PORTUGAL, R. ET AL Uma introdução a Computação Quântica (pdf), Sociedade Brasileira de Matemática, 2012.
[VAZ13] VAZIRANI, U. Quantum Mechanics and Quantum Computation, Lecture Notes — EDx, Universidade de Berkeley, (pdf), 2013 .
[WOL14] DE WOLF, R. Quantum Computing — Lecture Notes, Dutch Centre for Mathematics and Computer Science, (pdf), 2014.
[HH21] HEPP, H. Notas sobre Computação Quântica (pdf), 2014.
[AA18] AARONSON, S. Quantum Information Science – Lecture Notes (pdf), 2018.
[AC21] COSTA, A.F.B. Algoritmos de Shor e de Grover e seus impactos em protocolos criptográficos (pdf), 2021.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça, Quinta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 09/08/2023 a 01/12/2023

PROFESSOR:
ANDRÉ LUÍS VIGNATTI

EMENTA:
Ementa livre para que sejam ministradas aulas em assuntos correlatos da Linha de Pesquisa de Inteligência Computacional.

BIBLIOGRAFIA:
De acordo com o tema tratado.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça, Quinta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 30/11/2023

PROFESSOR:
WAGNER MACHADO NUNAN ZOLA

EMENTA:
GPU:processadores gráficos para computação de propósito geral.
Arquitetura de GPUs. Linguagens, bibliotecas e técnicas para
programação paralela em GPUs. Modelos de arquitetura e execução.
Desempenho e Escalabilidade. Sincronização. Primitivas para paralelismo.
Algoritmos paralelos em GPUs. Estudo de casos de algoritmos e/ou
aplicações paralelas em GPUs. Processamento heterogêneo CPU-GPU.

Objetivos:

A disciplina visa estudar as técnicas para processamento/programação
paralela em GPUs (ou processamento heterogêneo CPU-GPU).
Será dada ênfase na plataforma CUDA e bibliotecas afins.
O curso terá um viés teórico-prático com estudos de aplicações nas
áreas de computação e/ou computação científica.
Serão considerados aspectos algorítmicos e relativos à análise e
otimização de desempenho.

BIBLIOGRAFIA:
Artigos recentes da área, além de:

[1] Computer Archiotecture: A Quantitative Aproach, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2003.

[2] Computer Organizacion e Design: The hardware/software Interface, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2004.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça, Quinta – 17:30 às 19:30 – 30 encontros

NÚMERO DE VAGAS:
5

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 30/11/2023

PROFESSOR:
EDUARDO TODT

EMENTA:
1. Introdução a sistemas de tempo real
2. Tipos de sistemas de tempo real
3. Modelos de tarefas e escalonamento
4. Testes de escalonabilidade de tarefas periódicas
5. Compartilhamento de recursos
6. Sincronização
7. Testes de escalonabilidade de tarefas aperiódicas
8. Suporte para aplicações em tempo real
9. Aspectos funcionais de um sistema operacional tempo real
10. Aspectos temporais de um sistema operacional tempo real
11. Opções de suportes para tempo real
12. Sistemas embarcados
13. Estudo de caso

BIBLIOGRAFIA:
Bibliografia básica:
? LI, Q. Real-time concepts for embedded systems. CMP, 2003, 1st edition, ISBN 978-
1578201242.
Bibliografia complementar:
? KOPETZ, H.: Real-Time Systems: Design Principles for Distributed Embedded
Applications, Springer, 2011, 2nd edition, ISBN 978-1441982360.
? BURNS, A., WELLINGS, A. Real-Time Systems and Programming Languages. AddisonWesley,
2009. 4th edition, ISBN 978-0321417459.
? FARINES, J-M, FRAGA, J.S. e OLIVEIRA, R.S. 12ª Escola de Computação, IME-USP,
São Paulo-SP, 24-28 de julho de 2000. Disponível em pdf http://www.das.ufsc.br/~romulo/.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Quarta, Sexta – 13:30 às 15:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 02/08/2023 a 01/12/2023

PROFESSOR:
PAULO RICARDO LISBOA DE ALMEIDA

EMENTA:
Histórico. Classes e objetos. Funções e dados membro. Modificadores de acesso. Construtores e
destrutores. Alocação dinâmica de memória. Herança e polimorfismo. Templates. Bibliotecas padrão.
Lançamento e tratamento de exceções

OBJETIVO GERAL

Apresentar ao aluno os principais conceitos relacionados à orientação a objetos de maneira prática,
através de uma linguagem como o C++. O custo computacional envolvido ao se aplicar os conceitos e
boas práticas relacionadas a orientação a objetos serão avaliados quando possível. Ao final da disciplina,
o aluno deverá ser capaz de implementar programas utilizando orientação a objetos considerando as
diferentes classes e objetos de um sistema e suas interações.

OBJETIVO ESPECÍFICO

1. O aluno será capaz de entender conceitos relacionados a orientação a objetos, como o
conceito de classes, objetos e encapsulamento.
2. O aluno será capaz de criar programas utilizando orientação a objetos.
3. O aluno será capaz de modelar interações entre diferentes objetos de um sistema.
4. O aluno será capaz de utilizar e estender as classes disponíveis nas bibliotecas padrão da
linguagem.
5. O aluno entenderá os conceitos básicos relacionados aos custos extras (overhead) de se
utilizar a orientação a objetos.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA

[1] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 2013.
[2] Gamma, E. Padrões de Projetos: Soluções Reutilizáveis. Brasil: Bookman. 2009.
[3] Deitel, H. M., Deitel, P. J. C++: como programar. 5a

ed. Brasil: Pearson Prentice Hall. 2006.
[4] ISO/IEC 14882:2020 Programming languages — C++: URL:
https://www.iso.org/obp/ui/#iso:std:iso-iec:14882:ed-6:v1:en . Draft público disponível em
https://isocpp.org/files/papers/N4860.pdf

BIBLIOGRAFIA COMPLEMENTAR

[1] Schildt, H.; Mayer, R. C completo e total. Pearson Education do Brasil, 1996.ISBN
9788534605953.
[2] Meyers, S. D. C++ Eficaz: 55 Maneiras de Aprimorar Seus Programas e Projetos. Brasil:
Bookman. 2011.
[3] Aguilar, L. J. Programação em C ++ – 2.ed.: Algoritmos, estruturas de dados e objetos: Bookman
Editora. 2008.
[4] Votre, V. P. C++: Explicado e Aplicado. Brasil: Alta Books Editora. 2016.
[5] C++ Language Tutorial. 2020. URL: http://www.cplusplus.com/doc/tutorial

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Quarta – 13:30 às 15:30 – 15 encontros

NÚMERO DE VAGAS:
30

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 02/08/2023 a 30/11/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Apresentar os conceitos básicos da pesquisa científica contextualizando na
pesquisa em Ciência da Computação; oferecer ao aluno uma visão sobre o método
científico e a estrutura de projetos de pesquisa; exercitar o entendimento e condução da
pesquisa como um processo de resolução de problemas com rigor, responsabilidade e
reprodutibilidade.

BIBLIOGRAFIA:
Bibliografia Básica
Wazlawick, R., 2017. Metodologia de pesquisa para ciência da computação (Vol. 2).
Elsevier Brasil.

Booth WC, Colomb GG, Williams JM. A arte da pesquisa. Martins Fontes; 2000.
Fachin O. Fundamentos de metodologia. Saraiva Educação SA; 2001.

Bibliografia Complementar
Köche JC. Fundamentos de metodologia científica. Editora Vozes; 2016.

Kuhn TS. The structure of scientific revolutions. University of Chicago press; 2012 Apr 18.

Laudan L. Progress and its problems: Towards a theory of scientific growth. Univ of
California Press; 1978 Oct 27.

Ludwig AC. Fundamentos e prática de metodologia científica. Vozes; 2009.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Segunda, Quarta – 15:30 às 17:30 – 30 encontros

NÚMERO DE VAGAS:
10

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 31/07/2023 a 04/12/2023

PROFESSOR:
ROBERTO PEREIRA

EMENTA:
Conceitos básicos em Sistemas Sociotécnicos; Exemplos e Análise de Sistemas Sociotécnicos; Filosofia
da Tecnologia; Engenharia de Software e Sistemas Sociotécnicos; Interação Humano-Computador e
Sistemas Sociotécnicos; Semiótica Organizacional; Design de Sistemas Sociotécnicos; Avaliação de
Sistemas Sociotécnicos; Tópicos e tendências em sistemas sociotécnicos e em IHC.
PROGRAMA (itens de cada unidade didática)
1. Conceitos básicos em Sistemas Sociotécnicos: definição, exemplos;
2. Análise de Sistemas Sociotécnicos, estudo de exemplos reais, propriedades, características;
3. Filosofia da Tecnologia: histórico, determinismo da tecnologia, linhas de pensamento;
4. Computação Social: definição, exemplos;
5. Engenharia de Software e Sistemas Sociotécnicos: abordagens, limitações, avanços;
6. Interação Humano-Computador e Sistemas Sociotécnicos: design socialmente consciente, design
participativo;
7. Semiótica Organizacional: teoria, conceitos, métodos, artefatos;
8. Design de Sistemas Sociotécnicos: métodos e práticas;
9. Avaliação de Sistemas Sociotécnicos: técnicas de avaliação; prática de avaliação;
10. Investigação e discussão tópicos em sistemas sociotécnicos e em Interação Humano-Computador.

OBJETIVO GERAL

Oferecer noções avançadas de disciplinas de Interação Humano-Computador, Sistemas de Informação e
Engenharia de Software articuladas ao design e avaliação de sistemas sociotécnicos.
Importante: esta é uma disciplina com uma alta carga de trabalho. As atividades envolvem um alto
número de trabalhos, incluindo a escrita de textos, e a leitura de artigos científicos e livros em inglês, com
um nível conceitual e metodológico pesado.

OBJETIVO ESPECÍFICO

Aprender a:
1. Diferenciar sistemas sociotécnicos de sistemas técnicos computacionais (software, hardware);
2. Conhecer diferentes disciplinas e teorias que apoiam o entendimento e exercício de uma visão
sociotécnica na Computação;
3. Desenvolver uma visão crítica e socialmente responsável para as soluções computacionais
propostas/analisadas;
4. Exercitar a capacidade de trabalho em equipes e de tomada de decisão informada por
conhecimentos teóricos ou empíricos.

BIBLIOGRAFIA:
BIBLIOGRAFIA BÁSICA (mínimo 03 títulos)

Baranauskas, M.C.C., Martins, M.C., and Valente, J.A. Codesign de redes digitais: Tecnologia e educação
a serviço da inclusão social. Penso Editora, 2013.
Soegaard, M., Rikke, F.D. (Eds.) The Encyclopedia of Human-Computer Interaction. 2a Ed. 2017.
Disponível online: https://www.interaction-design.org
Sommerville, I., Engenharia de Software. Pearson. 9ed. 2012.

BIBLIOGRAFIA COMPLEMENTAR (mínimo 05 títulos)

Feenberg, Andrew. Technosystem: The Social Life of Reason. Harvard University Press, 2017.
Liu, Kecheng. Semiotics in information systems engineering. Cambridge University Press, 2000.
Mate, Jose Luis, and Andres Silva, eds. Requirements engineering for sociotechnical systems. IGI Global,
2005.
Papanek, Victor, and R. Buckminster Fuller. Design for the real world. London: Thames and Hudson, 1972.
Tedre, M., Sutinen, E., Kähkönen, E., & Kommers, P. (2006). Ethnocomputing: ICT in cultural and social
context. Communications of the ACM, 49(1), 126-130.
Whitworth, Brian, ed. Handbook of research on socio-technical design and social networking systems. IGI
Global, 2009.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
– 19:00 às 21:00 – 15 encontros

NÚMERO DE VAGAS:
30

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 28/11/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Seminários sobre o estado da arte em diversas especialidades da Ciência da Computação.

BIBLIOGRAFIA:
Variável.

PERÍODO:
2° Semestre

LOCAL:
LAB

HORÁRIO:
Sexta – 10:00 às 12:00 – 15 encontros

NÚMERO DE VAGAS:
15

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 04/08/2023 a 01/12/2023

PROFESSOR:
EDUARDO TODT

EMENTA:
Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação.

BIBLIOGRAFIA:
Livre.

PERÍODO:
2° Semestre

LOCAL:
A DEFINIR

HORÁRIO:
Terça – 19:00 às 21:00 – 15 encontros

NÚMERO DE VAGAS:
30

PERÍODO DE MATRÍCULA:
De: 17/07/2023 a 21/07/2023

PERÍODO DE AULAS:
De: 01/08/2023 a 28/11/2023

PROFESSOR:
MARCOS SFAIR SUNYE

EMENTA:
Seminários sobre o estado da arte em diversas especialidades da Ciência da Computação.

BIBLIOGRAFIA:
Variável.