-
Notifications
You must be signed in to change notification settings - Fork 6
/
main.tex
93 lines (76 loc) · 3.05 KB
/
main.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
\input{macroses/main}
\title{ Introduction to \\Discrete Mathematics}
\author{Alexander Knop}
\begin{document}
\maketitle
\frontmatter
\tableofcontents
\markboth{\nomname}{\nomname}
\printnomenclature
\part*{Preface}
\input{parts/preface}
\mainmatter
\pagenumbering{arabic}
\part{Introduction to Mathematical Reasoning}
\label{part:mathematical-reasoning}
\input{parts/part_1/chapter_1_proofs}
\input{parts/part_1/chapter_2_proofs_by_contradiction}
\input{parts/part_1/chapter_3_simple_induction}
\input{parts/part_1/chapter_4_strong_induction}
\input{parts/part_1/chapter_5_predicates_and_connectives}
\input{parts/part_1/chapter_6_sets}
\input{parts/part_1/chapter_7_functions}
\input{parts/part_1/chapter_8_relations}
\input{parts/part_1/chapter_9_structural_induction}
\part{Introduction to Combinatorial Game Theory}
\label{part:combinatorial-games}
\input{parts/part_2/chapter_10_p_n_positions}
\input{parts/part_2/chapter_11_the_game_of_nim}
\input{parts/part_2/chapter_12_graph_games}
\input{parts/part_2/chapter_13_sum_of_games}
\part{Introduction to Discrete Probability}
\label{part:probability}
\input{parts/part_3/chapter_14_sample_space}
\input{parts/part_3/chapter_15_conditional_probability}
\input{parts/part_3/chapter_16_expected_value}
\part{Introduction to Combinatorics}
\label{part:combinatorics}
\input{parts/part_4/chapter_17_bijections}
\input{parts/part_4/chapter_18_principles}
\input{parts/part_4/chapter_19_pigeonhole_principle}
\input{parts/part_4/chapter_20_binomial_coefficients}
\input{parts/part_4/chapter_21_partitions}
\input{parts/part_4/chapter_22_permutations}
\input{parts/part_4/chapter_23_generating_functions}
\part{Introduction to Set Theory}
\input{parts/part_5/chapter_24_cardinality}
\input{parts/part_5/chapter_25_countable}
\input{parts/part_5/chapter_26_uncountable}
\part{Introduction to Game Theory}
\input{parts/part_6/chapter_27_matrix_games}
\input{parts/part_6/chapter_28_nash_equilibrium}
\input{parts/part_6/chapter_29_yaos_principle}
\part{Introduction to Mathematical Logic}
\label{part:logic}
\input{parts/part_7/chapter_30_propositional_formulas}
\input{parts/part_7/chapter_31_true_statements}
\input{parts/part_7/chapter_32_natural_deduction}
\input{parts/part_7/chapter_33_predicate_formulas}
\input{parts/part_7/chapter_34_natural_deduction_predicate}
\part{Introduction to Graph Theory}
\label{part:graph-theory}
\input{parts/part_8/chapter_32_basics_of_graph_theory}
\input{parts/part_8/chapter_33_paths}
\input{parts/part_8/chapter_34_trees}
\part{Introduction to Computability Theory}
\label{part:computability}
\input{parts/part_9/chapter_35_decidable_sets}
\input{parts/part_9/chapter_36_universal_functions}
\input{parts/part_9/chapter_37_godel_numberings}
\input{parts/part_9/chapter_38_fixed_point}
\input{parts/part_9/chapter_39_m_reductions}
\input{parts/part_9/chapter_40_arithmetical_hierarchy}
\appendix
\part{Appendices}
\input{parts/appendix/formal-power-series}
\end{document}