aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.aux
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 18:04:41 +0200
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 18:04:41 +0200
commit4ca009f025a29351bcf1160cd68d513f04687713 (patch)
tree316df069fd10e32d61403c055b024404dd3f74cf /slides/preplogic-slides.aux
downloadpreplogic-4ca009f025a29351bcf1160cd68d513f04687713.tar.gz
preplogic-4ca009f025a29351bcf1160cd68d513f04687713.zip
First commit
Diffstat (limited to 'slides/preplogic-slides.aux')
-rw-r--r--slides/preplogic-slides.aux114
1 files changed, 114 insertions, 0 deletions
diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux
new file mode 100644
index 0000000..415906b
--- /dev/null
+++ b/slides/preplogic-slides.aux
@@ -0,0 +1,114 @@
1\relax
2\providecommand\hyper@newdestlabel[2]{}
3\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
4\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
5\global\let\oldcontentsline\contentsline
6\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
7\global\let\oldnewlabel\newlabel
8\gdef\newlabel#1#2{\newlabelxx{#1}#2}
9\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
10\AtEndDocument{\ifx\hyper@anchor\@undefined
11\let\contentsline\oldcontentsline
12\let\newlabel\oldnewlabel
13\fi}
14\fi}
15\global\let\hyper@last\relax
16\gdef\HyperFirstAtBeginDocument#1{#1}
17\providecommand\HyField@AuxAddToFields[1]{}
18\providecommand\HyField@AuxAddToCoFields[2]{}
19\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
20\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
21\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
22\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
23\@writefile{toc}{\beamer@sectionintoc {1}{Statements}{3}{0}{1}}
24\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}}
25\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}}
26\@writefile{nav}{\headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}}}
27\@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{3/9}{}{0}}}
28\@writefile{nav}{\headcommand {\beamer@framepages {3}{9}}}
29\@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{10/10}{}{0}}}
30\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}}
31\@writefile{toc}{\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}}
32\@writefile{nav}{\headcommand {\beamer@sectionpages {3}{10}}}
33\@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{10}}}
34\@writefile{nav}{\headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}}}
35\@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{11/11}{}{0}}}
36\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
37\@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{12/13}{}{0}}}
38\@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}}
39\@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{14/15}{}{0}}}
40\@writefile{nav}{\headcommand {\beamer@framepages {14}{15}}}
41\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{16/17}{}{0}}}
42\@writefile{nav}{\headcommand {\beamer@framepages {16}{17}}}
43\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{18/20}{}{0}}}
44\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}}
45\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}}
46\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
47\@writefile{toc}{\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}}
48\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{21}}}
49\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}}}
50\@writefile{nav}{\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}}}
51\@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}}
52\@writefile{toc}{\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}}
53\@writefile{nav}{\headcommand {\beamer@subsectionpages {22}{24}}}
54\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}}}
55\@writefile{nav}{\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}}}
56\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}}
57\@writefile{nav}{\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}}
58\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
59\@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}}
60\@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}}
61\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{27}}}
62\@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}}
63\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}}
64\@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}}
65\@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{31/33}{}{0}}}
66\@writefile{nav}{\headcommand {\beamer@framepages {31}{33}}}
67\@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{34/34}{}{0}}}
68\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
69\@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{35/37}{}{0}}}
70\@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}}
71\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}}
72\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
73\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}}
74\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{38}}}
75\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{38}}}
76\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}}
77\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}}
78\@writefile{nav}{\headcommand {\beamer@framepages {39}{40}}}
79\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}}
80\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}}
81\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}}
82\@writefile{nav}{\headcommand {\beamer@framepages {42}{44}}}
83\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}}
84\@writefile{nav}{\headcommand {\beamer@framepages {45}{45}}}
85\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}}
86\@writefile{nav}{\headcommand {\beamer@sectionpages {39}{45}}}
87\@writefile{nav}{\headcommand {\beamer@subsectionpages {39}{45}}}
88\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}}
89\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}}
90\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}}
91\@writefile{toc}{\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}}
92\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{49}}}
93\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}}
94\@writefile{nav}{\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}}
95\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}}
96\@writefile{toc}{\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}}
97\@writefile{nav}{\headcommand {\beamer@subsectionpages {50}{54}}}
98\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}}
99\@writefile{nav}{\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}}
100\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}}
101\@writefile{nav}{\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}}
102\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}}
103\@writefile{toc}{\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}}
104\@writefile{nav}{\headcommand {\beamer@subsectionpages {55}{63}}}
105\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}}
106\@writefile{nav}{\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}}
107\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}}
108\@writefile{nav}{\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}}}
109\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}}
110\@writefile{nav}{\headcommand {\beamer@partpages {1}{70}}}
111\@writefile{nav}{\headcommand {\beamer@subsectionpages {64}{70}}}
112\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{70}}}
113\@writefile{nav}{\headcommand {\beamer@documentpages {70}}}
114\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {28}}}

Generated with cgit - Back to sebastiano.tronto.net