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
116/Sep/14 Download Introduction. Functions. Lists.Video/Audio/Slides fine.
222/Sep/14 Download Lists and Recursion.Video/Audio/Slides fine.
323/Sep/14 Download Map, filter, fold.Video/Audio/Slides fine.
429/Sep/14 Download CountingVideo/Audio/Slides fine.
530/Sep/14 Download Zip and SearchVideo/Audio/Slides fine.
606/Oct/14 Download Zip and Search, part 2Video/Audio/Slides fine.
707/Oct/14 Download Select, take and dropVideo/Audio/Slides fine.
813/Oct/14 Download Map, filter and foldVideo/Audio/Slides fine.
914/Oct/14 Download Algebraic typesVideo/Audio/Slides fine.
1021/Oct/14 Download Test in classVideo/Audio/Slides fine.
1124/Oct/14 Download ListsVideo/Audio/Slides fine.
1227/Oct/14 Download Expression Tree, PropositionVideo/Audio/Slides fine.
1303/Nov/14 Download Maybe, Maybe notVideo/Audio/Slides fine.
1404/Nov/14 Download Abstract typesVideo/Audio/Slides fine.
1510/Nov/14 Download Complexity revisitedVideo/Audio/Slides fine.
1617/Nov/14 Download IO and MonadsVideo/Audio/Slides fine.
1720/Nov/14 Download Proofs and programsVideo/Audio/Slides fine.
1821/Nov/14 Download Logic, proofs and programsVideo/Audio/Slides fine.

Valid HTML 4.0!