aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--README.md10
-rw-r--r--slides/preplogic-slides.aux91
-rw-r--r--slides/preplogic-slides.fdb_latexmk22
-rw-r--r--slides/preplogic-slides.fls44
-rw-r--r--slides/preplogic-slides.log291
-rw-r--r--slides/preplogic-slides.nav82
-rw-r--r--slides/preplogic-slides.out11
-rw-r--r--slides/preplogic-slides.pdfbin352243 -> 363451 bytes
-rw-r--r--slides/preplogic-slides.synctex.gzbin88767 -> 89030 bytes
-rw-r--r--slides/preplogic-slides.tex36
-rw-r--r--slides/preplogic-slides.toc9
11 files changed, 297 insertions, 299 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..d5f7ffc
--- /dev/null
+++ b/README.md
@@ -0,0 +1,10 @@
1# Elementary logic
2
3Here you can find the slides and the exercises for the course
4"Elementary Logic" (University of Luxembourg, PrepCamp 2020).
5
6For the slides, go in the ``slides'' folder and look for the file
7``preplogic-slides.pdf''.
8
9For the exercises, go in the ``exercises'' folder and look for the file
10``preplogic-exercises.pdf''.
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}}}
diff --git a/slides/preplogic-slides.fdb_latexmk b/slides/preplogic-slides.fdb_latexmk
index 4dff2be..6819258 100644
--- a/slides/preplogic-slides.fdb_latexmk
+++ b/slides/preplogic-slides.fdb_latexmk
@@ -1,5 +1,5 @@
1# Fdb version 3 1# Fdb version 3
2["pdflatex"] 1599407808 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599407812 2["pdflatex"] 1599409436 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599409441
3 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 "" 3 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 ""
4 "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 "" 4 "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 ""
5 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df "" 5 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df ""
@@ -19,6 +19,7 @@
19 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1594687104 1296 45809c5a464d5f32c8f98ba97c1bb47f "" 19 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1594687104 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
20 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1594687104 1316 b636689f1933f24d1294acdf6041daaa "" 20 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1594687104 1316 b636689f1933f24d1294acdf6041daaa ""
21 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1594687104 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" 21 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1594687104 1324 37b971caf729d7edd9cbb9f9b0ea76eb ""
22 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1594687104 1320 ed93d62c5f2c16343826001f03341dbc ""
22 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1594687104 1296 d77f431d10d47c8ea2cc18cf45346274 "" 23 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1594687104 1296 d77f431d10d47c8ea2cc18cf45346274 ""
23 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1594687104 1320 49357c421c0d469f88b867dd0c3d10e8 "" 24 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1594687104 1320 49357c421c0d469f88b867dd0c3d10e8 ""
24 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1594687104 1272 e2d13f0df30bf3ad990bb9d028e37f34 "" 25 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1594687104 1272 e2d13f0df30bf3ad990bb9d028e37f34 ""
@@ -33,6 +34,7 @@
33 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d "" 34 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
34 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1594687104 24457 5cbb7bdf209d5d1ce9892a9b80a307cc "" 35 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1594687104 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
35 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1594687104 24393 3b7eb51a67a0a62aec5849271bdb9c2e "" 36 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1594687104 24393 3b7eb51a67a0a62aec5849271bdb9c2e ""
37 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1594687104 24416 36515493f76659302880e2604105b074 ""
36 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1594687104 24420 52dbb8e8aa0069a1b987309557f8d303 "" 38 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1594687104 24420 52dbb8e8aa0069a1b987309557f8d303 ""
37 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1594687104 24373 a91d375736817a75026663adcb2190c1 "" 39 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1594687104 24373 a91d375736817a75026663adcb2190c1 ""
38 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1594687104 28902 2f5c04fd2884d1878057baa5aad22765 "" 40 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1594687104 28902 2f5c04fd2884d1878057baa5aad22765 ""
@@ -202,17 +204,17 @@
202 "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1594687104 55589 34128738f682d033422ca125f82e5d62 "" 204 "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1594687104 55589 34128738f682d033422ca125f82e5d62 ""
203 "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 "" 205 "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 ""
204 "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 "" 206 "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 ""
205 "preplogic-slides.aux" 1599407812 7240 a288e64cc8fb4cb4f4072c7bc7e8ab9d "pdflatex" 207 "preplogic-slides.aux" 1599409440 6068 50b72b0885ae780ffcd7f1e76f21d7ac "pdflatex"
206 "preplogic-slides.nav" 1599407812 4313 22f77648aafe254c80d53e3aeac8280c "pdflatex" 208 "preplogic-slides.nav" 1599409440 3672 7a02b80ee1eb79ed6628b6b44b98f41e "pdflatex"
207 "preplogic-slides.out" 1599407812 564 a373f8fe6398d06e7f947047efb09783 "pdflatex" 209 "preplogic-slides.out" 1599409440 231 deb4a29a1afc0897b65a37cc63a87407 "pdflatex"
208 "preplogic-slides.tex" 1599407803 13407 c2fbe5e0e4b374767a3a4f6a122903c8 "" 210 "preplogic-slides.tex" 1599409430 13551 0585e4bf0bb5c04ed9dea539aaf36342 ""
209 "preplogic-slides.toc" 1599407812 537 5ae99a050207d334da9ee776bbbd9e1d "pdflatex" 211 "preplogic-slides.toc" 1599409440 240 82b64b5af661cb4f9fe5c48ed162b693 "pdflatex"
210 "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d "" 212 "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d ""
211 (generated) 213 (generated)
212 "preplogic-slides.log"
213 "preplogic-slides.snm"
214 "preplogic-slides.nav" 214 "preplogic-slides.nav"
215 "preplogic-slides.out"
216 "preplogic-slides.pdf"
217 "preplogic-slides.toc" 215 "preplogic-slides.toc"
218 "preplogic-slides.aux" 216 "preplogic-slides.aux"
217 "preplogic-slides.out"
218 "preplogic-slides.snm"
219 "preplogic-slides.pdf"
220 "preplogic-slides.log"
diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls
index fa85ddc..c40b481 100644
--- a/slides/preplogic-slides.fls
+++ b/slides/preplogic-slides.fls
@@ -300,6 +300,26 @@ INPUT ./unilu.jpg
300INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map 300INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
301INPUT preplogic-slides.toc 301INPUT preplogic-slides.toc
302INPUT preplogic-slides.toc 302INPUT preplogic-slides.toc
303INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
304INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
305INPUT unilu.jpg
306INPUT ./unilu.jpg
307INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
308INPUT unilu.jpg
309INPUT ./unilu.jpg
310INPUT unilu.jpg
311INPUT ./unilu.jpg
312INPUT unilu.jpg
313INPUT ./unilu.jpg
314INPUT unilu.jpg
315INPUT ./unilu.jpg
316INPUT unilu.jpg
317INPUT ./unilu.jpg
318INPUT unilu.jpg
319INPUT ./unilu.jpg
320INPUT unilu.jpg
321INPUT ./unilu.jpg
322INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
303INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm 323INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
304INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm 324INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
305INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm 325INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
@@ -319,28 +339,8 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
319INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 339INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
320INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 340INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
321INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm 341INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
322INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
323INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm 342INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
324INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm 343INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
325INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
326INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
327INPUT unilu.jpg
328INPUT ./unilu.jpg
329INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
330INPUT unilu.jpg
331INPUT ./unilu.jpg
332INPUT unilu.jpg
333INPUT ./unilu.jpg
334INPUT unilu.jpg
335INPUT ./unilu.jpg
336INPUT unilu.jpg
337INPUT ./unilu.jpg
338INPUT unilu.jpg
339INPUT ./unilu.jpg
340INPUT unilu.jpg
341INPUT ./unilu.jpg
342INPUT unilu.jpg
343INPUT ./unilu.jpg
344INPUT unilu.jpg 344INPUT unilu.jpg
345INPUT ./unilu.jpg 345INPUT ./unilu.jpg
346INPUT unilu.jpg 346INPUT unilu.jpg
@@ -414,6 +414,9 @@ INPUT unilu.jpg
414INPUT ./unilu.jpg 414INPUT ./unilu.jpg
415INPUT unilu.jpg 415INPUT unilu.jpg
416INPUT ./unilu.jpg 416INPUT ./unilu.jpg
417INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm
418INPUT unilu.jpg
419INPUT ./unilu.jpg
417INPUT unilu.jpg 420INPUT unilu.jpg
418INPUT ./unilu.jpg 421INPUT ./unilu.jpg
419INPUT unilu.jpg 422INPUT unilu.jpg
@@ -490,6 +493,7 @@ INPUT ./preplogic-slides.out
490INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb 493INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
491INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb 494INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb
492INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb 495INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb
496INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb
493INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb 497INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb
494INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb 498INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb
495INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb 499INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb
diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log
index 84c03e8..eb2b9e7 100644
--- a/slides/preplogic-slides.log
+++ b/slides/preplogic-slides.log
@@ -1,4 +1,4 @@
1This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 17:56 1This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 18:23
2entering extended mode 2entering extended mode
3 restricted \write18 enabled. 3 restricted \write18 enabled.
4 file:line:error style messages enabled. 4 file:line:error style messages enabled.
@@ -513,22 +513,22 @@ File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
513) (./preplogic-slides.aux) 513) (./preplogic-slides.aux)
514\openout1 = `preplogic-slides.aux'. 514\openout1 = `preplogic-slides.aux'.
515 515
516LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 31. 516LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30.
517LaTeX Font Info: ... okay on input line 31. 517LaTeX Font Info: ... okay on input line 30.
518LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 31. 518LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30.
519LaTeX Font Info: ... okay on input line 31. 519LaTeX Font Info: ... okay on input line 30.
520LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 31. 520LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30.
521LaTeX Font Info: ... okay on input line 31. 521LaTeX Font Info: ... okay on input line 30.
522LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 31. 522LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30.
523LaTeX Font Info: ... okay on input line 31. 523LaTeX Font Info: ... okay on input line 30.
524LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 31. 524LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 30.
525LaTeX Font Info: ... okay on input line 31. 525LaTeX Font Info: ... okay on input line 30.
526LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 31. 526LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30.
527LaTeX Font Info: ... okay on input line 31. 527LaTeX Font Info: ... okay on input line 30.
528LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 31. 528LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 30.
529LaTeX Font Info: ... okay on input line 31. 529LaTeX Font Info: ... okay on input line 30.
530LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 31. 530LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 30.
531LaTeX Font Info: ... okay on input line 31. 531LaTeX Font Info: ... okay on input line 30.
532 532
533*geometry* driver: auto-detecting 533*geometry* driver: auto-detecting
534*geometry* detected driver: pdftex 534*geometry* detected driver: pdftex
@@ -584,7 +584,7 @@ Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 48
584File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live 584File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
585)) ABD: EveryShipout initializing macros 585)) ABD: EveryShipout initializing macros
586\AtBeginShipoutBox=\box75 586\AtBeginShipoutBox=\box75
587Package hyperref Info: Link coloring OFF on input line 31. 587Package hyperref Info: Link coloring OFF on input line 30.
588 (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty 588 (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
589Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section 589Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
590 (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty 590 (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
@@ -594,55 +594,55 @@ Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
594) 594)
595\c@section@level=\count320 595\c@section@level=\count320
596) 596)
597LaTeX Info: Redefining \ref on input line 31. 597LaTeX Info: Redefining \ref on input line 30.
598LaTeX Info: Redefining \pageref on input line 31. 598LaTeX Info: Redefining \pageref on input line 30.
599LaTeX Info: Redefining \nameref on input line 31. 599LaTeX Info: Redefining \nameref on input line 30.
600 (./preplogic-slides.out) (./preplogic-slides.out) 600 (./preplogic-slides.out) (./preplogic-slides.out)
601\@outlinefile=\write5 601\@outlinefile=\write5
602\openout5 = `preplogic-slides.out'. 602\openout5 = `preplogic-slides.out'.
603 603
604LaTeX Font Info: Overwriting symbol font `operators' in version `normal' 604LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
605(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 31. 605(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30.
606LaTeX Font Info: Overwriting symbol font `operators' in version `bold' 606LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
607(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31. 607(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
608\symnumbers=\mathgroup6 608\symnumbers=\mathgroup6
609\sympureletters=\mathgroup7 609\sympureletters=\mathgroup7
610LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' 610LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal'
611(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 31. 611(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30.
612LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 31. 612LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30.
613LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' 613LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
614(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31. 614(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
615LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 615LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
616(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31. 616(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
617LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 31. 617LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30.
618LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' 618LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
619(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 31. 619(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30.
620LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 620LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
621(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 31. 621(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 30.
622LaTeX Font Info: Redeclaring math alphabet \mathit on input line 31. 622LaTeX Font Info: Redeclaring math alphabet \mathit on input line 30.
623LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' 623LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
624(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 31. 624(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 30.
625LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 625LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
626(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 31. 626(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 30.
627LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 31. 627LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 30.
628LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' 628LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
629(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31. 629(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
630LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 630LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
631(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31. 631(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
632LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' 632LaTeX Font Info: Overwriting symbol font `numbers' in version `bold'
633(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 31. 633(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
634LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 634LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
635(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 31. 635(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
636LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' 636LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold'
637(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 31. 637(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 30.
638LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 638LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
639(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 31. 639(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 30.
640LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 640LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
641(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 31. 641(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
642LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 642LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
643(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 31. 643(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
644LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 644LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
645(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 31. 645(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30.
646 (/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 646 (/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
647Dictionary: translator-basic-dictionary, Language: English 647Dictionary: translator-basic-dictionary, Language: English
648) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 648) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
@@ -656,521 +656,528 @@ Dictionary: translator-numbers-dictionary, Language: English
656) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 656) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
657Dictionary: translator-theorem-dictionary, Language: English 657Dictionary: translator-theorem-dictionary, Language: English
658) (./preplogic-slides.nav) 658) (./preplogic-slides.nav)
659<unilu.jpg, id=60, 645.16031pt x 578.16pt> 659<unilu.jpg, id=40, 645.16031pt x 578.16pt>
660File: unilu.jpg Graphic file (type jpg) 660File: unilu.jpg Graphic file (type jpg)
661<use unilu.jpg> 661<use unilu.jpg>
662Package pdftex.def Info: unilu.jpg used on input line 35. 662Package pdftex.def Info: unilu.jpg used on input line 34.
663(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 663(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
664 [1 664 [1
665 665
666{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc) 666{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc)
667LaTeX Font Info: Trying to load font information for U+msa on input line 44.
668 (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
669File: umsa.fd 2013/01/14 v3.01 AMS symbols A
670)
671LaTeX Font Info: Trying to load font information for U+msb on input line 44.
672 (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
673File: umsb.fd 2013/01/14 v3.01 AMS symbols B
674)
675File: unilu.jpg Graphic file (type jpg) 667File: unilu.jpg Graphic file (type jpg)
676<use unilu.jpg> 668<use unilu.jpg>
677Package pdftex.def Info: unilu.jpg used on input line 44. 669Package pdftex.def Info: unilu.jpg used on input line 39.
678(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 670(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
679 [2 671 [2
680 672
681] 673]
682File: unilu.jpg Graphic file (type jpg) 674File: unilu.jpg Graphic file (type jpg)
683<use unilu.jpg> 675<use unilu.jpg>
684Package pdftex.def Info: unilu.jpg used on input line 71. 676Package pdftex.def Info: unilu.jpg used on input line 66.
685(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 677(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
686 [3 678 [3
687 679
688] 680]
689File: unilu.jpg Graphic file (type jpg) 681File: unilu.jpg Graphic file (type jpg)
690<use unilu.jpg> 682<use unilu.jpg>
691Package pdftex.def Info: unilu.jpg used on input line 71. 683Package pdftex.def Info: unilu.jpg used on input line 66.
692(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 684(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
693 [4 685 [4
694 686
695] 687]
696File: unilu.jpg Graphic file (type jpg) 688File: unilu.jpg Graphic file (type jpg)
697<use unilu.jpg> 689<use unilu.jpg>
698Package pdftex.def Info: unilu.jpg used on input line 71. 690Package pdftex.def Info: unilu.jpg used on input line 66.
699(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 691(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
700 [5 692 [5
701 693
702] 694]
703File: unilu.jpg Graphic file (type jpg) 695File: unilu.jpg Graphic file (type jpg)
704<use unilu.jpg> 696<use unilu.jpg>
705Package pdftex.def Info: unilu.jpg used on input line 71. 697Package pdftex.def Info: unilu.jpg used on input line 66.
706(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 698(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
707 [6 699 [6
708 700
709] 701]
710File: unilu.jpg Graphic file (type jpg) 702File: unilu.jpg Graphic file (type jpg)
711<use unilu.jpg> 703<use unilu.jpg>
712Package pdftex.def Info: unilu.jpg used on input line 71. 704Package pdftex.def Info: unilu.jpg used on input line 66.
713(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 705(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
714 [7 706 [7
715 707
716] 708]
717File: unilu.jpg Graphic file (type jpg) 709File: unilu.jpg Graphic file (type jpg)
718<use unilu.jpg> 710<use unilu.jpg>
719Package pdftex.def Info: unilu.jpg used on input line 71. 711Package pdftex.def Info: unilu.jpg used on input line 66.
720(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 712(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
721 [8 713 [8
722 714
723] 715]
724File: unilu.jpg Graphic file (type jpg) 716File: unilu.jpg Graphic file (type jpg)
725<use unilu.jpg> 717<use unilu.jpg>
726Package pdftex.def Info: unilu.jpg used on input line 71. 718Package pdftex.def Info: unilu.jpg used on input line 66.
727(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 719(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
728 [9 720 [9
729 721
730] 722]
723LaTeX Font Info: Trying to load font information for U+msa on input line 76.
724 (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
725File: umsa.fd 2013/01/14 v3.01 AMS symbols A
726)
727LaTeX Font Info: Trying to load font information for U+msb on input line 76.
728 (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
729File: umsb.fd 2013/01/14 v3.01 AMS symbols B
730)
731File: unilu.jpg Graphic file (type jpg) 731File: unilu.jpg Graphic file (type jpg)
732<use unilu.jpg> 732<use unilu.jpg>
733Package pdftex.def Info: unilu.jpg used on input line 81. 733Package pdftex.def Info: unilu.jpg used on input line 76.
734(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 734(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
735 [10 735 [10
736 736
737] 737]
738File: unilu.jpg Graphic file (type jpg) 738File: unilu.jpg Graphic file (type jpg)
739<use unilu.jpg> 739<use unilu.jpg>
740Package pdftex.def Info: unilu.jpg used on input line 99. 740Package pdftex.def Info: unilu.jpg used on input line 94.
741(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 741(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
742 [11 742 [11
743 743
744] 744]
745 745
746LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 746LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
747(Font) using `OT1/cmss/b/it' instead on input line 117. 747(Font) using `OT1/cmss/b/it' instead on input line 112.
748 748
749 749
750LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined 750LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
751(Font) using `OT1/cmss/m/n' instead on input line 117. 751(Font) using `OT1/cmss/m/n' instead on input line 112.
752 752
753File: unilu.jpg Graphic file (type jpg) 753File: unilu.jpg Graphic file (type jpg)
754<use unilu.jpg> 754<use unilu.jpg>
755Package pdftex.def Info: unilu.jpg used on input line 117. 755Package pdftex.def Info: unilu.jpg used on input line 112.
756(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 756(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
757[12 757[12
758 758
759] 759]
760 760
761LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 761LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
762(Font) using `OT1/cmss/b/it' instead on input line 117. 762(Font) using `OT1/cmss/b/it' instead on input line 112.
763 763
764File: unilu.jpg Graphic file (type jpg) 764File: unilu.jpg Graphic file (type jpg)
765<use unilu.jpg> 765<use unilu.jpg>
766Package pdftex.def Info: unilu.jpg used on input line 117. 766Package pdftex.def Info: unilu.jpg used on input line 112.
767(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 767(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
768[13 768[13
769 769
770] 770]
771File: unilu.jpg Graphic file (type jpg) 771File: unilu.jpg Graphic file (type jpg)
772<use unilu.jpg> 772<use unilu.jpg>
773Package pdftex.def Info: unilu.jpg used on input line 135. 773Package pdftex.def Info: unilu.jpg used on input line 130.
774(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 774(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
775 [14 775 [14
776 776
777] 777]
778File: unilu.jpg Graphic file (type jpg) 778File: unilu.jpg Graphic file (type jpg)
779<use unilu.jpg> 779<use unilu.jpg>
780Package pdftex.def Info: unilu.jpg used on input line 135. 780Package pdftex.def Info: unilu.jpg used on input line 130.
781(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 781(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
782 [15 782 [15
783 783
784] 784]
785File: unilu.jpg Graphic file (type jpg) 785File: unilu.jpg Graphic file (type jpg)
786<use unilu.jpg> 786<use unilu.jpg>
787Package pdftex.def Info: unilu.jpg used on input line 153. 787Package pdftex.def Info: unilu.jpg used on input line 148.
788(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 788(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
789 [16 789 [16
790 790
791] 791]
792File: unilu.jpg Graphic file (type jpg) 792File: unilu.jpg Graphic file (type jpg)
793<use unilu.jpg> 793<use unilu.jpg>
794Package pdftex.def Info: unilu.jpg used on input line 153. 794Package pdftex.def Info: unilu.jpg used on input line 148.
795(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 795(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
796 [17 796 [17
797 797
798] 798]
799File: unilu.jpg Graphic file (type jpg) 799File: unilu.jpg Graphic file (type jpg)
800<use unilu.jpg> 800<use unilu.jpg>
801Package pdftex.def Info: unilu.jpg used on input line 178. 801Package pdftex.def Info: unilu.jpg used on input line 173.
802(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 802(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
803 [18 803 [18
804 804
805] 805]
806File: unilu.jpg Graphic file (type jpg) 806File: unilu.jpg Graphic file (type jpg)
807<use unilu.jpg> 807<use unilu.jpg>
808Package pdftex.def Info: unilu.jpg used on input line 178. 808Package pdftex.def Info: unilu.jpg used on input line 173.
809(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 809(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
810 [19 810 [19
811 811
812] 812]
813File: unilu.jpg Graphic file (type jpg) 813File: unilu.jpg Graphic file (type jpg)
814<use unilu.jpg> 814<use unilu.jpg>
815Package pdftex.def Info: unilu.jpg used on input line 178. 815Package pdftex.def Info: unilu.jpg used on input line 173.
816(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 816(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
817 [20 817 [20
818 818
819] 819]
820Overfull \hbox (1.01225pt too wide) detected at line 205 820Overfull \hbox (1.01225pt too wide) detected at line 200
821[] 821[]
822 [] 822 []
823 823
824File: unilu.jpg Graphic file (type jpg) 824File: unilu.jpg Graphic file (type jpg)
825<use unilu.jpg> 825<use unilu.jpg>
826Package pdftex.def Info: unilu.jpg used on input line 205. 826Package pdftex.def Info: unilu.jpg used on input line 200.
827(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 827(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
828[21 828[21
829 829
830] 830]
831File: unilu.jpg Graphic file (type jpg) 831File: unilu.jpg Graphic file (type jpg)
832<use unilu.jpg> 832<use unilu.jpg>
833Package pdftex.def Info: unilu.jpg used on input line 216. 833Package pdftex.def Info: unilu.jpg used on input line 211.
834(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 834(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
835 [22 835 [22
836 836
837] 837]
838File: unilu.jpg Graphic file (type jpg) 838File: unilu.jpg Graphic file (type jpg)
839<use unilu.jpg> 839<use unilu.jpg>
840Package pdftex.def Info: unilu.jpg used on input line 216. 840Package pdftex.def Info: unilu.jpg used on input line 211.
841(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 841(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
842 [23 842 [23
843 843
844] 844]
845File: unilu.jpg Graphic file (type jpg) 845File: unilu.jpg Graphic file (type jpg)
846<use unilu.jpg> 846<use unilu.jpg>
847Package pdftex.def Info: unilu.jpg used on input line 216. 847Package pdftex.def Info: unilu.jpg used on input line 211.
848(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 848(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
849 [24 849 [24
850 850
851] 851]
852File: unilu.jpg Graphic file (type jpg) 852File: unilu.jpg Graphic file (type jpg)
853<use unilu.jpg> 853<use unilu.jpg>
854Package pdftex.def Info: unilu.jpg used on input line 237. 854Package pdftex.def Info: unilu.jpg used on input line 232.
855(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 855(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
856 [25 856 [25
857 857
858] 858]
859File: unilu.jpg Graphic file (type jpg) 859File: unilu.jpg Graphic file (type jpg)
860<use unilu.jpg> 860<use unilu.jpg>
861Package pdftex.def Info: unilu.jpg used on input line 237. 861Package pdftex.def Info: unilu.jpg used on input line 232.
862(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 862(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
863 [26 863 [26
864 864
865] 865]
866File: unilu.jpg Graphic file (type jpg) 866File: unilu.jpg Graphic file (type jpg)
867<use unilu.jpg> 867<use unilu.jpg>
868Package pdftex.def Info: unilu.jpg used on input line 255. 868Package pdftex.def Info: unilu.jpg used on input line 250.
869(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 869(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
870 [27 870 [27
871 871
872] 872]
873File: unilu.jpg Graphic file (type jpg) 873File: unilu.jpg Graphic file (type jpg)
874<use unilu.jpg> 874<use unilu.jpg>
875Package pdftex.def Info: unilu.jpg used on input line 276. 875Package pdftex.def Info: unilu.jpg used on input line 271.
876(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 876(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
877 [28 877 [28
878 878
879] 879]
880File: unilu.jpg Graphic file (type jpg) 880File: unilu.jpg Graphic file (type jpg)
881<use unilu.jpg> 881<use unilu.jpg>
882Package pdftex.def Info: unilu.jpg used on input line 276. 882Package pdftex.def Info: unilu.jpg used on input line 271.
883(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 883(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
884 [29 884 [29
885 885
886] 886]
887File: unilu.jpg Graphic file (type jpg) 887File: unilu.jpg Graphic file (type jpg)
888<use unilu.jpg> 888<use unilu.jpg>
889Package pdftex.def Info: unilu.jpg used on input line 276. 889Package pdftex.def Info: unilu.jpg used on input line 271.
890(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 890(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
891 [30 891 [30
892 892
893] 893]
894File: unilu.jpg Graphic file (type jpg) 894File: unilu.jpg Graphic file (type jpg)
895<use unilu.jpg> 895<use unilu.jpg>
896Package pdftex.def Info: unilu.jpg used on input line 305. 896Package pdftex.def Info: unilu.jpg used on input line 300.
897(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 897(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
898 [31 898 [31
899 899
900] 900]
901File: unilu.jpg Graphic file (type jpg) 901File: unilu.jpg Graphic file (type jpg)
902<use unilu.jpg> 902<use unilu.jpg>
903Package pdftex.def Info: unilu.jpg used on input line 305. 903Package pdftex.def Info: unilu.jpg used on input line 300.
904(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 904(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
905 [32 905 [32
906 906
907] 907]
908File: unilu.jpg Graphic file (type jpg) 908File: unilu.jpg Graphic file (type jpg)
909<use unilu.jpg> 909<use unilu.jpg>
910Package pdftex.def Info: unilu.jpg used on input line 305. 910Package pdftex.def Info: unilu.jpg used on input line 300.
911(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 911(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
912 [33 912 [33
913 913
914] 914]
915File: unilu.jpg Graphic file (type jpg) 915File: unilu.jpg Graphic file (type jpg)
916<use unilu.jpg> 916<use unilu.jpg>
917Package pdftex.def Info: unilu.jpg used on input line 315. 917Package pdftex.def Info: unilu.jpg used on input line 310.
918(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 918(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
919 [34 919 [34
920 920
921] 921]
922File: unilu.jpg Graphic file (type jpg) 922File: unilu.jpg Graphic file (type jpg)
923<use unilu.jpg> 923<use unilu.jpg>
924Package pdftex.def Info: unilu.jpg used on input line 330. 924Package pdftex.def Info: unilu.jpg used on input line 325.
925(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 925(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
926 [35 926 [35
927 927
928] 928]
929File: unilu.jpg Graphic file (type jpg) 929File: unilu.jpg Graphic file (type jpg)
930<use unilu.jpg> 930<use unilu.jpg>
931Package pdftex.def Info: unilu.jpg used on input line 330. 931Package pdftex.def Info: unilu.jpg used on input line 325.
932(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 932(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
933 [36 933 [36
934 934
935] 935]
936File: unilu.jpg Graphic file (type jpg) 936File: unilu.jpg Graphic file (type jpg)
937<use unilu.jpg> 937<use unilu.jpg>
938Package pdftex.def Info: unilu.jpg used on input line 330. 938Package pdftex.def Info: unilu.jpg used on input line 325.
939(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 939(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
940 [37 940 [37
941 941
942] 942]
943File: unilu.jpg Graphic file (type jpg) 943File: unilu.jpg Graphic file (type jpg)
944<use unilu.jpg> 944<use unilu.jpg>
945Package pdftex.def Info: unilu.jpg used on input line 336. 945Package pdftex.def Info: unilu.jpg used on input line 333.
946(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 946(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
947 [38 947 [38
948 948
949] 949]
950File: unilu.jpg Graphic file (type jpg) 950File: unilu.jpg Graphic file (type jpg)
951<use unilu.jpg> 951<use unilu.jpg>
952Package pdftex.def Info: unilu.jpg used on input line 353. 952Package pdftex.def Info: unilu.jpg used on input line 341.
953(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 953(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
954 [39 954 [39
955 955
956] 956]
957File: unilu.jpg Graphic file (type jpg) 957File: unilu.jpg Graphic file (type jpg)
958<use unilu.jpg> 958<use unilu.jpg>
959Package pdftex.def Info: unilu.jpg used on input line 353. 959Package pdftex.def Info: unilu.jpg used on input line 359.
960(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 960(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
961 [40 961 [40
962 962
963] 963]
964File: unilu.jpg Graphic file (type jpg) 964File: unilu.jpg Graphic file (type jpg)
965<use unilu.jpg> 965<use unilu.jpg>
966Package pdftex.def Info: unilu.jpg used on input line 370. 966Package pdftex.def Info: unilu.jpg used on input line 359.
967(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 967(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
968 [41 968 [41
969 969
970] 970]
971File: unilu.jpg Graphic file (type jpg) 971File: unilu.jpg Graphic file (type jpg)
972<use unilu.jpg> 972<use unilu.jpg>
973Package pdftex.def Info: unilu.jpg used on input line 388. 973Package pdftex.def Info: unilu.jpg used on input line 376.
974(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 974(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
975 [42 975 [42
976 976
977] 977]
978File: unilu.jpg Graphic file (type jpg) 978File: unilu.jpg Graphic file (type jpg)
979<use unilu.jpg> 979<use unilu.jpg>
980Package pdftex.def Info: unilu.jpg used on input line 388. 980Package pdftex.def Info: unilu.jpg used on input line 394.
981(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 981(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
982 [43 982 [43
983 983
984] 984]
985File: unilu.jpg Graphic file (type jpg) 985File: unilu.jpg Graphic file (type jpg)
986<use unilu.jpg> 986<use unilu.jpg>
987Package pdftex.def Info: unilu.jpg used on input line 388. 987Package pdftex.def Info: unilu.jpg used on input line 394.
988(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 988(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
989 [44 989 [44
990 990
991] 991]
992File: unilu.jpg Graphic file (type jpg) 992File: unilu.jpg Graphic file (type jpg)
993<use unilu.jpg> 993<use unilu.jpg>
994Package pdftex.def Info: unilu.jpg used on input line 392. 994Package pdftex.def Info: unilu.jpg used on input line 394.
995(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 995(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
996 [45 996 [45
997 997
998] 998]
999File: unilu.jpg Graphic file (type jpg) 999File: unilu.jpg Graphic file (type jpg)
1000<use unilu.jpg> 1000<use unilu.jpg>
1001Package pdftex.def Info: unilu.jpg used on input line 409. 1001Package pdftex.def Info: unilu.jpg used on input line 398.
1002(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1002(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1003 [46 1003 [46
1004 1004
1005] 1005]
1006File: unilu.jpg Graphic file (type jpg) 1006File: unilu.jpg Graphic file (type jpg)
1007<use unilu.jpg> 1007<use unilu.jpg>
1008Package pdftex.def Info: unilu.jpg used on input line 409. 1008Package pdftex.def Info: unilu.jpg used on input line 415.
1009(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1009(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1010 [47 1010 [47
1011 1011
1012] 1012]
1013File: unilu.jpg Graphic file (type jpg) 1013File: unilu.jpg Graphic file (type jpg)
1014<use unilu.jpg> 1014<use unilu.jpg>
1015Package pdftex.def Info: unilu.jpg used on input line 409. 1015Package pdftex.def Info: unilu.jpg used on input line 415.
1016(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1016(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1017 [48 1017 [48
1018 1018
1019] 1019]
1020File: unilu.jpg Graphic file (type jpg) 1020File: unilu.jpg Graphic file (type jpg)
1021<use unilu.jpg> 1021<use unilu.jpg>
1022Package pdftex.def Info: unilu.jpg used on input line 409. 1022Package pdftex.def Info: unilu.jpg used on input line 415.
1023(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1023(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1024 [49 1024 [49
1025 1025
1026] 1026]
1027File: unilu.jpg Graphic file (type jpg) 1027File: unilu.jpg Graphic file (type jpg)
1028<use unilu.jpg> 1028<use unilu.jpg>
1029Package pdftex.def Info: unilu.jpg used on input line 430. 1029Package pdftex.def Info: unilu.jpg used on input line 415.
1030(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1030(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1031 [50 1031 [50
1032 1032
1033] 1033]
1034File: unilu.jpg Graphic file (type jpg) 1034File: unilu.jpg Graphic file (type jpg)
1035<use unilu.jpg> 1035<use unilu.jpg>
1036Package pdftex.def Info: unilu.jpg used on input line 430. 1036Package pdftex.def Info: unilu.jpg used on input line 436.
1037(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1037(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1038 [51 1038 [51
1039 1039
1040] 1040]
1041File: unilu.jpg Graphic file (type jpg) 1041File: unilu.jpg Graphic file (type jpg)
1042<use unilu.jpg> 1042<use unilu.jpg>
1043Package pdftex.def Info: unilu.jpg used on input line 430. 1043Package pdftex.def Info: unilu.jpg used on input line 436.
1044(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1044(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1045 [52 1045 [52
1046 1046
1047] 1047]
1048File: unilu.jpg Graphic file (type jpg) 1048File: unilu.jpg Graphic file (type jpg)
1049<use unilu.jpg> 1049<use unilu.jpg>
1050Package pdftex.def Info: unilu.jpg used on input line 430. 1050Package pdftex.def Info: unilu.jpg used on input line 436.
1051(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1051(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1052 [53 1052 [53
1053 1053
1054] 1054]
1055File: unilu.jpg Graphic file (type jpg) 1055File: unilu.jpg Graphic file (type jpg)
1056<use unilu.jpg> 1056<use unilu.jpg>
1057Package pdftex.def Info: unilu.jpg used on input line 430. 1057Package pdftex.def Info: unilu.jpg used on input line 436.
1058(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1058(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1059 [54 1059 [54
1060 1060
1061] 1061]
1062File: unilu.jpg Graphic file (type jpg) 1062File: unilu.jpg Graphic file (type jpg)
1063<use unilu.jpg> 1063<use unilu.jpg>
1064Package pdftex.def Info: unilu.jpg used on input line 448. 1064Package pdftex.def Info: unilu.jpg used on input line 436.
1065(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1065(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1066 [55 1066 [55
1067 1067
1068] 1068]
1069File: unilu.jpg Graphic file (type jpg) 1069File: unilu.jpg Graphic file (type jpg)
1070<use unilu.jpg> 1070<use unilu.jpg>
1071Package pdftex.def Info: unilu.jpg used on input line 448. 1071Package pdftex.def Info: unilu.jpg used on input line 454.
1072(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1072(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1073 [56 1073 [56
1074 1074
1075] 1075]
1076File: unilu.jpg Graphic file (type jpg) 1076File: unilu.jpg Graphic file (type jpg)
1077<use unilu.jpg> 1077<use unilu.jpg>
1078Package pdftex.def Info: unilu.jpg used on input line 472. 1078Package pdftex.def Info: unilu.jpg used on input line 454.
1079(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1079(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1080 [57 1080 [57
1081 1081
1082] 1082]
1083File: unilu.jpg Graphic file (type jpg) 1083File: unilu.jpg Graphic file (type jpg)
1084<use unilu.jpg> 1084<use unilu.jpg>
1085Package pdftex.def Info: unilu.jpg used on input line 472. 1085Package pdftex.def Info: unilu.jpg used on input line 478.
1086(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1086(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1087 [58 1087 [58
1088 1088
1089] 1089]
1090File: unilu.jpg Graphic file (type jpg) 1090File: unilu.jpg Graphic file (type jpg)
1091<use unilu.jpg> 1091<use unilu.jpg>
1092Package pdftex.def Info: unilu.jpg used on input line 472. 1092Package pdftex.def Info: unilu.jpg used on input line 478.
1093(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1093(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1094 [59 1094 [59
1095 1095
1096] 1096]
1097File: unilu.jpg Graphic file (type jpg) 1097File: unilu.jpg Graphic file (type jpg)
1098<use unilu.jpg> 1098<use unilu.jpg>
1099Package pdftex.def Info: unilu.jpg used on input line 472. 1099Package pdftex.def Info: unilu.jpg used on input line 478.
1100(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1100(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1101 [60 1101 [60
1102 1102
1103] 1103]
1104File: unilu.jpg Graphic file (type jpg) 1104File: unilu.jpg Graphic file (type jpg)
1105<use unilu.jpg> 1105<use unilu.jpg>
1106Package pdftex.def Info: unilu.jpg used on input line 472. 1106Package pdftex.def Info: unilu.jpg used on input line 478.
1107(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1107(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1108 [61 1108 [61
1109 1109
1110] 1110]
1111File: unilu.jpg Graphic file (type jpg) 1111File: unilu.jpg Graphic file (type jpg)
1112<use unilu.jpg> 1112<use unilu.jpg>
1113Package pdftex.def Info: unilu.jpg used on input line 472. 1113Package pdftex.def Info: unilu.jpg used on input line 478.
1114(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1114(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1115 [62 1115 [62
1116 1116
1117] 1117]
1118File: unilu.jpg Graphic file (type jpg) 1118File: unilu.jpg Graphic file (type jpg)
1119<use unilu.jpg> 1119<use unilu.jpg>
1120Package pdftex.def Info: unilu.jpg used on input line 472. 1120Package pdftex.def Info: unilu.jpg used on input line 478.
1121(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1121(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1122 [63 1122 [63
1123 1123
1124] 1124]
1125File: unilu.jpg Graphic file (type jpg) 1125File: unilu.jpg Graphic file (type jpg)
1126<use unilu.jpg> 1126<use unilu.jpg>
1127Package pdftex.def Info: unilu.jpg used on input line 489. 1127Package pdftex.def Info: unilu.jpg used on input line 478.
1128(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1128(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1129 [64 1129 [64
1130 1130
1131] 1131]
1132File: unilu.jpg Graphic file (type jpg) 1132File: unilu.jpg Graphic file (type jpg)
1133<use unilu.jpg> 1133<use unilu.jpg>
1134Package pdftex.def Info: unilu.jpg used on input line 489. 1134Package pdftex.def Info: unilu.jpg used on input line 495.
1135(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1135(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1136 [65 1136 [65
1137 1137
1138] 1138]
1139File: unilu.jpg Graphic file (type jpg) 1139File: unilu.jpg Graphic file (type jpg)
1140<use unilu.jpg> 1140<use unilu.jpg>
1141Package pdftex.def Info: unilu.jpg used on input line 518. 1141Package pdftex.def Info: unilu.jpg used on input line 495.
1142(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1142(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1143 [66 1143 [66
1144 1144
1145] 1145]
1146File: unilu.jpg Graphic file (type jpg) 1146File: unilu.jpg Graphic file (type jpg)
1147<use unilu.jpg> 1147<use unilu.jpg>
1148Package pdftex.def Info: unilu.jpg used on input line 518. 1148Package pdftex.def Info: unilu.jpg used on input line 524.
1149(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1149(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1150 [67 1150 [67
1151 1151
1152] 1152]
1153File: unilu.jpg Graphic file (type jpg) 1153File: unilu.jpg Graphic file (type jpg)
1154<use unilu.jpg> 1154<use unilu.jpg>
1155Package pdftex.def Info: unilu.jpg used on input line 518. 1155Package pdftex.def Info: unilu.jpg used on input line 524.
1156(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1156(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1157 [68 1157 [68
1158 1158
1159] 1159]
1160File: unilu.jpg Graphic file (type jpg) 1160File: unilu.jpg Graphic file (type jpg)
1161<use unilu.jpg> 1161<use unilu.jpg>
1162Package pdftex.def Info: unilu.jpg used on input line 518. 1162Package pdftex.def Info: unilu.jpg used on input line 524.
1163(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1163(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1164 [69 1164 [69
1165 1165
1166] 1166]
1167File: unilu.jpg Graphic file (type jpg) 1167File: unilu.jpg Graphic file (type jpg)
1168<use unilu.jpg> 1168<use unilu.jpg>
1169Package pdftex.def Info: unilu.jpg used on input line 518. 1169Package pdftex.def Info: unilu.jpg used on input line 524.
1170(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1170(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1171 [70 1171 [70
1172 1172
1173] 1173]
1174File: unilu.jpg Graphic file (type jpg)
1175<use unilu.jpg>
1176Package pdftex.def Info: unilu.jpg used on input line 524.
1177(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1178 [71
1179
1180]
1174\tf@nav=\write6 1181\tf@nav=\write6
1175\openout6 = `preplogic-slides.nav'. 1182\openout6 = `preplogic-slides.nav'.
1176 1183
@@ -1180,31 +1187,31 @@ Package pdftex.def Info: unilu.jpg used on input line 518.
1180\tf@snm=\write8 1187\tf@snm=\write8
1181\openout8 = `preplogic-slides.snm'. 1188\openout8 = `preplogic-slides.snm'.
1182 1189
1183Package atveryend Info: Empty hook `BeforeClearDocument' on input line 520. 1190Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526.
1184Package atveryend Info: Empty hook `AfterLastShipout' on input line 520. 1191Package atveryend Info: Empty hook `AfterLastShipout' on input line 526.
1185 (./preplogic-slides.aux) 1192 (./preplogic-slides.aux)
1186Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 520. 1193Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526.
1187Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 520. 1194Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526.
1188Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. 1195Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
1189(rerunfilecheck) Checksum: A373F8FE6398D06E7F947047EFB09783;564. 1196(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231.
1190 1197
1191 1198
1192LaTeX Font Warning: Some font shapes were not available, defaults substituted. 1199LaTeX Font Warning: Some font shapes were not available, defaults substituted.
1193 1200
1194 ) 1201 )
1195Here is how much of TeX's memory you used: 1202Here is how much of TeX's memory you used:
1196 18179 strings out of 480478 1203 18146 strings out of 480478
1197 343939 string characters out of 5905927 1204 343117 string characters out of 5905927
1198 607887 words of memory out of 5000000 1205 607445 words of memory out of 5000000
1199 33601 multiletter control sequences out of 15000+600000 1206 33570 multiletter control sequences out of 15000+600000
1200 544705 words of font info for 69 fonts, out of 8000000 for 9000 1207 545011 words of font info for 70 fonts, out of 8000000 for 9000
1201 1141 hyphenation exceptions out of 8191 1208 1141 hyphenation exceptions out of 8191
1202 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s 1209 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s
1203</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb> 1210</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
1204Output written on preplogic-slides.pdf (70 pages, 352243 bytes). 1211Output written on preplogic-slides.pdf (71 pages, 363451 bytes).
1205PDF statistics: 1212PDF statistics:
1206 2023 PDF objects out of 2073 (max. 8388607) 1213 2027 PDF objects out of 2073 (max. 8388607)
1207 1902 compressed objects within 20 object streams 1214 1904 compressed objects within 20 object streams
1208 151 named destinations out of 1000 (max. 500000) 1215 148 named destinations out of 1000 (max. 500000)
1209 176 words of extra memory for PDF output out of 10000 (max. 10000000) 1216 136 words of extra memory for PDF output out of 10000 (max. 10000000)
1210 1217
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 @@
24\headcommand {\beamer@framepages {18}{20}} 24\headcommand {\beamer@framepages {18}{20}}
25\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}} 25\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}
26\headcommand {\beamer@framepages {21}{21}} 26\headcommand {\beamer@framepages {21}{21}}
27\headcommand {\beamer@subsectionpages {11}{21}} 27\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}
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}} 28\headcommand {\beamer@framepages {22}{24}}
31\headcommand {\beamer@subsectionpages {22}{24}} 29\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}
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}} 30\headcommand {\beamer@framepages {25}{26}}
35\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}} 31\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}
36\headcommand {\beamer@framepages {27}{27}} 32\headcommand {\beamer@framepages {27}{27}}
37\headcommand {\beamer@sectionpages {11}{27}} 33\headcommand {\beamer@sectionpages {11}{27}}
38\headcommand {\beamer@subsectionpages {25}{27}} 34\headcommand {\beamer@subsectionpages {11}{27}}
39\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}} 35\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}
40\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}} 36\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}
41\headcommand {\beamer@framepages {28}{30}} 37\headcommand {\beamer@framepages {28}{30}}
@@ -47,40 +43,36 @@
47\headcommand {\beamer@framepages {35}{37}} 43\headcommand {\beamer@framepages {35}{37}}
48\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}} 44\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}
49\headcommand {\beamer@framepages {38}{38}} 45\headcommand {\beamer@framepages {38}{38}}
50\headcommand {\beamer@sectionpages {28}{38}} 46\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}
51\headcommand {\beamer@subsectionpages {28}{38}} 47\headcommand {\beamer@framepages {39}{39}}
52\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}} 48\headcommand {\beamer@sectionpages {28}{39}}
53\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}} 49\headcommand {\beamer@subsectionpages {28}{39}}
54\headcommand {\beamer@framepages {39}{40}} 50\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}
55\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}} 51\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}
56\headcommand {\beamer@framepages {41}{41}} 52\headcommand {\beamer@framepages {40}{41}}
57\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}} 53\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}
58\headcommand {\beamer@framepages {42}{44}} 54\headcommand {\beamer@framepages {42}{42}}
59\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}} 55\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}
60\headcommand {\beamer@framepages {45}{45}} 56\headcommand {\beamer@framepages {43}{45}}
61\headcommand {\beamer@sectionpages {39}{45}} 57\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}
62\headcommand {\beamer@subsectionpages {39}{45}} 58\headcommand {\beamer@framepages {46}{46}}
63\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} 59\headcommand {\beamer@sectionpages {40}{46}}
64\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} 60\headcommand {\beamer@subsectionpages {40}{46}}
65\headcommand {\beamer@framepages {46}{49}} 61\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}
66\headcommand {\beamer@subsectionpages {46}{49}} 62\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}
67\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}} 63\headcommand {\beamer@framepages {47}{50}}
68\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}} 64\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}
69\headcommand {\beamer@framepages {50}{54}} 65\headcommand {\beamer@framepages {51}{55}}
70\headcommand {\beamer@subsectionpages {50}{54}} 66\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}
71\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}} 67\headcommand {\beamer@framepages {56}{57}}
72\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}} 68\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}
73\headcommand {\beamer@framepages {55}{56}} 69\headcommand {\beamer@framepages {58}{64}}
74\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}} 70\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}
75\headcommand {\beamer@framepages {57}{63}} 71\headcommand {\beamer@framepages {65}{66}}
76\headcommand {\beamer@subsectionpages {55}{63}} 72\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}
77\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}} 73\headcommand {\beamer@framepages {67}{71}}
78\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}} 74\headcommand {\beamer@partpages {1}{71}}
79\headcommand {\beamer@framepages {64}{65}} 75\headcommand {\beamer@subsectionpages {47}{71}}
80\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}} 76\headcommand {\beamer@sectionpages {47}{71}}
81\headcommand {\beamer@framepages {66}{70}} 77\headcommand {\beamer@documentpages {71}}
82\headcommand {\beamer@partpages {1}{70}} 78\headcommand {\gdef \inserttotalframenumber {29}}
83\headcommand {\beamer@subsectionpages {64}{70}}
84\headcommand {\beamer@sectionpages {46}{70}}
85\headcommand {\beamer@documentpages {70}}
86\headcommand {\gdef \inserttotalframenumber {28}}
diff --git a/slides/preplogic-slides.out b/slides/preplogic-slides.out
index e4b7dc4..e185387 100644
--- a/slides/preplogic-slides.out
+++ b/slides/preplogic-slides.out
@@ -1,10 +1,5 @@
1\BOOKMARK [2][]{Outline0.1}{Statements}{}% 1 1\BOOKMARK [2][]{Outline0.1}{Statements}{}% 1
2\BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2 2\BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2
3\BOOKMARK [3][]{Outline0.2.1.22}{Boolean algebra}{Outline0.2}% 3 3\BOOKMARK [2][]{Outline0.3}{Implication}{}% 3
4\BOOKMARK [3][]{Outline0.2.2.25}{Truth tables}{Outline0.2}% 4 4\BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 4
5\BOOKMARK [2][]{Outline0.3}{Implication}{}% 5 5\BOOKMARK [2][]{Outline0.5}{Proofs}{}% 5
6\BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 6
7\BOOKMARK [2][]{Outline0.5}{Proofs}{}% 7
8\BOOKMARK [3][]{Outline0.5.1.50}{Direct proofs}{Outline0.5}% 8
9\BOOKMARK [3][]{Outline0.5.2.55}{Proofs by contradiction}{Outline0.5}% 9
10\BOOKMARK [3][]{Outline0.5.3.64}{Proofs by induction}{Outline0.5}% 10
diff --git a/slides/preplogic-slides.pdf b/slides/preplogic-slides.pdf
index 321c6b6..44c0113 100644
--- a/slides/preplogic-slides.pdf
+++ b/slides/preplogic-slides.pdf
Binary files differ
diff --git a/slides/preplogic-slides.synctex.gz b/slides/preplogic-slides.synctex.gz
index 0445e30..dab34a5 100644
--- a/slides/preplogic-slides.synctex.gz
+++ b/slides/preplogic-slides.synctex.gz
Binary files differ
diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
index 0dbbc0b..5194ebf 100644
--- a/slides/preplogic-slides.tex
+++ b/slides/preplogic-slides.tex
@@ -21,11 +21,10 @@
21 21
22 22
23\newcommand{\refgithub}{ 23\newcommand{\refgithub}{
24 \begin{itemize} 24 \textbf{Slides and exercises:} \\
25 \item \textbf{These slides:} 25 \hspace{20pt}\texttt{https://github.com/sebastianotronto/preplogic} \\
26 \item \textbf{Exercises:} 26 \textbf{Email:} \\
27 \item \textbf{Contact:} \texttt{sebastiano.tronto@uni.lu} 27 \hspace{20pt}\texttt{sebastiano.tronto@uni.lu}
28 \end{itemize}
29} 28}
30 29
31\begin{document} 30\begin{document}
@@ -35,12 +34,8 @@
35\end{frame} 34\end{frame}
36 35
37\begin{frame} 36\begin{frame}
38 \begin{columns}
39 \column{0.5\linewidth}
40 \tableofcontents 37 \tableofcontents
41 \column{0.5\linewidth}
42 \refgithub 38 \refgithub
43 \end{columns}
44\end{frame} 39\end{frame}
45 40
46 41
@@ -204,7 +199,7 @@ Mathematician: ``Yes.''
204 \end{align*}} 199 \end{align*}}
205\end{frame} 200\end{frame}
206 201
207\subsection{Boolean algebra} 202%\subsection{Boolean algebra}
208 203
209\begin{frame}{Boolean algebra} 204\begin{frame}{Boolean algebra}
210 \begin{itemize} 205 \begin{itemize}
@@ -215,7 +210,7 @@ Mathematician: ``Yes.''
215 \end{itemize} 210 \end{itemize}
216\end{frame} 211\end{frame}
217 212
218\subsection{Truth tables} 213%\subsection{Truth tables}
219 214
220\begin{frame}{Truth tables} 215\begin{frame}{Truth tables}
221 A compact way of describing an operator, or a composition of operators 216 A compact way of describing an operator, or a composition of operators
@@ -330,11 +325,22 @@ Mathematician: ``Yes.''
330\end{frame} 325\end{frame}
331 326
332\begin{frame}{End of part 1} 327\begin{frame}{End of part 1}
333 See you tomorrow! 328 \begin{center}
329 \Huge See you tomorrow!
330 \end{center}
331 \vspace{10pt}
332 \refgithub
333\end{frame}
334 334
335\begin{frame}{Elementary logic - part 2}
336 \begin{center}
337 \Huge Welcome Back!
338 \end{center}
339 \vspace{10pt}
335 \refgithub 340 \refgithub
336\end{frame} 341\end{frame}
337 342
343
338\section{Quantifiers} 344\section{Quantifiers}
339 345
340\begin{frame}{Quantifiers} 346\begin{frame}{Quantifiers}
@@ -408,7 +414,7 @@ Mathematician: ``Yes.''
408 \end{itemize} 414 \end{itemize}
409\end{frame} 415\end{frame}
410 416
411\subsection{Direct proofs} 417%\subsection{Direct proofs}
412\begin{frame}{Example: direct proof} 418\begin{frame}{Example: direct proof}
413 \begin{theorem} 419 \begin{theorem}
414 The sum of two even numbers is even. 420 The sum of two even numbers is even.
@@ -430,7 +436,7 @@ Mathematician: ``Yes.''
430\end{frame} 436\end{frame}
431 437
432 438
433\subsection{Proofs by contradiction} 439%\subsection{Proofs by contradiction}
434 440
435\begin{frame}{Proofs by contradiction} 441\begin{frame}{Proofs by contradiction}
436 Idea: I want to show $A=\textbf{true}$. I show that the implication 442 Idea: I want to show $A=\textbf{true}$. I show that the implication
@@ -472,7 +478,7 @@ Mathematician: ``Yes.''
472\end{frame} 478\end{frame}
473 479
474 480
475\subsection{Proofs by induction} 481%\subsection{Proofs by induction}
476 482
477\begin{frame}{Proofs by induction} 483\begin{frame}{Proofs by induction}
478 If I want to prove $\forall n\in \mathbb N,\, A(n)$: 484 If I want to prove $\forall n\in \mathbb N,\, A(n)$:
diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
index 58f0963..1dc8678 100644
--- a/slides/preplogic-slides.toc
+++ b/slides/preplogic-slides.toc
@@ -1,10 +1,5 @@
1\beamer@sectionintoc {1}{Statements}{3}{0}{1} 1\beamer@sectionintoc {1}{Statements}{3}{0}{1}
2\beamer@sectionintoc {2}{Logical operations}{11}{0}{2} 2\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
3\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}
4\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}
5\beamer@sectionintoc {3}{Implication}{28}{0}{3} 3\beamer@sectionintoc {3}{Implication}{28}{0}{3}
6\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4} 4\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
7\beamer@sectionintoc {5}{Proofs}{46}{0}{5} 5\beamer@sectionintoc {5}{Proofs}{47}{0}{5}
8\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}
9\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}
10\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}

Generated with cgit - Back to sebastiano.tronto.net