Search Results

Results for: 'video log2'

8:05

Introduction to proofs PHIL 013AB

By: mcweiner

A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.

7:25

proofs with modus tollens and wedge out PHIL013AB

By: mcweiner

A video explaining two proof rules, modus tollens and wedge out, which can be used in proofs for PHIL013.

6:28

CS125 - Regular Expression to NFA

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.

6:53

CS125 - DFA to GNFA to Regular Expression

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.

9:54

CS125 - Introduction to Regular Expressions

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.

4:33

CS021 - Menu Driven Programs

By: rdasari

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