\documentclass{amsart}  % {{{
\usepackage{tabu}
\usepackage[breaklinks, final]{hyperref}

% misc
\setlength{\parindent}{0pt} % no paragraph indents
\setlength{\parskip}{5pt}   % double space
\pagestyle{empty}           % no page numbers

% document specific stuff
%============================================================================}}}

\begin{document}
\title{Math 3310/5310: Introduction to Mathematical Logic \\
  Section 1, Spring 2016}
\maketitle
\thispagestyle{empty}

\textbf{Professor:} Matthew Moore

\textbf{Office:} SC 1224

\textbf{Office Hours:} M 2pm -- 5pm, and by appointment

\textbf{E-Mail:} \href{mailto:matthew.moore@vanderbilt.edu}
  {\nolinkurl{matthew.moore@vanderbilt.edu}}

\textbf{Course Website:} \url{www.math.vanderbilt.edu/~moorm10/logic/}

\textbf{Lecture Hours and Venue:} MWF 11:10am -- noon

\textbf{Textbook:} \emph{Mathematical Logic} by Stephen Cole Kleene

\textbf{Homework:} Homework will be assigned every Monday and is due on the
following Monday by the end of office hours (at 5pm). Homework will consist
of problems from the book as well as ``Additional Problems''. All homework
can be found on the course website. A subset of the assigned problems will
be graded based on correctness and clarity. You are allowed to work with
others, but all work that you submit must be your own. Late homework will
not be accepted. Your lowest two homework assignments will be dropped.

\textbf{Quizzes:} Every Friday at the start of class there will be a short
quiz on the material covered since the previous Friday. Your lowest two quiz
grades will be dropped.

\textbf{Exams:} There will be an exam on Monday, February 29th. The exam
will consist of two parts: an in-class portion and a take-home portion. The
take-home portion of the exam will be due the following Monday, and you may
use any kind of non-human aid for this portion (though solutions must be
fully self-contained). The final exam is on Monday, May 2 at 9:00am. The
final exam will only consist of an in-class exam and will not have a
take-home portion.

\textbf{Course Grading:} Your course grade will be calculated based on the
  breakdown below.
  \begin{center} \begin{tabu}{ll} 
    Homeworks            & $40$\% \\
    Quizzes              & $20$\% \\
    Exams (incl.\ final)  & $40$\% 
  \end{tabu} \end{center}
  Letter grades will be assigned as usual

\textbf{Honor Code:} All work submitted for credit must be the student's own
  and is subject to the provisions of the Vanderbilt Honor Code. Details can
  be found at \url{http://studentorgs.vanderbilt.edu/HonorCouncil/}.

\textbf{Accommodation Procedure:} A student who needs course accommodations
  due to a disability, special arrangements in case the building must be
  evacuated, or has emergency medical information that needs to be shared
  with the instructor, should contact the instructor as soon as possible.
  Equal Opportunity, Affirmative Action, and Disability Services (see
  \url{http://www.vanderbilt.edu/ead}) at Vanderbilt provides specific
  accommodations for students with physical or learning disabilities. Upon
  receiving appropriate documentation from the student, the Opportunity
  Development Center will make arrangements with the instructor for the
  accommodations.
\end{document}
