From a35662637be366f63c72ca2689355e4efc515021 Mon Sep 17 00:00:00 2001 From: bluepython508 Date: Fri, 2 Feb 2024 11:07:11 +0000 Subject: [PATCH] . --- CS1527/notes-2024-01-23.md | 1 + CS1527/notes-2024-01-26.md | 3 ++ CS1527/notes-2024-01-30.md | 1 + CS1534/notes-2024-01-23.md | 1 + CS1534/notes-2024-01-30.md | 1 + MA1006/decls.tex | 2 +- MA1511/admin.md | 6 ++++ MA1511/decls.tex | 59 ++++++++++++++++++++++++++++++++++++++ MA1511/logic.tex | 19 ++++++++++++ MA1511/sets.tex | 17 +++++++++++ MA1511/tmpl.tex | 6 ++++ 11 files changed, 115 insertions(+), 1 deletion(-) create mode 100644 CS1527/notes-2024-01-23.md create mode 100644 CS1527/notes-2024-01-26.md create mode 100644 CS1527/notes-2024-01-30.md create mode 100644 CS1534/notes-2024-01-23.md create mode 100644 CS1534/notes-2024-01-30.md create mode 100644 MA1511/admin.md create mode 100644 MA1511/decls.tex create mode 100644 MA1511/logic.tex create mode 100644 MA1511/sets.tex create mode 100644 MA1511/tmpl.tex diff --git a/CS1527/notes-2024-01-23.md b/CS1527/notes-2024-01-23.md new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/CS1527/notes-2024-01-23.md @@ -0,0 +1 @@ + diff --git a/CS1527/notes-2024-01-26.md b/CS1527/notes-2024-01-26.md new file mode 100644 index 0000000..acffbf3 --- /dev/null +++ b/CS1527/notes-2024-01-26.md @@ -0,0 +1,3 @@ +b. Biometrics, Name, National ID of some form +d. Phone number / extension +g. Assign an ID diff --git a/CS1527/notes-2024-01-30.md b/CS1527/notes-2024-01-30.md new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/CS1527/notes-2024-01-30.md @@ -0,0 +1 @@ + diff --git a/CS1534/notes-2024-01-23.md b/CS1534/notes-2024-01-23.md new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/CS1534/notes-2024-01-23.md @@ -0,0 +1 @@ + diff --git a/CS1534/notes-2024-01-30.md b/CS1534/notes-2024-01-30.md new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/CS1534/notes-2024-01-30.md @@ -0,0 +1 @@ + diff --git a/MA1006/decls.tex b/MA1006/decls.tex index 9a2f722..e738aea 100644 --- a/MA1006/decls.tex +++ b/MA1006/decls.tex @@ -56,4 +56,4 @@ }% }% } -\makeatother \ No newline at end of file +\makeatother diff --git a/MA1511/admin.md b/MA1511/admin.md new file mode 100644 index 0000000..9783cbf --- /dev/null +++ b/MA1511/admin.md @@ -0,0 +1,6 @@ +Course Coordinator Office: Fraser Noble 159 +Homework every 2 weeks + - 1 sheet of A4, optionally two-sided, to be put in a document feeder + - Student ID in top right of front, no name + - Submitted in box by Meston Lecture Theatre 1, labelled with course + diff --git a/MA1511/decls.tex b/MA1511/decls.tex new file mode 100644 index 0000000..e738aea --- /dev/null +++ b/MA1511/decls.tex @@ -0,0 +1,59 @@ +\documentclass[fleqn]{article} +\usepackage{amsmath,amssymb} +\usepackage[margin=0.25in]{geometry} +\usepackage{enumitem} +\usepackage{systeme} +\usepackage{mathtools} + +\date{} +\author{} + +\newcommand{\paren}[1]{\left(#1\right)} +\renewcommand{\Re}[1]{\operatorname{\mathbb{R}e}\paren{#1}} +\renewcommand{\Im}[1]{\operatorname{\mathbb{{I}}m}\paren{#1}} +\newcommand{\C}{\mathbb{C}} +\newcommand{\N}{\mathbb{N}} +\newcommand{\Z}{\mathbb{Z}} +\newcommand{\Q}{\mathbb{Q}} +\newcommand{\R}{\mathbb{R}} +\newcommand{\conj}[1]{\overline{#1}} +\renewcommand{\mod}[1]{\left|#1\right|} +\newcommand{\abs}[1]{\left|#1\right|} +\newcommand{\polar}[2]{#1\paren{\cos{\paren{#2}} + i\sin{\paren{#2}}}} +\newcommand{\adj}[1]{\operatorname{adj}#1} + +\makeatletter +\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{% + \hskip -\arraycolsep + \let\@ifnextchar\new@ifnextchar + \array{#1}} +\makeatother + + +% https://gitlab.com/jim.hefferon/linear-algebra/-/blob/master/src/sty/linalgjh.sty +\newlength{\grsteplength} +\setlength{\grsteplength}{1.5ex plus .1ex minus .1ex} + +\newcommand{\grstep}[2][\relax]{% + \ensuremath{\mathrel{ + \hspace{\grsteplength}\mathop{\longrightarrow}\limits^{#2\mathstrut}_{ + \begin{subarray}{l} #1 \end{subarray}}\hspace{\grsteplength}}}} +\newcommand{\repeatedgrstep}[2][\relax]{\hspace{-\grsteplength}\grstep[#1]{#2}} + +\newcommand{\swap}{\leftrightarrow} + +% https://tex.stackexchange.com/a/198806 +\makeatletter +\newcommand{\subalign}[1]{% + \vcenter{% + \Let@ \restore@math@cr \default@tag + \baselineskip\fontdimen10 \scriptfont\tw@ + \advance\baselineskip\fontdimen12 \scriptfont\tw@ + \lineskip\thr@@\fontdimen8 \scriptfont\thr@@ + \lineskiplimit\lineskip + \ialign{\hfil$\m@th\scriptstyle##$&$\m@th\scriptstyle{}##$\hfil\crcr + #1\crcr + }% + }% +} +\makeatother diff --git a/MA1511/logic.tex b/MA1511/logic.tex new file mode 100644 index 0000000..e101be8 --- /dev/null +++ b/MA1511/logic.tex @@ -0,0 +1,19 @@ +\input{decls.tex} +\title{Essential Logic} +\begin{document} +\maketitle +\begin{description} +\item[Statement] Something which is either \emph{true} or \emph{false} \\ +Often dependent on variables from some universe; labelled $P$, $Q$, ... +\end{description} +\section*{Logical Connectives} +\begin{description} +\item[$\neg P$] NOT +\item[$P \land Q$] Conjunction / AND +\item[$P \lor Q$] Disjunction / OR +\item[$P \implies Q$] Implication / IF +\item[$P \iff Q$] IFF +\item[Contrapositive of $P \implies Q$:] $\neg Q \implies \neg P$ \\ + $\neg Q \implies \neg P \equiv P \implies Q \quad\forall P, Q$ +\end{description} +\end{document} diff --git a/MA1511/sets.tex b/MA1511/sets.tex new file mode 100644 index 0000000..95f5fc4 --- /dev/null +++ b/MA1511/sets.tex @@ -0,0 +1,17 @@ +\input{decls.tex} +\title{Sets} +\begin{document} +\maketitle +Set comprehensions can be written $\{ x | x \in \N \}$ or $\{ x : x \in \N \}$ - '$:$' or '$|$' +\begin{description} + \item[Axiom of Extensionality / Set Equality] $A = B \iff \forall x. (x \in A \iff x \in B)$ + \item[$A \subseteq B$] \quad $\forall x \in A. x \in B$ \\ + Is transitive, reflexive, antisymmetric + \item[$A \subset B$] \quad $(\forall x \in A.~x \in B) \land (\exists x \in B.~x \not\in A)$ \\ + Is transitive, antisymmetric + \item[$\varnothing$] $\{\}$ + \item[$\cup$] Union + \item[$\cap$] Intersection + \item[$A \setminus B$] \quad $\{ x \in A : x \not\in B \}$ +\end{description} +\end{document} diff --git a/MA1511/tmpl.tex b/MA1511/tmpl.tex new file mode 100644 index 0000000..4275eb2 --- /dev/null +++ b/MA1511/tmpl.tex @@ -0,0 +1,6 @@ +\input{decls.tex} +\title{} +\begin{document} +\maketitle + +\end{document} \ No newline at end of file