Optativa: Lambda-cálculo e Lógicas, 2017.1

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
☿

Optativa: Lambda-cálculo e Lógicas, 2017.1 - Eduardo Ochs

PDFs com todos os quadros:
http://angg.twu.net/2017.1-LA/2017.1-LA.pdf (este semestre)
http://angg.twu.net/2016.2-LA/2016.2-LA.pdf (semestre anterior)
Material para exercícios:
http://angg.twu.net/LATEX/2017-1-LA-material.pdf (este semestre)
Semestre anterior:
http://angg.twu.net/LATEX/2016-2-LA-lambda.pdf
http://angg.twu.net/LATEX/2016-2-LA-cats.pdf
http://angg.twu.net/LATEX/2016-2-LA-logic.pdf
http://angg.twu.net/LATEX/2016-2-LA-zhas.pdf

Fotos dos quadros:
http://angg.twu.net/2017.1-LA/20170328_LA1.jpg
http://angg.twu.net/2017.1-LA/20170328_LA2.jpg
http://angg.twu.net/2017.1-LA/20170328_LA3.jpg
  4/abril/2017: não teve aula (provas de monitoria)
http://angg.twu.net/2017.1-LA/20170411_LA1.jpg
http://angg.twu.net/2017.1-LA/20170411_LA2.jpg
http://angg.twu.net/2017.1-LA/20170411_LA3.jpg
http://angg.twu.net/2017.1-LA/20170411_LA4.jpg
http://angg.twu.net/2017.1-LA/20170411_LA5.jpg
http://angg.twu.net/2017.1-LA/20170418_LA1.jpg
http://angg.twu.net/2017.1-LA/20170418_LA2.jpg
http://angg.twu.net/2017.1-LA/20170425_LA1.jpg
http://angg.twu.net/2017.1-LA/20170425_LA2.jpg
http://angg.twu.net/2017.1-LA/20170425_LA3.jpg
http://angg.twu.net/2017.1-LA/20170425_LA4.jpg
http://angg.twu.net/2017.1-LA/20170502_LA1.jpg
http://angg.twu.net/2017.1-LA/20170502_LA2.jpg
  Em 9 de maio não teve aula - eu estava num
  congresso: http://angg.twu.net/math-b.html#ebl-2017
http://angg.twu.net/2017.1-LA/20170606_LA1.jpg
http://angg.twu.net/2017.1-LA/20170606_LA2.jpg
http://angg.twu.net/2017.1-LA/20170606_LA3.jpg
http://angg.twu.net/2017.1-LA/20170613_LA1.jpg
http://angg.twu.net/2017.1-LA/20170613_LA2.jpg
http://angg.twu.net/2017.1-LA/20170620_LA1.jpg
http://angg.twu.net/2017.1-LA/20170620_LA2.jpg
http://angg.twu.net/2017.1-LA/20170627_LA1.jpg
http://angg.twu.net/2017.1-LA/20170627_LA2.jpg
http://angg.twu.net/2017.1-LA/20170704_LA1.jpg
http://angg.twu.net/2017.1-LA/20170704_LA2.jpg
http://angg.twu.net/2017.1-LA/20170711_LA1.jpg

Página do semestre anterior:
http://angg.twu.net/2016.2-LA.html

Artigos e livros:
http://homepages.inf.ed.ac.uk/wadler/topics/history.html#propositions-as-types
http://angg.twu.net/tmp/2016-optativa/awodey__category_theory.pdf
http://angg.twu.net/tmp/2016-optativa/maclane_cwm_springer_2nd_ed.pdf