From: Christoph Fuerst Date: Sun, 14 Jan 2018 10:14:21 +0000 (+0100) Subject: Added section on RISCAL, formulated algorithms and Theorems X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=95c47af755233e94c4b58526a6f99c1d477afdd8;p=cfuerst%2Fformal-numbers.git Added section on RISCAL, formulated algorithms and Theorems --- diff --git a/report/RISCAL.png b/report/RISCAL.png new file mode 100644 index 0000000..4ec52f6 Binary files /dev/null and b/report/RISCAL.png differ diff --git a/report/unicodechars.tex b/report/unicodechars.tex new file mode 100644 index 0000000..d87afaf --- /dev/null +++ b/report/unicodechars.tex @@ -0,0 +1,45 @@ +\newunicodechar{→}{\ensuremath{\rightarrow}} +\newunicodechar{≔}{\ensuremath{:=}} +\newunicodechar{×}{\ensuremath{\times}} +\newunicodechar{⊆}{\ensuremath{\subseteq}} +\newunicodechar{⇔}{\ensuremath{\Leftrightarrow}} +\newunicodechar{¬}{\ensuremath{\neg}} +\newunicodechar{∧}{\ensuremath{\wedge}} +\newunicodechar{∨}{\ensuremath{\vee}} +\newunicodechar{⇒}{\ensuremath{\Rightarrow}} +\newunicodechar{≤}{\ensuremath{\leq}} +\newunicodechar{≥}{\ensuremath{\geq}} +\newunicodechar{∞}{\ensuremath{\infty}} +\newunicodechar{∈}{\ensuremath{\in}} +\newunicodechar{∪}{\ensuremath{\cup}} +\newunicodechar{∩}{\ensuremath{\cap}} +\newunicodechar{⋃}{\ensuremath{\bigcup}} +\newunicodechar{⋂}{\ensuremath{\bigcap}} +\newunicodechar{∅}{\ensuremath{\emptyset}} +\newunicodechar{≠}{\ensuremath{\neq}} +\newunicodechar{∉}{\ensuremath{\not\in}} +\newunicodechar{∊}{\ensuremath{\in}} +\newunicodechar{⊢}{\ensuremath{\vdash}} +\newunicodechar{ε}{\ensuremath{\epsilon}} +\newunicodechar{⌚}{\ensuremath{\clock}} +\newunicodechar{⦇}{\ensuremath{\llparenthesis}} +\newunicodechar{⦈}{\ensuremath{\rrparenthesis}} +\newunicodechar{∼}{\~{}} +\newunicodechar{ℕ}{\ensuremath{\mathbb{N}}} +\newunicodechar{ℤ}{\ensuremath{\mathbb{Z}}} +\newunicodechar{ℙ}{\ensuremath{\mathbb{P}}} +\newunicodechar{⊤}{\ensuremath{\top}} +\newunicodechar{⊥}{\ensuremath{\bot}} +\newunicodechar{⋅}{\ensuremath{\cdot}} +\newunicodechar{〈}{\ensuremath{\langle}} +\newunicodechar{⟨}{\ensuremath{\langle}} +\newunicodechar{〈}{\ensuremath{\langle}} +\newunicodechar{〉}{\ensuremath{\rangle}} +\newunicodechar{⟩}{\ensuremath{\rangle}} +\newunicodechar{〉}{\ensuremath{\rangle}} +\newunicodechar{∑}{\ensuremath{\sum}} +\newunicodechar{Σ}{\ensuremath{\Sigma}} +\newunicodechar{∏}{\ensuremath{\prod}} +\newunicodechar{Π}{\ensuremath{\Pi}} +\newunicodechar{∀}{\ensuremath{\forall}} +\newunicodechar{∃}{\ensuremath{\exists}}