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
119/Sep/14 Download IntroductionVideo/Slides/Audio fine.
226/Sep/14 Download CNF DNF and quantifiersVideo/Slides/Audio fine.
302/Oct/14 Download Finite SituationsVideo/Slides/Audio fine.
403/Oct/14 Download Switches and CircuitsVideo/Slides/Audio fine.
509/Oct/14 Download SatisfiabilityVideo/Slides/Audio fine.
610/Oct/14 Download Satisfiability, part 2Video/Slides/Audio fine.
716/Oct/14 Download Seach and Satisficationonly slides fine.
817/Oct/14 Download Clausal formVideo/Slides/Audio fine.
920/Oct/14 Download DPLL and Watched LiteralsVideo/Slides/Audio fine.
1023/Oct/14 Download Recaponly slides fine
1128/Oct/14 Download InferencesVideo/Audio/Slides fine.
1230/Oct/14 Download AutomataVideo/Audio/Slides fine.
1331/Oct/14 Download Automata 2Video/Audio/Slides fine.
1406/Nov/14 Download DeterminismVideo/Audio/Slides fine.
1507/Nov/14 Download NFA and regexVideo/Audio/Slides fine.
1613/Nov/14 Download Transducer FSMs in System DesignVideo/Audio/Slides fine.
1714/Nov/14 Download Regular expressionVideo/Audio/Slides fine.
1824/Nov/14 Download SATisfaction revisionVideo/Audio/Slides fine.
1925/Nov/14 Download Models and satisfactionVideo/Audio/Slides fine.
1927/Nov/14 Download RevisionVideo/Audio/Slides fine.

Valid HTML 4.0!