Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions lectures/0-notation.tex
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ \subsection*{Set Theory}
\item $\mathbb{N} = \{1, 2, 3, \dots\}$ -- a set of natural numbers.
\item $\mathbb{Z} = \{0, \pm 1, \pm 2, \pm 3, \dots\}$ -- a set of integers.
\item $\mathbb{Q} = \{\frac{n}{m}: n \in \mathbb{Z}, m \in \mathbb{N}\}$ -- a set of rational numbers.
\item $\mathbb{R}$ -- a set of real numbers. Examples: $2.2, -3.9 0.12, 1.4, -6.7, \dots$
\item $\mathbb{R}$ -- a set of real numbers. Examples: $2.2, -3.9, 0.12, 1.4, -6.7, \dots$
\item $\mathbb{R}_{>0}$ -- a set of positive real numbers. Examples: $2.6, 10.4, 100.2$.
\item $\mathbb{C}$ -- a set of complex numbers\footnote{Complex number is an expression in a form $x+iy$ for $i^2=-1$}.
Examples: $1+2i, 5i, -7-5.7i, \dots$.
Expand Down Expand Up @@ -166,7 +166,7 @@ \subsection*{Algorithms and Probabilities}
themselves, so we can easily write $y \gets \mathcal{P}(x)$ to denote that
the prover, based on $x$, has outputted $y$.

To denote the probability of an event $E$ hapenning, we write $\Pr[E]$. For
To denote the probability of an event $E$ happening, we write $\Pr[E]$. For
example, if $E$ is an event of rolling a dice and getting a number $4$, then
$\Pr[E] = \frac{1}{6}$. To denote the random sampling from the finite set $X$,
we write $x \leftarrowS X$. For example, $x \leftarrowS \{1,2,3,4,5,6\}$
Expand Down
6 changes: 3 additions & 3 deletions lectures/1-1-number-theory.tex
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ \subsection{Division, GCD, LCM}
as in the \Cref{th:division}. Then,
\begin{itemize}
\item \textbf{Floor Operation} ($\lfloor a/b \rfloor$ or $a \; \text{div} \; b$) is defined
as $q$. This operation is a standard \text{div} opeartion commonly used in programming languages.
as $q$. This operation is a standard \text{div} operation commonly used in programming languages.
\item \textbf{Mod Operation} ($a \; \text{mod} \; b$) is defined as $r$. This operation is a standard
\text{mod} operation commonly used in programming languages.
\end{itemize}
Expand Down Expand Up @@ -120,7 +120,7 @@ \subsection{Division, GCD, LCM}
\item $d$ is a maximal integer that satisfies the first condition.
\end{enumerate}

One might right the above definition more concisely:
One might write the above definition more concisely:
\begin{xequation}
\gcd(a,b) = \max\{d \in \mathbb{N}: d \mid a \; \text{and} \; d \mid b\}.
\end{xequation}
Expand Down Expand Up @@ -183,7 +183,7 @@ \subsection{Division, GCD, LCM}

\end{lstlisting}

However, such an appraoch in the worst-case scenario still requires linear time
However, such an approach in the worst-case scenario still requires linear time
in the size of the numbers: for example, when computing $\gcd(n, 1)$. The following lemma will be extensively employed in
the so-called \textit{Euclidean algorithm}, which will reduce the complexity down
to logarithmic time.
Expand Down