diff options
Diffstat (limited to 'slides/preplogic-slides.nav')
| -rw-r--r-- | slides/preplogic-slides.nav | 86 |
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}} | ||