This page will be continuously updated during the course!
Andrés Sicard
Ramírez
<asr(at)eafit(dot)edu(dot)co>
Office
hours
18:00–19:00
| Lecture | Date | Classroom |
|---|---|---|
| 1st | July 26 | 38-405 |
| 2nd | August 2 | 38-501 |
| 3er | August 9 | 38-405 |
| 4th | August 16 | 38-501 |
| 5th | August 24 | 38-405 |
| 6th | August 30 | 38-501 |
| 7th | September 6 | 38-405 |
| 8th | September 13 | 38-405 |
| 9th | October 11 | 38-405 |
| 10th | October 25 | 38-501 |
| 11th | November 1 | 38-405 |
| 12th | November 15 | 38-405 |
| Subject | Slides |
|---|---|
| Course Introduction | [ pdf ] |
| Set Theory Preliminaries | [ pdf ] |
| Ordinal Numbers | [ pdf ] |
| Countable and Uncountable Ordinals | [ pdf ] |
| Lambda Calculus | [ pdf ] |
| Numeral Systems in the Lambda Calculus | [ pdf ] |
| Definable Ordinals in the Lambda Calculus | [ pdf ] |
| Ordinal Notations | [ pdf ] |
| Typed Lambda Calculus | [ pdf ] |
| Definable Ordinals in the Simply Typed Lambda Calculus | [ pdf ] |
| Defining Ordinals in Martin-Löf Type Theory | [ pdf ] |