From f0e201749eff213a0d9a9d3d5be6352dbaa38e26 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 18:28:58 +0200
Subject: Updates, added README

---
 slides/preplogic-slides.tex | 36 +++++++++++++++++++++---------------
 1 file changed, 21 insertions(+), 15 deletions(-)

(limited to 'slides/preplogic-slides.tex')

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 @@
 
 
 \newcommand{\refgithub}{
-  \begin{itemize}
-    \item \textbf{These slides:}
-    \item \textbf{Exercises:}
-    \item \textbf{Contact:} \texttt{sebastiano.tronto@uni.lu}
-  \end{itemize}
+    \textbf{Slides and exercises:} \\
+    \hspace{20pt}\texttt{https://github.com/sebastianotronto/preplogic} \\
+    \textbf{Email:} \\
+    \hspace{20pt}\texttt{sebastiano.tronto@uni.lu}
 }
 
 \begin{document}
@@ -35,12 +34,8 @@
 \end{frame}
 
 \begin{frame}
-  \begin{columns}
-  \column{0.5\linewidth}
     \tableofcontents
-  \column{0.5\linewidth}
     \refgithub
-  \end{columns}
 \end{frame}
 
 
@@ -204,7 +199,7 @@ Mathematician: ``Yes.''
   \end{align*}}
 \end{frame}
 
-\subsection{Boolean algebra}
+%\subsection{Boolean algebra}
 
 \begin{frame}{Boolean algebra}
   \begin{itemize}
@@ -215,7 +210,7 @@ Mathematician: ``Yes.''
   \end{itemize}
 \end{frame}
 
-\subsection{Truth tables}
+%\subsection{Truth tables}
 
 \begin{frame}{Truth tables}
   A compact way of describing an operator, or a composition of operators
@@ -330,11 +325,22 @@ Mathematician: ``Yes.''
 \end{frame}
 
 \begin{frame}{End of part 1}
-  See you tomorrow!
+  \begin{center}
+    \Huge See you tomorrow!
+  \end{center}
+  \vspace{10pt}
+  \refgithub
+\end{frame}
 
+\begin{frame}{Elementary logic - part 2}
+  \begin{center}
+    \Huge Welcome Back!
+  \end{center}
+  \vspace{10pt}
   \refgithub
 \end{frame}
 
+
 \section{Quantifiers}
 
 \begin{frame}{Quantifiers}
@@ -408,7 +414,7 @@ Mathematician: ``Yes.''
   \end{itemize}
 \end{frame}
 
-\subsection{Direct proofs}
+%\subsection{Direct proofs}
 \begin{frame}{Example: direct proof}
   \begin{theorem}
     The sum of two even numbers is even.
@@ -430,7 +436,7 @@ Mathematician: ``Yes.''
 \end{frame}
 
 
-\subsection{Proofs by contradiction}
+%\subsection{Proofs by contradiction}
 
 \begin{frame}{Proofs by contradiction}
   Idea: I want to show $A=\textbf{true}$. I show that the implication
@@ -472,7 +478,7 @@ Mathematician: ``Yes.''
 \end{frame}
 
 
-\subsection{Proofs by induction}
+%\subsection{Proofs by induction}
 
 \begin{frame}{Proofs by induction}
   If I want to prove $\forall n\in \mathbb N,\, A(n)$:
-- 
cgit v1.3