Horário e Sala de Aula
4a 08-10h, Sala D-218
6a 10-12h, Sala D-218
Rede Social: comunidade Lambda Cálculo 2011.2 no Orkut.
Ementa: O lambda-cálculo. Estrutura de termos e substituição. Redução. Lógica Combinatória. Redução fraca. O Poder Expressivo de Lambda e dos Combinadores. O teorema do ponto-fixo. Representando as funções recursivas. O teorema da indecidibilidade. Lambda-cálculo com tipos. Isomorfismo de Curry-Howard.
?? ???
Visão geral do resultado original de Church
Termos lambda e combinadores: definições básicas
(Transparencia1)
?? ???
Lambda cálculo: conversão, redução, Church-Rosser
(Transparencia2)
28 Sep
?? ???
Lambda cálculo: conversão, redução, Church-Rosser (cont.)
01 Out
?? ???
Lambda cálculo: conversão, redução, Church-Rosser (cont.)
05 Out
?? ???
Teorema de Church-Rosser para beta-redução
(Transparencia3)
(Lista2 a ser entregue em 12 Out)
08 Out
?? ???
Lógica Combinatória: Termos, Conversão, Igualdade
(Transparencia4)
(Lista3 a ser entregue em 19 Out)
15 Out
?? ???
Lógica Combinatória: Termos, Conversão, Igualdade (Cont.)
19 Out
?? ???
O Poder do Lambda e dos Combinadores
(Transparencia5)
(Lista4 a ser entregue em 26 Out)
22 Out
?? ???
Representando as Funções Recursivas
(Transparencia6)
(Cap. 7 do livro de van Dalen)
26 Out
?? ???
Representando as Funções Recursivas (cont.)
(Lista5 a ser entregue em 05 Nov)
05 Nov
?? ???
Termos tipados
(Transparencia7)
?? ???
Atribuição de tipos em lógica combinatória
(Transparencia8)
?? ???
(no class)
?? ???
O teorema da indecidibilidade
?? ???
(no class)
?? ???
Axiomáticas lambda-beta e CLw
?? ???
Modelos conjunto-teóricos do lambda-calculus
?? ???
Modelos conjunto-teóricos do lambda-calculus (cont.)
?? ???
Domínios
?? ???
Ordens parciais completas
?? ???
A Dialectica-interpretação de Gödel
Última atualização: 11 Agosto 2011, 02:31pm GMT-3