Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc71y:2014-2 [2014/10/29 17:13] – etanter | teaching:cc71y:2014-2 [2014/11/05 15:44] – etanter | ||
---|---|---|---|
Line 35: | Line 35: | ||
| | | | ||
| M 29 Oct |Tipos graduales |{{teaching: | | M 29 Oct |Tipos graduales |{{teaching: | ||
- | | L 3 Nov |||| | + | | L 3 Nov |Lógica proposicional y deducción natural|{{teaching: |
- | | M 5 Nov |||| | + | | |Curry-Howard: |
- | | L 10 Nov | + | | M 5 Nov |Lambda-cube||| |
- | | M 12 Nov |||| | + | | |Intro a Coq||{{teaching: |
+ | | 10/12 Nov |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http:// | ||
| L 17 Nov |||| | | L 17 Nov |||| | ||
| M 19 Nov |||| | | M 19 Nov |||| |