Quick
index
main
eev
maths
blogme
dednat4
littlelangs
PURO
(GAC2,
λ, etc)
(Chapa 1)

emacs
lua
(la)tex
fvwm
tcl
forth
icon
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
  Não teve aula em 29/mar (greve dos caminhoneiros).
http://angg.twu.net/2018.1-LA/20180605_LA1.jpg
http://angg.twu.net/2018.1-LA/20180605_LA2.jpg
http://angg.twu.net/2018.1-LA/20180612_LA1.jpg
http://angg.twu.net/2018.1-LA/20180612_LA2.jpg
  19/junho: vou estar fora num congresso.
  26/junho: vou estar fora num congresso.

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