Search Results
Results for: ''

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).