Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)
emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact
☿

LA 2018.1 - Eduardo Ochs

Salas, horários, etc
Página do semestre anterior 

PDFs com todos os quadros:
http://angg.twu.net/2018.1-LA/2018.1-LA.pdf (este semestre)
http://angg.twu.net/2017.2-LA/2017.2-LA.pdf (semestre anterior)
Material para exercícios:
http://angg.twu.net/LATEX/2018-1-LA-material.pdf (este semestre)
http://angg.twu.net/LATEX/2018-1-LA-material.pdf (semestre anterior)

Fotos dos quadros:
13/mar: não teve aula.
http://angg.twu.net/2018.1-LA/20180320_LA1.jpg
http://angg.twu.net/2018.1-LA/20180320_LA2.jpg
http://angg.twu.net/2018.1-LA/20180320_LA3.jpg
http://angg.twu.net/2018.1-LA/20180327_LA1.jpg
http://angg.twu.net/2018.1-LA/20180327_LA2.jpg
http://angg.twu.net/2018.1-LA/20180327_LA3.jpg
http://angg.twu.net/2018.1-LA/20180522_LA1.jpg

Livros e artigos:
Awodey: Category Theory.
Emily Riehl: Category Theory in Context.
Barr and Wells, "Category Theory for Computing Science" (1998). Sugestão: olhe a seção 6.6, na p.215.
Paul Graham: The Roots of Lisp (PDF; original aqui).
Eduardo Ochs: Planar Heyting Algebras for Children