Propositional and Predicate Logic

A Proposition is a declarative sentence, which may be shown to be either true, or false, whether the statement is true or false is not – however – relevant. Both “1+2-=3” and “1+2=4” are example of propositions. Predicate logic allows us to explore the truthfulness of a statement, it has an expressive power which propositional […]

Read More

Using RAID

Some notes from aaaaages ago, not necessarily part of our syllabus. RAID stands for (Redundant Array of Independent Disks) (or originally, Inexpensive disks, unfortunately that’s not the case any more!). Lets break that down into what it really means: “Array”, so we’re talking more than one disk drive here. “Independent”, these are separate disks that […]

Read More