From f0e201749eff213a0d9a9d3d5be6352dbaa38e26 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 18:28:58 +0200 Subject: Updates, added README --- slides/preplogic-slides.aux | 91 +++++++++++++++++++-------------------------- 1 file changed, 39 insertions(+), 52 deletions(-) (limited to 'slides/preplogic-slides.aux') 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 @@ \@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}} \@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{toc}{\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{21}}} -\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}}} -\@writefile{nav}{\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}} -\@writefile{toc}{\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {22}{24}}} -\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}}} -\@writefile{nav}{\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}} -\@writefile{nav}{\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}} \@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}} \@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{27}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{27}}} \@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}} \@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}} @@ -70,45 +64,38 @@ \@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}} \@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}} -\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{38}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{38}}} -\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {39}{40}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {42}{44}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {45}{45}}} -\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {39}{45}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {39}{45}}} -\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}} -\@writefile{toc}{\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{49}}} -\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}} -\@writefile{nav}{\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}} -\@writefile{toc}{\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {50}{54}}} -\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}} -\@writefile{nav}{\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}} -\@writefile{nav}{\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}} -\@writefile{toc}{\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {55}{63}}} -\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}} -\@writefile{nav}{\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}} -\@writefile{nav}{\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{70}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {64}{70}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{70}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {70}}} -\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {28}}} +\@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}} +\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}} +\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}} +\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {40}{41}}} +\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}} +\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}} +\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {46}{46}}} +\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}} +\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{71}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{71}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {71}}} +\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}} -- cgit v1.3