Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc71y:2014-2 [2014/11/05 19:44] – etanterteaching:cc71y:2014-2 [2014/11/20 00:05] (current) – etanter
Line 37: Line 37:
 | L 3 Nov  |Lógica proposicional y deducción natural|{{teaching:cc71y:natded.pdf}}|| | L 3 Nov  |Lógica proposicional y deducción natural|{{teaching:cc71y:natded.pdf}}||
 |          |Curry-Howard: proposiciones como tipos|{{teaching:cc71y:pap.pdf}}|{{teaching:cc71y:wadler-pat.pdf}}| |          |Curry-Howard: proposiciones como tipos|{{teaching:cc71y:pap.pdf}}|{{teaching:cc71y:wadler-pat.pdf}}|
-| M 5 Nov  |Lambda-cube|||+| M 5 Nov  |[[http://en.wikipedia.org/wiki/Lambda_cube|Lambda-cube]]|||
 |          |Intro a Coq||{{teaching:cc71y:Vectors.v}}| |          |Intro a Coq||{{teaching:cc71y:Vectors.v}}|
-| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]]||| +| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]] //||| 
-| L 17 Nov  |||| +| L 17 Nov  |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching:cc71y:CC71-1.v}}| 
-| M 19 Nov  |||| +| M 19 Nov  |Compilador y demostración de correctitud|CPDT 2.1|{{teaching:cc71y:CC71-2.v}}| 
 +| M 3 Dec | [[teaching:cc71y:2014-2:miniconf|Mini-conferencia]] |||