Search Results
Results for: 'Logic Project 3'

Example screencast for Major Project 1
This is meant as an example of the sectons, content, pacing, detail level etc. for your presentations (screencasts) for Major Project 1. (The topic has nothing to do with your Sensory Toy assignment.) I recognize that the coordinators may not be ...

MMP–EE001 Lab Final Project Video
My EE001 final project. Code can be found here for those interested: https://gist.github.com/Macman1234/4c83eba6bde43545b9b8984fbde94587

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