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.nav | 82 ++++++++++++++++++++------------------------- 1 file changed, 37 insertions(+), 45 deletions(-) (limited to 'slides/preplogic-slides.nav') 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 @@ \headcommand {\beamer@framepages {18}{20}} \headcommand {\slideentry {2}{0}{6}{21/21}{}{0}} \headcommand {\beamer@framepages {21}{21}} -\headcommand {\beamer@subsectionpages {11}{21}} -\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}} -\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}} +\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}} \headcommand {\beamer@framepages {22}{24}} -\headcommand {\beamer@subsectionpages {22}{24}} -\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}} -\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}} +\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}} \headcommand {\beamer@framepages {25}{26}} -\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}} +\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}} \headcommand {\beamer@framepages {27}{27}} \headcommand {\beamer@sectionpages {11}{27}} -\headcommand {\beamer@subsectionpages {25}{27}} +\headcommand {\beamer@subsectionpages {11}{27}} \headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}} \headcommand {\slideentry {3}{0}{1}{28/30}{}{0}} \headcommand {\beamer@framepages {28}{30}} @@ -47,40 +43,36 @@ \headcommand {\beamer@framepages {35}{37}} \headcommand {\slideentry {3}{0}{5}{38/38}{}{0}} \headcommand {\beamer@framepages {38}{38}} -\headcommand {\beamer@sectionpages {28}{38}} -\headcommand {\beamer@subsectionpages {28}{38}} -\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}} -\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}} -\headcommand {\beamer@framepages {39}{40}} -\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}} -\headcommand {\beamer@framepages {41}{41}} -\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}} -\headcommand {\beamer@framepages {42}{44}} -\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}} -\headcommand {\beamer@framepages {45}{45}} -\headcommand {\beamer@sectionpages {39}{45}} -\headcommand {\beamer@subsectionpages {39}{45}} -\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} -\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} -\headcommand {\beamer@framepages {46}{49}} -\headcommand {\beamer@subsectionpages {46}{49}} -\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}} -\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}} -\headcommand {\beamer@framepages {50}{54}} -\headcommand {\beamer@subsectionpages {50}{54}} -\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}} -\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}} -\headcommand {\beamer@framepages {55}{56}} -\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}} -\headcommand {\beamer@framepages {57}{63}} -\headcommand {\beamer@subsectionpages {55}{63}} -\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}} -\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}} -\headcommand {\beamer@framepages {64}{65}} -\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}} -\headcommand {\beamer@framepages {66}{70}} -\headcommand {\beamer@partpages {1}{70}} -\headcommand {\beamer@subsectionpages {64}{70}} -\headcommand {\beamer@sectionpages {46}{70}} -\headcommand {\beamer@documentpages {70}} -\headcommand {\gdef \inserttotalframenumber {28}} +\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}} +\headcommand {\beamer@framepages {39}{39}} +\headcommand {\beamer@sectionpages {28}{39}} +\headcommand {\beamer@subsectionpages {28}{39}} +\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}} +\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}} +\headcommand {\beamer@framepages {40}{41}} +\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}} +\headcommand {\beamer@framepages {42}{42}} +\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} +\headcommand {\beamer@framepages {43}{45}} +\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}} +\headcommand {\beamer@framepages {46}{46}} +\headcommand {\beamer@sectionpages {40}{46}} +\headcommand {\beamer@subsectionpages {40}{46}} +\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}} +\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}} +\headcommand {\beamer@framepages {47}{50}} +\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}} +\headcommand {\beamer@framepages {51}{55}} +\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}} +\headcommand {\beamer@framepages {56}{57}} +\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}} +\headcommand {\beamer@framepages {58}{64}} +\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}} +\headcommand {\beamer@framepages {65}{66}} +\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}} +\headcommand {\beamer@framepages {67}{71}} +\headcommand {\beamer@partpages {1}{71}} +\headcommand {\beamer@subsectionpages {47}{71}} +\headcommand {\beamer@sectionpages {47}{71}} +\headcommand {\beamer@documentpages {71}} +\headcommand {\gdef \inserttotalframenumber {29}} -- cgit v1.3