Minor corrections to L25 (English To Math) slides

Lectures/L25_EnglishToMath/EnglishToMath.tex

@@ -162,7 +162,7 @@ See
 
 \begin{itemize}
 
-\item Therefore, mathematics is the language of engineering
+\item Therefore, mathematics is the language of engineering and science
 
 \end{itemize}
 
@@ -418,7 +418,8 @@ See
 \item Modularize
 \item Example
 \bi
-\item Find the location in $D$ of a particular value $key$
+\item Find the location in $D (: \mbox{sequence of } T)$ of a particular value
+  $key (: T)$
 \item \structure<1>{What are the two cases?} 
 \item \uncover<2->{$key$ in $D$, $key$ not in $D$}
 \item \uncover<3->{\structure<3>{How do you mathematically specify $key$ is
@@ -446,7 +447,7 @@ See
 \item $n=\inf$
 \end{itemize}
 \item Think of a normal sized problem, usually something like $n \geq 3$
-\item You might want to write down truth tables
+\item You might want to write down truth tables (or Parnas tables)
 
 \end{itemize}
 
@@ -528,13 +529,13 @@ or more students have the same birthday.  Write a mathematical expression that
 is True if this condition is met, and False otherwise\\
 
 \bi
-\item \structure<1>{Identify all objects referred to in this message}
+\item \structure<1>{Identify all objects referred to in this problem statement}
 \item \uncover<2->{{Class? Students? Many? Instructor? Birthday?}}
 \item \uncover<2->{\structure<2>{Distinguish between essential objects and background
     information}}
 \item \uncover<3->{\structure<3>{How would we model the relationship between a student and
     their birthday? A set? A type? A variable? A relation? \structure<4>{A function?}}}
-\item \uncover<4->{\structure<4>{Using $\mbox{StudentT}$, $C: \mbox{StudentT}$ and
+\item \uncover<4->{\structure<4>{Using $\mbox{StudentT}$, $C: \mbox{set of StudentT}$ and
   $\mbox{Bday}(s1) = \mbox{Bday}(s2)$ what is the predicate?}}
 \item \uncover<5->{$\vee (s1, s2: \mbox{StudentT} | s1 \in C \wedge s2 \in C \wedge s1 \neq
   s2 : \mbox{Bday}(s1) = \mbox{Bday}(s2))$}