aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.aux
diff options
context:
space:
mode:
Diffstat (limited to 'slides/preplogic-slides.aux')
-rw-r--r--slides/preplogic-slides.aux91
1 files changed, 39 insertions, 52 deletions
diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux
index 415906b..70bc721 100644
--- a/slides/preplogic-slides.aux
+++ b/slides/preplogic-slides.aux
@@ -44,21 +44,15 @@
44\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}} 44\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}}
45\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}} 45\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}}
46\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} 46\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
47\@writefile{toc}{\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}} 47\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}}
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}}} 48\@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}}
52\@writefile{toc}{\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}} 49\@writefile{nav}{\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}}
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}}} 50\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}}
57\@writefile{nav}{\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}} 51\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}}
58\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}} 52\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
59\@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}} 53\@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}}
60\@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}} 54\@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}}
61\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{27}}} 55\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{27}}}
62\@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}} 56\@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}}
63\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}} 57\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}}
64\@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}} 58\@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}}
@@ -70,45 +64,38 @@
70\@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}} 64\@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}}
71\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}} 65\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}}
72\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}} 66\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
73\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}} 67\@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}}
74\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{38}}} 68\@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}}
75\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{38}}} 69\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}}
76\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}} 70\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}}
77\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}} 71\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}}
78\@writefile{nav}{\headcommand {\beamer@framepages {39}{40}}} 72\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}}
79\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}} 73\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}}
80\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}} 74\@writefile{nav}{\headcommand {\beamer@framepages {40}{41}}}
81\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}} 75\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}}
82\@writefile{nav}{\headcommand {\beamer@framepages {42}{44}}} 76\@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}}
83\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}} 77\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}}
84\@writefile{nav}{\headcommand {\beamer@framepages {45}{45}}} 78\@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}}
85\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}} 79\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}}
86\@writefile{nav}{\headcommand {\beamer@sectionpages {39}{45}}} 80\@writefile{nav}{\headcommand {\beamer@framepages {46}{46}}}
87\@writefile{nav}{\headcommand {\beamer@subsectionpages {39}{45}}} 81\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}}
88\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}} 82\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}}
89\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}} 83\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}}
90\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}} 84\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}}
91\@writefile{toc}{\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}} 85\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}}
92\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{49}}} 86\@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}}
93\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}} 87\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}}
94\@writefile{nav}{\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}} 88\@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}}
95\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}} 89\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}}
96\@writefile{toc}{\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}} 90\@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}}
97\@writefile{nav}{\headcommand {\beamer@subsectionpages {50}{54}}} 91\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}}
98\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}} 92\@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}}
99\@writefile{nav}{\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}} 93\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}}
100\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}} 94\@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}}
101\@writefile{nav}{\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}} 95\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}}
102\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}} 96\@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}}
103\@writefile{toc}{\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}} 97\@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}}
104\@writefile{nav}{\headcommand {\beamer@subsectionpages {55}{63}}} 98\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{71}}}
105\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}} 99\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{71}}}
106\@writefile{nav}{\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}} 100\@writefile{nav}{\headcommand {\beamer@documentpages {71}}}
107\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}} 101\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}
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