spontaneous show proofs PHIL013AB

By: mcweiner

A video on how to do proofs where you write down SHOW statements that don't come from specific derivation rules.

CS021 - File Processing

By: rdasari

CS021 - Computer Programming I University of Vermont Supplement video for Tony Gaddis, Starting out with Python, 4th Edition

CS021 Errors and Exceptions

By: rdasari

CS021 - Computer Programming I University of Vermont Supplement video for Tony Gaddis, Starting out with Python, 4th Edition

CS125 - Context Free Languages

By: rdasari

This video is a supplement for students who are reading "Introduction To The Theory Of Computation" by Michael Sipser. I took the liberty of using the terminology from the textbook

CS125 - Formal Definition of CFG

By: rdasari

This video is a supplement for students who are reading "Introduction To The Theory Of Computation" by Michael Sipser. I took the liberty of using the terminology from the textbook

predicates and constants PHIL013AB

By: mcweiner

A short video on predicate logic, introducing constants and predicate letters.

CS021 - Introduction to Lists

By: rdasari

CS021 - Computer Programming I University of Vermont Supplement video for Tony Gaddis, Starting out with Python, 4th Edition

CS021 - Programs with Lists

By: rdasari

CS021 - Computer Programming I University of Vermont Supplement video for Tony Gaddis, Starting out with Python, 4th Edition

CS021 - Lists vs Tuples

By: rdasari

CS021 - Computer Programming I University of Vermont Supplement video for Tony Gaddis, Starting out with Python, 4th Edition