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

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

Lógicas, lambda-cálculo e traduções - 2016.1

A página de divulgação do curso está aqui.
Esta página é principalmente pra registrar o que aconteceu em cada aula.

Aula 1 (26/abril): ninguém veio.

Aula 2 (03/maio): veio só o Ícaro.

  Começamos com 34+5(6+7) e fizemos o diagrama de
  subexpressóes e o diagrama de reduções.

  Fizemos os diagramas de open sets (sem dar o nome) para:

     1
    2 3    1 2    1 2 3    1 2 3
     4     3 4              4 5

  O último o Ícaro vai terminar em casa.

  O Ícaro representou graficamente:
    A = {(1,4), (2,4), (1,3)}
    B = {(1,3), (1,4), (2,4)}
    C = {(1,3), (1,4), (2,4), (2,4)}
    D = {(1,3), (1,4), (2,3), (2,4)}
    h = {(0,3), (1,2), (2,1), (3,0)}
    k = {x:{0,1,2,3}; (x, 3-x)}
    m = {y:{0,1,2,3}; (3-y, y)}

  Mostrei: reduções de g(2+3) quando g(a)= aa+4,
           reduções de h(2+3) quando h = \a.aa+4.

Aula 3 (10/maio): veio só a Tay. Conversamos sobre reduções.

Aula 4 (17/maio): veio só o Caio.

  Fizemos um bocado de coisa. Tá nas fotos dos quadros.

Aula 5 (24/maio): vieram o Ícaro e o Tiago (e a Tay).

  Fizemos um bocado de coisa. Tá nas fotos dos quadros.

Aula 6 (31/maio): vieram a Ludimila e o Vítor.

  Vimos as idéias básicas: reduções, lambda, tautologias.

Aula 7 (7/junho): não veio ninguém.

Aula 8 (14/junho): veio só o Caio.

Aula 9 (21/junho): não veio ninguém.
Material LaTeXado (bem incompleto!) com exercícios:
http://angg.twu.net/LATEX/2016-1-LA-material.pdf
Um PDF com todos os quadros até agora:
http://angg.twu.net/2016.1-LA/2016.1-LA.pdf

Fotos dos quadros:
http://angg.twu.net/2016.1-LA/20160503_LA1.jpg
http://angg.twu.net/2016.1-LA/20160503_LA2.jpg
http://angg.twu.net/2016.1-LA/20160503_LA3.jpg
http://angg.twu.net/2016.1-LA/20160503_LA4.jpg
http://angg.twu.net/2016.1-LA/20160517_LA1.jpg
http://angg.twu.net/2016.1-LA/20160517_LA2.jpg
http://angg.twu.net/2016.1-LA/20160517_LA3.jpg
http://angg.twu.net/2016.1-LA/20160517_LA4.jpg
http://angg.twu.net/2016.1-LA/20160517_LA5.jpg
http://angg.twu.net/2016.1-LA/20160517_LA6.jpg
http://angg.twu.net/2016.1-LA/20160524_LA1.jpg
http://angg.twu.net/2016.1-LA/20160524_LA2.jpg
http://angg.twu.net/2016.1-LA/20160524_LA3.jpg
http://angg.twu.net/2016.1-LA/20160524_LA4.jpg
http://angg.twu.net/2016.1-LA/20160524_LA5.jpg
http://angg.twu.net/2016.1-LA/20160524_LA6.jpg
http://angg.twu.net/2016.1-LA/20160524_LA7.jpg
http://angg.twu.net/2016.1-LA/20160524_LA8.jpg
http://angg.twu.net/2016.1-LA/20160524_LA9.jpg
http://angg.twu.net/2016.1-LA/20160531_LA1.jpg
http://angg.twu.net/2016.1-LA/20160531_LA2.jpg
   7/jun/2016: ninguém veio.
http://angg.twu.net/2016.1-LA/20160614_LA1.jpg
http://angg.twu.net/2016.1-LA/20160614_LA2.jpg
  21/jun/2016: ninguém veio.