forked from ZiFy/unplugged
-
Notifications
You must be signed in to change notification settings - Fork 0
/
unplugged-en.tex
112 lines (80 loc) · 2.24 KB
/
unplugged-en.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
\documentclass[b5paper,twoside]{book}
\usepackage[nomarginpar
%, margin=.5in
, top=1.5cm, bottom=1.5cm, left=2cm, right=2cm
]{geometry}
% ==================== Book flag==========================
\global\let\wholebook=\relax %without relax, we build article, esle book
\usepackage[en]{prelude}
\usepackage[firstpage=true]{background}
\setcounter{page}{1}
\graphicspath{
{img/}
{nat/}
{recursion/}
{algebra/}
{category-theory/}
{deduction/}
{infinity/}
{paradox/}
}
\makeindex
\begin{document}
% set PDF properties
\hypersetup{pdftitle={unplugged},%
pdfauthor={liuxinyu95@gmail.com},%
pdfsubject={Math},%
pdfkeywords={Math, CS}}
% ================================================================
% COVER PAGE
% ================================================================
% https://en.wikipedia.org/wiki/File:FWF_Samuel_Monnier_d%C3%A9tail.jpg
\backgroundsetup{
scale=2,
opacity=0.4,
angle=0,
position={0,0},
contents={
\includegraphics[width=\paperwidth,height=\paperheight]{img/cover-bg.jpg}}
}
\title{
{\bf \Huge Isomorphism \newline}
\vspace{5mm}
{\bf -- Mathematics of Programming \newline \newline \newline}
\centering
\scalebox{0.3}{\includegraphics{nat/img/the-school-of-athens.jpg}}
}
\author{Xinyu LIU
\thanks{ liuxinyu95@gmail.com, Version: 0.6180339887498949}
}
\maketitle
\frontmatter
\subimport{appendix/preface/}{preface-en.tex}
% ================================================================
% Content
% ================================================================
%\newpage
\tableofcontents
\newpage
\mainmatter
\subimport{nat/}{nat-en.tex}
\subimport{recursion/}{recursion-en.tex}
\subimport{algebra/}{algebra-en.tex}
\subimport{category-theory/}{category-en.tex}
\subimport{deduction/}{deduction-en.tex}
\subimport{infinity/}{infinity-en.tex}
\subimport{paradox/}{paradox-en.tex}
\part*{Appendix}
\appendix
%\appendixpage
\noappendicestocpagenum
\addappheadtotoc
\backmatter
\subimport{appendix/answer/}{ans-en.tex}
\subimport{appendix/nat/}{nat-en.tex}
\subimport{appendix/category/}{category-en.tex}
%\part{Reference}
\subimport{appendix/reference/}{reference-en.tex}
\printindex
\input{fdl-1.3.tex}
\end{document}