aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.nav
diff options
context:
space:
mode:
Diffstat (limited to 'slides/preplogic-slides.nav')
-rw-r--r--slides/preplogic-slides.nav82
1 files changed, 37 insertions, 45 deletions
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav
index 585e54c..e7b544a 100644
--- a/slides/preplogic-slides.nav
+++ b/slides/preplogic-slides.nav
@@ -24,18 +24,14 @@
24\headcommand {\beamer@framepages {18}{20}} 24\headcommand {\beamer@framepages {18}{20}}
25\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}} 25\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}
26\headcommand {\beamer@framepages {21}{21}} 26\headcommand {\beamer@framepages {21}{21}}
27\headcommand {\beamer@subsectionpages {11}{21}} 27\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}
28\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}}
29\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}}
30\headcommand {\beamer@framepages {22}{24}} 28\headcommand {\beamer@framepages {22}{24}}
31\headcommand {\beamer@subsectionpages {22}{24}} 29\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}
32\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}}
33\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}}
34\headcommand {\beamer@framepages {25}{26}} 30\headcommand {\beamer@framepages {25}{26}}
35\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}} 31\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}
36\headcommand {\beamer@framepages {27}{27}} 32\headcommand {\beamer@framepages {27}{27}}
37\headcommand {\beamer@sectionpages {11}{27}} 33\headcommand {\beamer@sectionpages {11}{27}}
38\headcommand {\beamer@subsectionpages {25}{27}} 34\headcommand {\beamer@subsectionpages {11}{27}}
39\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}} 35\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}
40\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}} 36\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}
41\headcommand {\beamer@framepages {28}{30}} 37\headcommand {\beamer@framepages {28}{30}}
@@ -47,40 +43,36 @@
47\headcommand {\beamer@framepages {35}{37}} 43\headcommand {\beamer@framepages {35}{37}}
48\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}} 44\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}
49\headcommand {\beamer@framepages {38}{38}} 45\headcommand {\beamer@framepages {38}{38}}
50\headcommand {\beamer@sectionpages {28}{38}} 46\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}
51\headcommand {\beamer@subsectionpages {28}{38}} 47\headcommand {\beamer@framepages {39}{39}}
52\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}} 48\headcommand {\beamer@sectionpages {28}{39}}
53\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}} 49\headcommand {\beamer@subsectionpages {28}{39}}
54\headcommand {\beamer@framepages {39}{40}} 50\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}
55\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}} 51\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}
56\headcommand {\beamer@framepages {41}{41}} 52\headcommand {\beamer@framepages {40}{41}}
57\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}} 53\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}
58\headcommand {\beamer@framepages {42}{44}} 54\headcommand {\beamer@framepages {42}{42}}
59\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}} 55\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}
60\headcommand {\beamer@framepages {45}{45}} 56\headcommand {\beamer@framepages {43}{45}}
61\headcommand {\beamer@sectionpages {39}{45}} 57\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}
62\headcommand {\beamer@subsectionpages {39}{45}} 58\headcommand {\beamer@framepages {46}{46}}
63\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} 59\headcommand {\beamer@sectionpages {40}{46}}
64\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} 60\headcommand {\beamer@subsectionpages {40}{46}}
65\headcommand {\beamer@framepages {46}{49}} 61\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}
66\headcommand {\beamer@subsectionpages {46}{49}} 62\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}
67\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}} 63\headcommand {\beamer@framepages {47}{50}}
68\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}} 64\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}
69\headcommand {\beamer@framepages {50}{54}} 65\headcommand {\beamer@framepages {51}{55}}
70\headcommand {\beamer@subsectionpages {50}{54}} 66\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}
71\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}} 67\headcommand {\beamer@framepages {56}{57}}
72\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}} 68\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}
73\headcommand {\beamer@framepages {55}{56}} 69\headcommand {\beamer@framepages {58}{64}}
74\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}} 70\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}
75\headcommand {\beamer@framepages {57}{63}} 71\headcommand {\beamer@framepages {65}{66}}
76\headcommand {\beamer@subsectionpages {55}{63}} 72\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}
77\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}} 73\headcommand {\beamer@framepages {67}{71}}
78\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}} 74\headcommand {\beamer@partpages {1}{71}}
79\headcommand {\beamer@framepages {64}{65}} 75\headcommand {\beamer@subsectionpages {47}{71}}
80\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}} 76\headcommand {\beamer@sectionpages {47}{71}}
81\headcommand {\beamer@framepages {66}{70}} 77\headcommand {\beamer@documentpages {71}}
82\headcommand {\beamer@partpages {1}{70}} 78\headcommand {\gdef \inserttotalframenumber {29}}
83\headcommand {\beamer@subsectionpages {64}{70}}
84\headcommand {\beamer@sectionpages {46}{70}}
85\headcommand {\beamer@documentpages {70}}
86\headcommand {\gdef \inserttotalframenumber {28}}

Generated with cgit - Back to sebastiano.tronto.net