Search Results

Results for: 'Logic Pro X'

39:22

MU 060 Logic MIIDI sequencing (2 of 2)

By: dfeurzei

Instructions for MIDI sequencing project

3:45

PHIL 013A/B: What is Logic?

By: mcweiner

A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.

48:44

MU 060 MIDI lecture

By: dfeurzei

Introduction to MIDI protocol

18:05

MU 060 Scoring a rhythmic video, pt. 3

By: dfeurzei

Synchronizing the tempo ruler to a video

4:10

predicates and constants PHIL013AB

By: mcweiner

A short video on predicate logic, introducing constants and predicate letters.

9:02

introduction to relational translations PHIL013

By: mcweiner

An introduction to relational logic, with an explanation of relations and how to translate relational sentences with no quantifiers or one quantifier.

7:29

DD, and-I, and and-O proofs

By: mcweiner

A video about three proof rules, now updated with a new file name.

7:49

PHIL 013A/B: Validity

By: mcweiner

An eight-minute screencast on the concept of validity and other basic concepts in logic.