aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.nav
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.nav
downloadpreplogic-4ca009f025a29351bcf1160cd68d513f04687713.tar.gz
preplogic-4ca009f025a29351bcf1160cd68d513f04687713.zip
First commit
Diffstat (limited to 'slides/preplogic-slides.nav')
-rw-r--r--slides/preplogic-slides.nav86
1 files changed, 86 insertions, 0 deletions
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav
new file mode 100644
index 0000000..585e54c
--- /dev/null
+++ b/slides/preplogic-slides.nav
@@ -0,0 +1,86 @@
1\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}
2\headcommand {\beamer@framepages {1}{1}}
3\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}
4\headcommand {\beamer@framepages {2}{2}}
5\headcommand {\beamer@sectionpages {1}{2}}
6\headcommand {\beamer@subsectionpages {1}{2}}
7\headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}}
8\headcommand {\slideentry {1}{0}{1}{3/9}{}{0}}
9\headcommand {\beamer@framepages {3}{9}}
10\headcommand {\slideentry {1}{0}{2}{10/10}{}{0}}
11\headcommand {\beamer@framepages {10}{10}}
12\headcommand {\beamer@sectionpages {3}{10}}
13\headcommand {\beamer@subsectionpages {3}{10}}
14\headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}}
15\headcommand {\slideentry {2}{0}{1}{11/11}{}{0}}
16\headcommand {\beamer@framepages {11}{11}}
17\headcommand {\slideentry {2}{0}{2}{12/13}{}{0}}
18\headcommand {\beamer@framepages {12}{13}}
19\headcommand {\slideentry {2}{0}{3}{14/15}{}{0}}
20\headcommand {\beamer@framepages {14}{15}}
21\headcommand {\slideentry {2}{0}{4}{16/17}{}{0}}
22\headcommand {\beamer@framepages {16}{17}}
23\headcommand {\slideentry {2}{0}{5}{18/20}{}{0}}
24\headcommand {\beamer@framepages {18}{20}}
25\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}
26\headcommand {\beamer@framepages {21}{21}}
27\headcommand {\beamer@subsectionpages {11}{21}}
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}}
31\headcommand {\beamer@subsectionpages {22}{24}}
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}}
35\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}
36\headcommand {\beamer@framepages {27}{27}}
37\headcommand {\beamer@sectionpages {11}{27}}
38\headcommand {\beamer@subsectionpages {25}{27}}
39\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}
40\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}
41\headcommand {\beamer@framepages {28}{30}}
42\headcommand {\slideentry {3}{0}{2}{31/33}{}{0}}
43\headcommand {\beamer@framepages {31}{33}}
44\headcommand {\slideentry {3}{0}{3}{34/34}{}{0}}
45\headcommand {\beamer@framepages {34}{34}}
46\headcommand {\slideentry {3}{0}{4}{35/37}{}{0}}
47\headcommand {\beamer@framepages {35}{37}}
48\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}
49\headcommand {\beamer@framepages {38}{38}}
50\headcommand {\beamer@sectionpages {28}{38}}
51\headcommand {\beamer@subsectionpages {28}{38}}
52\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}
53\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}
54\headcommand {\beamer@framepages {39}{40}}
55\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}
56\headcommand {\beamer@framepages {41}{41}}
57\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}
58\headcommand {\beamer@framepages {42}{44}}
59\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}
60\headcommand {\beamer@framepages {45}{45}}
61\headcommand {\beamer@sectionpages {39}{45}}
62\headcommand {\beamer@subsectionpages {39}{45}}
63\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}
64\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}
65\headcommand {\beamer@framepages {46}{49}}
66\headcommand {\beamer@subsectionpages {46}{49}}
67\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}
68\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}
69\headcommand {\beamer@framepages {50}{54}}
70\headcommand {\beamer@subsectionpages {50}{54}}
71\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}
72\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}
73\headcommand {\beamer@framepages {55}{56}}
74\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}
75\headcommand {\beamer@framepages {57}{63}}
76\headcommand {\beamer@subsectionpages {55}{63}}
77\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}
78\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}
79\headcommand {\beamer@framepages {64}{65}}
80\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}}
81\headcommand {\beamer@framepages {66}{70}}
82\headcommand {\beamer@partpages {1}{70}}
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