From 4ca009f025a29351bcf1160cd68d513f04687713 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 18:04:41 +0200 Subject: First commit --- slides/preplogic-slides.aux | 114 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 114 insertions(+) create mode 100644 slides/preplogic-slides.aux (limited to 'slides/preplogic-slides.aux') diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux new file mode 100644 index 0000000..415906b --- /dev/null +++ b/slides/preplogic-slides.aux @@ -0,0 +1,114 @@ +\relax +\providecommand\hyper@newdestlabel[2]{} +\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} +\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined +\global\let\oldcontentsline\contentsline +\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} +\global\let\oldnewlabel\newlabel +\gdef\newlabel#1#2{\newlabelxx{#1}#2} +\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} +\AtEndDocument{\ifx\hyper@anchor\@undefined +\let\contentsline\oldcontentsline +\let\newlabel\oldnewlabel +\fi} +\fi} +\global\let\hyper@last\relax +\gdef\HyperFirstAtBeginDocument#1{#1} +\providecommand\HyField@AuxAddToFields[1]{} +\providecommand\HyField@AuxAddToCoFields[2]{} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} +\@writefile{toc}{\beamer@sectionintoc {1}{Statements}{3}{0}{1}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}} +\@writefile{nav}{\headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}}} +\@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{3/9}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {3}{9}}} +\@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{10/10}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} +\@writefile{toc}{\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {3}{10}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{10}}} +\@writefile{nav}{\headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{11/11}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{12/13}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{14/15}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {14}{15}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{16/17}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {16}{17}}} +\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{18/20}{}{0}}} +\@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 {\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 {\beamer@framepages {25}{26}}} +\@writefile{nav}{\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{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 {\sectionentry {3}{Implication}{28}{Implication}{0}}} +\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}} +\@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{31/33}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {31}{33}}} +\@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{34/34}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}} +\@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{35/37}{}{0}}} +\@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}}} -- cgit v1.3