\documentclass[11pt]{article}
\usepackage{amsmath}
\input{macros-course}

\def\brule#1{\enskip\vrule width#1 height -1.1pt depth 1.5pt\relax}

\makeatletter

\def\ps@myheadings{%
    \let\@oddfoot\@empty\let\@evenfoot\@empty
    \def\@evenhead{\thepage\hfil\slshape\leftmark}%
    \def\@oddhead{\rlap{\slshape\rightmark}\hfil\thepage\hfil \llap{Name:\brule{2in}}}%
    \let\@mkboth\@gobbletwo
    \let\sectionmark\@gobble
    \let\subsectionmark\@gobble
    }

\makeatother

\begin{document}

\handout{survey}{6.042 Assessment Survey}{December 8, 2000}

\section*{Instructions}
The EECS Department is trying to develop a system to monitor and
improve teaching effectivness.  Part of this effort involves formulating
and checking an Educational Objectives and Outcomes statement like the one
for 6.042 on the course web page.
%; this statement is repeated below.

We would like your feedback on how well you feel these objectives and
outcomes were achieved for you personally.  We need your name on your
survey submission to crosscheck self-assessments against grades; we think
the cross-check will be helpful in improving the course.  \emph{No one on
the 6.042 staff will look at any survey results until after grades are
assigned}, so you need not be concerned that what you say in your
self-assessment will impact your grade at all.

In the indicated space next to each item, please enter a digit from one
(1) to five (5) where

\begin{center}
\begin{tabular}{rcll}
\hline
\textbf{1} & means &  ``this objective/outcome was & \textbf{excellently} achieved in my case.''\\
\textbf{2} & means &  ``\dots & \textbf{reasonably well} \dots''\\
\textbf{3} & means &  ``\dots & \textbf{adequately} \dots''\\
\textbf{4} & means &  ``\dots & \textbf{somewhat} \dots''\\
\textbf{5} & means &  ``\dots & \textbf{not} \dots''\\
\hline
\end{tabular}
\end{center}

\newpage
\section*{Objectives}

On completion of 6.042, students will be able to explain and apply the
basic methods of discrete (noncontinuous) mathematics to Computer Science
problems.  They will be able to use these concepts in subsequent courses
in the design and analysis of algorithms, computability theory, software
engineering, and computer systems.

In particular, students will be able to:
\begin{enumerate}
\item
\label{Basic Discrete Mathematics Concepts}
\textbf{Reason mathematically about basic data types and structures}
used in computer algorithms and systems; distinguish rigorous definitions
and conclusions from merely plausible ones; synthesize elementary proofs,
especially proofs by induction. \brule{0.5in}

\item
\label{Computational Processes} 
\textbf{Model and analyze computational processes} (algorithms and systems) using
analytic and combinatorial methods.\brule{0.5in}

\item \label{Discrete Probability} \textbf{Apply principles of discrete
probability} to model and solve elementary problems of reliability and
estimation.\brule{0.5in}

\item 
\label{teams} 
\textbf{Work in small teams} to accomplish all the objectives above.\brule{0.5in}
\end{enumerate}


\section*{Learning Outcomes}
Students will be able to:
\begin{enumerate}

\item \label{soundness} \textbf{Evaluate elementary mathematical
arguments} and identify fallacious reasoning (not just fallacious
conclusions). \brule{0.5in}

\item \label{proofs} \textbf{Synthesize induction hypotheses and simple
proofs} in discrete mathematics using the terminology of elementary
mathematical logic. \brule{0.5in}

\item \label{graphs} \textbf{Apply graph theory models} of data structures
and state machines to solve elementary problems of scheduling and
connectivity. \brule{0.5in}

\item \label{numbers} \textbf{Prove basic properties of numbers};
calculate GCD's and evaluate arithmetic expressions in modular
arithmetic. \brule{0.5in}

\item \label{invariants} Apply the method of invariants and well-founded
ordering to \textbf{prove correctness and termination of algorithms} and
state machines. \brule{0.5in}

\item \label{closed forms} \textbf{Derive closed-form and asymptotic
expressions} from series and recurrences for growth rates of
processes. \brule{0.5in}

\item \label{counting} \textbf{Calculate numbers of possible outcomes} of
elementary combinatorial processes such as permutations and
combinations. \brule{0.5in}

\item \label{probability} \textbf{Calculate probabilities} and discrete
distributions for simple combinatorial processes; calculate means and
variances. \brule{0.5in}

\item \label{estimation} Solve problems of estimation and error tolerance
by \textbf{applying theorems on deviation from the mean}. \brule{0.5in}

\item \label{student teams} Problem-solve and \textbf{study in a small
team} with fellow students. \brule{0.5in}

\end{enumerate}

\section*{Further Comments}

\begin{itemize}
\item One the same scale of one (1) to five (5), how helpful overall was the
course in helping you achieve the Objectives and Outcomes?  \brule{0.5in}

\item We would be interested in hearing any other comments or suggestions
you may have about the course:

\vspace{4in}

\end{itemize}

\end{document}





