|
|
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 3·4+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)= a·a+4,
reduções de h(2+3) quando h = \a.a·a+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.
|
