Inf1FP Lecture Video Capture

Course Website

To copy a given lecture, click on the 'Download' link below to save on your machine. Note that these files are on the order of 300-400Mb. For streaming play, click on the desired date in the table at the right of the player below. The FS button goes to fullscreen (Esc restores the windows). You can navigate inside the movie by dragging the play marker. Adjust the volume by clicking on the bar position to the left of FS.

Click the FS button on the video player control bar for full screen

LectureDateDownload URLTopicComment
123/Sep/13 Download Introduction.Video/Audio/Slides fine.
224/Sep/13 Download Functions.Video/Audio/Slides fine.
326/Sep/13 Download Lists Comprehensions.Video/Audio/Slides fine.
430/Sep/13 Download Lists and Recursion 1.Video/Audio/Slides fine.
501/Oct/13 Download Lists and Recursion 2.Video/Audio/Slides fine.
603/Oct/13 Download More Fun with Recursion 1.Video/Audio/Slides fine.
707/Oct/13 Download More Fun with Recursion 2.Video/Audio/Slides fine.
808/Oct/13 Download Map, filter, fold.Video/Audio/Slides fine.
922/Oct/13 Download Class test; lambda, sections.Video/Audio/Slides fine.
1028/Oct/13 Download Algebraic data types 1.Video/Audio/Slides fine.
1129/Oct/13 Download Algebraic data types 2.Video/Audio/Slides fine.
1204/Nov/13 Download Abstract types 1.Video/Audio/Slides fine.
1305/Nov/13 Download Abstract types 2.Video/Audio/Slides fine.
1411/Nov/13 Download Type classes 1.Video/Audio/Slides fine.
1512/Nov/13 Download Type classes 2.Video/Audio/Slides fine.
1618/Nov/13 Download Mock exam; IO and monads 1.Video/Audio/Slides fine.
1719/Nov/13 Mock exam; IO and monads 2.Not Recorded
1825/Nov/13 Download Logic and programs 1.Video/Audio/Slides fine.
1926/Nov/13 Download Logic and programs 2.Video/Audio/Slides fine.

Valid HTML 4.0!