\documentclass[12pt]{book}

\usepackage{enumerate}
\usepackage[margin =.75in]{geometry}
\usepackage{graphicx}
\usepackage{mathtools,amssymb,amsfonts,amsthm}
\usepackage{color}
\usepackage[usenames,dvipsnames,svgnames,table]{xcolor}
\usepackage{comment}
\usepackage{multirow}
\usepackage{multicol}
\usepackage{tabularx}
\usepackage{tikz}
\usetikzlibrary{petri}
\usetikzlibrary{trees}
\usepackage{url}
\usepackage[linktoc=all,colorlinks=true,linkcolor=blue,urlcolor=Purple,citecolor=cyan]{hyperref}
\usepackage[all]{hypcap}
\usepackage{newverbs}
\usepackage{euscript,mathrsfs}
\usepackage{pdfpages}
%\usepackage[all]{xy}
%\usepackage{wrapfig}
%\usepackage{caption}
\raggedbottom
\allowdisplaybreaks

\specialcomment{lecturenotes}{}{}\excludecomment{lecturenotes}
\specialcomment{answers}{\sss \textsc{Answer: }}{\sss}
%\excludecomment{answers} % comment to compile with answers.
\specialcomment{remarks}{

\sss
\begingroup\color{blue}}
{\endgroup

\sss}
\specialcomment{inremarks}{\begingroup\color{blue}[}{]\endgroup}
\specialcomment{undefined}{\begingroup\color{orange}}{\endgroup}
\specialcomment{unjustified}{\begingroup\color{red}}{\endgroup}
\specialcomment{grammar}{\begingroup\color{Green}}{\endgroup}
\specialcomment{tex}{\begingroup\color{purple}}{\endgroup}

\newverbcommand{\cverb}{\small\color{purple}}{}
\newverbcommand{\everb}{\small\color{blue}}{}

\newcolumntype{L}[1]{>{\hsize=#1\hsize\raggedright\arraybackslash}X}
\newcolumntype{R}[1]{>{\hsize=#1\hsize\raggedleft\arraybackslash}X}
\newcolumntype{C}[1]{>{\hsize=#1\hsize\centering\arraybackslash}X}

\newcommand{\sss}{\vspace{2 mm}\noindent}
\newcommand{\lss}{\vspace{5 mm}\noindent}
\newcommand{\lls}{\vspace{7 mm}\noindent}
\newcommand\Tstrut{\rule{0pt}{2.6ex}}         % = `top' strut
\newcommand\Bstrut{\rule[-1ex]{0pt}{0pt}}   % = `bottom' strut
\newcommand{\ds}{\displaystyle}
\newcommand{\HR}{\vspace{5pt}\hrule height 1pt \vspace{5pt}}
\newcommand{\atext}[1]{\text{\quad #1 \quad }}

\newcommand{\ca}{\mathcal}
\newcommand{\fr}{\mathfrak}
\newcommand{\eucal}{\EuScript}
\newcommand{\scr}{\mathscr}
\newcommand{\bbf}{\mathbb{F}}
\newcommand{\bbn}{\mathbb{N}}
\newcommand{\bbr}{\mathbb{R}}
\newcommand{\bbq}{\mathbb{Q}}
\newcommand{\bbc}{\mathbb{C}}
\newcommand{\bbz}{\mathbb{Z}}
\newcommand{\bbp}{\mathbb{P}}
\newcommand{\bfa}{\mathbf{a}}
\newcommand{\bfb}{\mathbf{b}}
\newcommand{\bfc}{\mathbf{c}}
\newcommand{\bfu}{\mathbf{u}}
\newcommand{\bfv}{\mathbf{v}}
\newcommand{\bfx}{\mathbf{x}}

\newcommand{\inv}{^{-1}}
\newcommand{\into}{\hookrightarrow}
\newcommand{\onto}{\twoheadrightarrow}
\newcommand{\isom}{\overset{\sim}{\to}}
\renewcommand{\iff}{\Leftrightarrow}
\renewcommand{\implies}{\Rightarrow}
\renewcommand{\impliedby}{\Leftarrow}
\newcommand{\contradiction}{\Rightarrow\Leftarrow}

\newcommand{\bmat}[1]{\begin{bmatrix}#1\end{bmatrix}}
\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}
\newcommand{\vmat}[1]{\begin{vmatrix}#1\end{vmatrix}}
\newcommand{\floor}[1]{\lfloor #1 \rfloor}
\newcommand{\Floor}[1]{\left\lfloor #1 \right\rfloor}
\newcommand{\vect}[1]{\langle #1 \rangle}

\newcommand{\Ad}{\operatorname{Ad}}
\newcommand{\ad}{\operatorname{ad}}
\newcommand{\disc}{\operatorname{disc}}
\newcommand{\domain}{\operatorname{domain}}
\newcommand{\Id}{\operatorname{Id}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\ind}{\operatorname{ind}}
\newcommand{\nul}{\operatorname{Nul}}
\newcommand{\nullity}{\operatorname{nullity}}
\newcommand{\ord}{\operatorname{ord}}
\newcommand{\proj}{\operatorname{proj}}
\newcommand{\rank}{\operatorname{rank}}
\newcommand{\red}{\operatorname{red}}
\newcommand{\bbref}{\operatorname{rref}}
\newcommand{\tr}{\operatorname{tr}}
\newcommand{\trunc}{\operatorname{Trunc}}
\newcommand{\vspan}{\operatorname{span}}

%\theoremstyle{definition}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem*{prop*}{Proposition}
\newtheorem*{cor*}{Corollary}
\newtheorem*{lem*}{Lemma}
\newtheorem*{thm*}{Theorem}

\theoremstyle{definition}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{defn}[thm]{Definition}
\newtheorem{claim}[thm]{Claim}
\newtheorem{example}[thm]{Example}
\newtheorem*{conj*}{Conjecture}
\newtheorem*{rd}{Read from the text}
\newenvironment{answer}{\noindent\textsc{Answer:}}{\hfill $\square$}

\newcounter{homework}
\newtheorem{hw}[homework]{Homework}

\newcounter{exercise}[homework]
\newtheorem{exer}[exercise]{Exercise}
\renewcommand{\theexercise}{\arabic{homework}.\arabic{exercise}}

\theoremstyle{remark}
\newtheorem*{defn*}{Definition}
\newtheorem{remark}[thm]{Remark}
\newtheorem*{remark*}{Remark}
\newtheorem{notation}[thm]{Notation}

\begin{document}

\begin{center}
\noindent{\sc \bf \large Math 2001 --- Discrete Mathematics}\\
{\sc spring 2016 syllabus}
\end{center}

\sss
{\bf Class Location:} MUEN E417, MWF 2:00--2:50 PM \\
{\bf Instructor:} T. Alden Gassert \\
{\bf Office:} MATH 223 \\
{\bf Email:} \url{Thomas.Gassert@colorado.edu} \\
{\bf Office Hours:} M 3:00--4:30 PM, Tu 9:00--10:00 AM, F 3:00--4:00 PM, and by appointment. \\
{\bf Text:} \textit{Book of Proof} by Richard Hammack. A \texttt{pdf} of the book is available at his website:

\url{http://www.people.vcu.edu/~rhammack/BookOfProof/BookOfProof.pdf}

Paperback copies are also available for purchase at the bookstore ($\sim$\$15).

\lss 
{\bf\large About the course:} 
There are three main themes to this course: developing mathematical literacy, understanding discrete mathematical objects, and training effective thinking.

As in any subject, the sharing of ideas depends on our ability to convey and comprehend concepts in an effective manner; mathematics is no exception. We need a vocabulary (definitions) to express our ideas (theorems), and we must be able to explain why our ideas are valid (proof). This structure should be familiar, however in this course, we will make these arguments in accordance with the rules of the English language. That is, our ideas and explanations will be written and spoken in full English sentences. As you progress as a mathematician, you will find that mathematics has less to do with solving equations (as you have been doing in virtually every math class up till now) and more to do with the exploration of conceptual ideas, thus necessitating the use of the English language.

The mathematical content of this course are objects and concepts that apply broadly to many areas of mathematics. Some of these topics include sets, relations, (injective, surjective, and bijective) functions, and modular arithmetic. For the most part, our sets are discrete (loosely, this means we can count the items in the set), and our relations and functions will be maps between discrete sets. (Hence the name of the course.) 

Finally, and perhaps most importantly, is training ourselves to think effectively. What does this mean? Broadly, this means accepting challenges and having the courage to fail. It means learning from mistakes. How can we gain the most out of our mistakes? On one hand, this involves understanding why we failed. On the other, we need to fail in a way that provides some meaningful information, and that begins with asking the right questions. How do we ask right questions? That is entirely experiential. There is no innate knowledge that points us in the correct direction. So be bold and question. 

\lss
{\bf\large Course goals:} 

\begin{itemize}
\item The primary goal is to develop a foundation of mathematical literacy. By the end of the course, I expect that you have a command of the standard styles of proof, and that you write with proper mathematical (and English) syntax and grammar.

\item Moreover, I expect you to read and understand the proofs of your peers, or find counter-arguments if the proofs are incomplete.
\end{itemize}

\pagebreak

\noindent
{\bf\large Assessment:} 
\begin{enumerate}
\item[10\%] Exercises --- assigned daily
\item[10\%] Class participation --- class discussion, in-class assignments, group assignments
\item[30\%] Quizzes --- at least one per week, generally short and at the beginning of class
\item[30\%] Proof portfolio --- your writing will be tracked over the course of the semester
\item[20\%] Final Exam
\end{enumerate}

\sss
{\bf\large Academic integrity:} 
Learning is a collaborative experience, however all work must be your own (or your group's if it is a group assignment). Violations to the academic honor code will be penalized with a minimum of a 20 point deduction to your final grade subject to the finding of the Honor Code Office. 

\lss
{\bf\large Special accommodations, religious observances, etc.:} 
If you qualify for special accommodations due to a disability, you will need to provide to me a letter from Disability Services. Please attend to this matter in a timely fashion.

Please inform me as soon as possible if you will miss an exam or a homework assignment due to religious observance so that we have time to arrange a reasonable accommodation.
\end{document}