UVM Streaming

Search Results

Results for: 'Apple Logic Pro'

Tree Literacy Module

My submission for Logic Project 3, using Popeye Gopher Spinach

A video on relational translations that involve more than one quantifier.

collapsing the INBOX seems to always result in one account remaining offline. When expanded, taking all accounts offline and online works.

files about assignment.

darius shaoul mu060 logic project

This is the 2nd affirmative speech.

A video about doing proofs, introducing how to do direct derivations, and the &I and &O rules.

A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.