Search Results
Results for: 'DE'
universal derivation PHIL013AB
A video on the Universal Derivation rule for predicate proofs, a rule for doing proofs where the SHOW line begins with Ax.
Tips for the Community Education Assignment
Professor Shelton describes the Community Education assignment and provides some hints for tackling it.
CTL Faculty Associates: Encouraging Academic Integrity in Remote Assessments
CTL Faculty Associates: Encouraging Academic Integrity in Remote Assessments
CTL Faculty Associates Share Ideas for Encouraging Academic Integrity in Remote Assessments
CTL Faculty Associates Share Ideas for Encouraging Academic Integrity in Remote Assessments
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
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.
negated quantifier proofs PHIL013AB
A video on how to do proofs with negated quantifiers. Introduces two new rules, ~AO and ~EO, and discusses how to do proofs where you need to SHOW negated quantifiers (you have to do ID).
