Inf1CL 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
124/Sep/15 A Traffic Light Controller.Sorry, not recorded.
225/Sep/15 Sets of states: Venn Diagrams and Truth Tables.Sorry, not recorded.
329/Sep/15 Download Boolean Algebra.Video/Audio/Slides fine.
306/Oct/15 Download Boolean Algebra CNF DNF.Video/Audio/Slides fine.
408/Oct/15 Download Entailment.Video/Audio/Slides fine.
509/Oct/15 Download Satisfiability.Video/Audio/Slides fine.
612/Oct/15 Download Resolution.Video/Audio/Slides fine.
713/Oct/15 Download Resolution 2.Video/Audio/Slides fine.
922/Oct/15 Download Search for Satisfaction.Video/Audio/Slides fine.
1029/Oct/15 Download Search for Satisfaction 2.Video/Audio/Slides fine.
1030/Oct/15 Download Automata Video/Audio/Slides fine.
1619/Nov/15 Download Inference Video/Audio/Slides fine.
1720/Nov/15 Download System Specification Video/Audio/Slides fine.
1824/Nov/15 Download SATisfaction revision Video/Audio/Slides fine.
1927/Nov/15 Download Computation: The Big Ideas Video/Audio/Slides fine.
2003/Dec/15 Download Revision Video/Audio/Slides fine.

Valid HTML 4.0!