Results for: 'Logic Pro X'
MU 060 Logic MIIDI sequencing (2 of 2)
Instructions for MIDI sequencing project
PHIL 013A/B: What is Logic?
A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.
MU 060 MIDI lecture
Introduction to MIDI protocol
MU 060 Scoring a rhythmic video, pt. 4
Working with Apple Loops
MU 060 Scoring a rhythmic video, pt. 3
Synchronizing the tempo ruler to a video
predicates and constants PHIL013AB
A short video on predicate logic, introducing constants and predicate letters.
introduction to relational translations PHIL013
An introduction to relational logic, with an explanation of relations and how to translate relational sentences with no quantifiers or one quantifier.
DD, and-I, and and-O proofs
A video about three proof rules, now updated with a new file name.
PHIL 013A/B: Validity
An eight-minute screencast on the concept of validity and other basic concepts in logic.