Search Results
Results for: 'in'
Introduction to proofs PHIL 013AB
A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.
proofs with modus tollens and wedge out PHIL013AB
A video explaining two proof rules, modus tollens and wedge out, which can be used in proofs for PHIL013.
CS125 - Regular Expression to NFA
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 - DFA to GNFA to Regular Expression
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.
Making Common Sense of Scholarly Journal Articles
Overview lecture on scholarly knowledge production