Search Results

Results for: 'Technologies and Processes Group A'

8:05

Introduction to proofs PHIL 013AB

By: mcweiner

A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.

15:37

HDFS 161 Episode 9 Interlude

By: lshelton

Professor Shelton reviews the topics covered so far, current activities for studnets, and previews coming topics.

6:13

proofs vI double negation double arrow PHIL013AB

By: mcweiner

A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the capti...

10:25

Desired Characteristics of Barley for Malster and Brewer

By: tpritcha

This video touches on what a maltster would look for in the raw barley they were buying from the farmer as well as what the brewer is looking for in the malts they receive from the Malster

10:35

Germination and Introduction to Kilning

By: tpritcha

This video looks at what is happening during germination with an emphasis on changes in the kernels enzyme activity. The video ends with an introduction to what the function is of the kilning step

7:56

negation proof rules PHIL013AB

By: mcweiner

A video on rules for proofs with complex negations, like ~(P & Q), ~(P v Q), and ~(P -> Q).