\NeedsTeXFormat{LaTeX2e}[1995/12/01]
\ProvidesClass{cs3234final}
              [2001/07/28 v1.0; final for CS 3234]

\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}

\ProcessOptions

\LoadClass{article}

\usepackage{fancybox}
\usepackage{alltt}
\usepackage{color}

\input slidepreamble

\newcommand{\ps@exam}{%
\renewcommand{\@oddhead}{CS 3234 \hfil \textrm{\thepage}}%
\renewcommand{\@evenhead}{\@oddhead}%
\renewcommand{\@evenfoot}{}%
\renewcommand{\@oddfoot}{\@evenfoot}}

\pagestyle{exam}

\newcounter{questioncounter}
\setcounter{questioncounter}{0}
\newcounter{altcounter}

\newenvironment{question}{%
\addtocounter{questioncounter}{1}
\vspace{10mm}
\textbf{Question \thequestioncounter}:}% 
{}

\newenvironment{answer}{%
\vspace{20mm}
\color{white}
\textbf{Answer}:
}% 
{
\color{black}
}


\newenvironment{alternatives}{%
\setcounter{altcounter}{1}
\begin{itemize}}%
{
\end{itemize}}

\newcommand{\Item}{\item[\thequestioncounter\ \Ovalbox{\Alph{altcounter}}]
\addtocounter{altcounter}{1}
}

\ProcessOptions

\parindent 0pt

%\setlength{\voffset}{-30mm}
\setlength{\textheight}{650pt}
%\setlength{\textwidth}{240mm}
\setlength{\textwidth}{145mm}
\setlength{\oddsidemargin}{10mm}

\AtBeginDocument{%

\thispagestyle{empty}

\begin{center}
\bf
{\large NATIONAL UNIVERSITY OF SINGAPORE}
\vspace{5mm}

{\large SCHOOL OF COMPUTING}

{\large EXAMINATION FOR}
\vspace{5mm}

{\large SEMESTER 1 2010/2011}
\vspace{5mm}

{\large CS 3234 - LOGIC AND FORMAL SYSTEMS}
\vspace{15mm}

{\large November 2010} \hspace{30mm} {\large Time Allowed: 2 Hours}

\end{center}

\vspace{3mm}

\hrule

\vspace{6mm}

{\large \textbf{INSTRUCTIONS TO CANDIDATES}}
\vspace{3mm}

\noindent

This is an open book examination. Any written and printed
material may be used during the examination. 
The examination consists of a paper part, 
and an automated theorem proving part.

\subsubsection*{Paper Part (60 marks)}

\begin{enumerate}
\item Enter your matriculation number here:\ 
{\LARGE
\begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|c|c|}
\hline
\ \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ \\
\hline
\end{tabular}
}
\item Enter the answers to the questions in this
answer book in the provided spaces.
\item This examination booklet has 12 pages, 
including this cover page, and contains 9 questions.
\item Answer all questions.
\item The maximal marks achievable is indicated for each question.
\end{enumerate}

\subsubsection*{Automated Theorem Proving Part (40 marks)}

\begin{enumerate}
\item
find the questions in the file \texttt{final.v} on the desktop of the
computer in front of you.
\item
\textbf{Enter your name and matriculation number in the designated section
on top of the file.}
\item
Read and follow the instructions in the file.
\item
Save the file after entering the answers; do not move the file.
\end{enumerate}


\hrulefill\ {\bf Do not write below this line}\ \hrulefill

\vspace{4mm}

\begin{center}
{\normalsize
\begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|c|c|c||c|}
\hline
Q\# & \ 1 \ &\  2 \ &\  3 \ &\  4 \ &\  5 \ &\  6 \ &\  7 \ &\  8 \ &\
9\ &\  A \  &\  B \  &\  C \  &\  D \ &  $\Sigma$ \\ \hline
Max & 6  & 6  & 5  & 6  & 6  & 3  & 10 & 12 & 6 & 10 & 10 & 10 & 10 & 100 \\ \hline
Sc  &   &   &   &   &   &   &   &   & &  &  &  & & \\
\hline
\end{tabular}
}
\end{center}

\newpage


}

