diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:28:58 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:28:58 +0200 |
| commit | f0e201749eff213a0d9a9d3d5be6352dbaa38e26 (patch) | |
| tree | d77773ee2d911a9af80f16f73f3de0b99c694521 /slides/preplogic-slides.aux | |
| parent | 4ca009f025a29351bcf1160cd68d513f04687713 (diff) | |
| download | preplogic-f0e201749eff213a0d9a9d3d5be6352dbaa38e26.tar.gz preplogic-f0e201749eff213a0d9a9d3d5be6352dbaa38e26.zip | |
Updates, added README
Diffstat (limited to 'slides/preplogic-slides.aux')
| -rw-r--r-- | slides/preplogic-slides.aux | 91 |
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}}} | ||