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

emacs
lua
(la)tex
fvwm
tcl
forth
icon
debian
irc
contact

Lambda-cálculo 2017.2 - Eduardo Ochs

Salas, horários, etc
Página do semestre anterior
Ementa, programa e bibliografia

Material para exercícios:
 http://angg.twu.net/LATEX/2017-2-LA-material.pdf
Um artigo (relativamente) simples que nós vamos usar bastante:
 http://angg.twu.net/LATEX/2017planar-has.pdf
 http://angg.twu.net/LATEX/2017planar-has-1.pdf

PDFs com todos os quadros:
http://angg.twu.net/2017.2-LA/2017.2-LA.pdf (este semestre)
http://angg.twu.net/2017.1-LA/2017.1-LA.pdf (semestre anterior)

Fotos dos quadros:
http://angg.twu.net/2017.2-LA/20170822_LA1.jpg
http://angg.twu.net/2017.2-LA/20170822_LA2.jpg
http://angg.twu.net/2017.2-LA/20170822_LA3.jpg
http://angg.twu.net/2017.2-LA/20170822_LA4.jpg
http://angg.twu.net/2017.2-LA/20170829_LA1.jpg
http://angg.twu.net/2017.2-LA/20170829_LA2.jpg
http://angg.twu.net/2017.2-LA/20170905_LA1.jpg
http://angg.twu.net/2017.2-LA/20170905_LA2.jpg
http://angg.twu.net/2017.2-LA/20170905_LA3.jpg
http://angg.twu.net/2017.2-LA/20170912_LA1.jpg
http://angg.twu.net/2017.2-LA/20170912_LA2.jpg
http://angg.twu.net/2017.2-LA/20170912_LA3.jpg