Maths
Logic Opreations
Connectives
Relevent Modules: COMP101
| Operation | Symbol | LaTeX | Meaning |
|---|---|---|---|
| NOT | True iff argument is false | ||
| AND | ∧ | True iff both arguments are true | |
| OR | ∨ | True iff either (or both) arguments are true | |
| NAND | Same as NOT (AND) | ||
| NOR | Same at NOT (OR) | ||
| XOR | True iff either argument is true, but not both |
Set Theory
Relevent Modules: COMP170
| Operation | Symbol | LaTeX | Meaning |
|---|---|---|---|
| union | ∪ | The elements in either (or both) sets | |
| intersection | ∩ | The elements only present in both sets | |
| difference | The elments present in one set but not the other | ||
| element of | ∈ | Does this set contain this element? |
Vectors
A vector is a group of components, each of which is a scalar (number). 2D and 3D maths make use of these to represent positions, velocities and related concepts.
Each component of a vector represents a ‘distance’ along some axis, for example in the 2D case, the vector $(1 2)$ means:
- 1 unit along the first component (x)
- 2 units along the second component (y)
The physical quanity is not important (ie, it does not matter if ‘unit’ means meters, kilometers, pixels, inches, lengths of Joe Daweses), but they should be the same.
Last updated 2025-10-15, generated from 6a8ebfb