CI1013 - Grandes Ideias da Computação Teórica

1º semestre - 2026

sala: CT-09

A disciplina segue o livro “A Máquina da Natureza” de André Luís Vignatti, vencedor do Prêmio Jabuti. Dividido em três partes, representando passado, presente e futuro, descobriremos como a ciência da computação teórica, contrariamente ao que se poderia pensar, abrange filosofia e ciências naturais. Exploraremos os limites da manipulação da informação, a conexão com a consciência e o pensamento humanos, os paralelos entre o mundo abstrato e o físico, a relação entre determinismo e aleatoriedade, entre outros tópicos fascinantes.

Bibliografia

A Máquina da Natureza, Vignatti

versões: preto-e-branca e colorida luxo

Bibliografia Complementar:

Logicomix: An Epic Search for Truth, Doxiadis e Papadimitriou
The Nature of Computation, Moore e Mertens
Quantum Computing Since Democritus, Aaronson

Avaliação

P1 (50%): 10/abr
P2 (50%): 17/jun
PF: 24/06 ou 01/jul

Acesso ao Material

inscreva-se no Moodle: moodle.c3sl.ufpr.br
envie email ao professor informando seu email cadastrado no Moodle

Aulas

#	TÍTULO	LEITURA
1	"Faça-se a Verdade"	(Cap. 1)
2	Linguagem Subjacente	(Cap. 2)
3	O Maior Número	(Cap. 3)
4	Crise	(Cap. 4)
5	A Matemática da Matemática	(Cap. 5)
6	O Infinito e Além	(Cap. 6)
7	Calculemus! Pois não há Ignorabimus!	(Cap. 7)
8	Mais Problemas que Soluções	(Cap. 8)
9	A Única Forma de Computação da Natureza	(Cap. 9)

486543