\documentclass[10pt,a4paper]{article} \usepackage{amsmath} \usepackage[cm]{fullpage} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{hyperref} \usepackage{xcolor} \usepackage{tabularx} \usepackage{listliketab} \usepackage{graphicx} \usepackage{color} \begin{document} \begin{minipage}{0.3\textwidth} \hspace{-15pt}\includegraphics[scale=0.35]{fairmontstatelogo.png} \end{minipage} \begin{minipage}{0.7\textwidth} \begin{center} \huge Mathematical Logic \large\\ \underline{Math 2200-001 $||$ CRN: 20225 $||$ Spring 2017}\normalsize \\ \end{center} \end{minipage} \\ \begin{tabularx}{\linewidth}{@{}>{\bfseries}l@{\hspace{.5em}}X@{}} \textbf{Instructor:} & Dr.~Tom Cuchta (call me Tom) \\ \textbf{Time:} & TR 9:30-10:45 \\ \textbf{Location:} & HHH 305 \\ \textbf{E-mail:}& \href{mailto:tcuchta@fairmontstate.edu}{tcuchta@fairmontstate.edu} \\ \textbf{Office hours:}& My current office hours are posted on my website \href{http://tomcuchta.com}{http://tomcuchta.com}. They may change throughout the semester without notice. Alternative office hours may always be scheduled via e-mail. \\ \textbf{Office:}& ET 423 \\ \textbf{Class Webpage:} & All information will be posted to our class webpage: \\ & \href{http://tomcuchta.com/teach/classes/2017/MATH-2200-Spring-2017-FairmontState/}{http://tomcuchta.com/teach/classes/2017/MATH-2200-Spring-2017-FairmontState/} \\ & All information will also be replicated in the class Moodle page. \\ \textbf{Textbook:} & \textit{Introduction to Logic by Suppes} $||$ ISBN: 9780486406879 \\ \href{http://bit.ly/2aEcbvH}{Course Description:} & This course covers sentential and general theory of inference, theory of proof and definition and elementary intuitive set theory. \\ {\textbf{Prerequisites:}} & MATH 1115 or MATH 1170 or MATH 1185 or MATH 1190 \\ \textbf{Calculator policy:} & Calculators will not be permitted for use in this course. \\ \textbf{Attendance policy:} & Every class meeting should be attended by the student in its entirety, but attendance will not be recorded for a grade. If a class is missed, it is \textit{the student's} responsibility to find out what was missed and to pick up any returned work. \\ \textbf{Homework:} & When homework is assigned, it will be posted on the \href{http://tomcuchta.com/teach/classes/2017/MATH-2200-Spring-2017-FairmontState/}{class webpage} and posted on Moodle. Only the top $10$ scores from homework will contribute to the student's final grade. \\ & Occasionally, in-class homework may be given. In-class homework will not necessarily be announced in advance and in-class homework may not be made up if missed. \\ \textbf{Exams:} & There will be three one hour exams in this course each worth 100 points. See the calendar below for exam dates. \\ \textbf{Final exam}: & The final exam will be comprehensive and will be worth 200 points. \\ \textbf{Make-up exam policy:} & If an exam is to be missed due to an excused absence (as defined in the student handbook), then it is the \textit{\textbf{student's responsibility}} to arrange an alternative time to take the exam at least one week before the exam is given. In such a case, the student will complete an equivalent exam at an alternate time \textit{\textbf{before}} the normal exam time. If the student misses an exam due to an unexcused absence, the exam may be replaced with the percentage earned on the final exam. The unexcused absence policy only applies \textit{\textbf{only once}}, so further exams missed due to unexcused absences yield a score of zero. \\ \textbf{Extra credit policy:} & Extra credit opportunities may be available throughout the course and will be announced through the usual channels. Points earned through extra credit will be simply added to the final score earned by homework and exams. \\ \textbf{Grading policy}: & \begin{minipage}{0.3\textwidth} {\renewcommand\arraystretch{1.3} \begin{tabular}{l|l} \hline Hour exams & 300 points \\ Homework & 100 points \\ Final exam & 200 points \\ \hline \textbf{Total points}: & 600 points \\ \hline \end{tabular}} \end{minipage} \begin{minipage}{0.3\textwidth} {\renewcommand\arraystretch{1.3} \begin{tabular}{l|l} \hline Grade & Point Range \\ \hline A & 540 $\leq$ \textbf{Points Earned} $\leq$ 600 \\ B & 480 $\leq$ \textbf{Points Earned} $<$ 540 \\ C & 420 $\leq$ \textbf{Points Earned} $<$ 480 \\ D & 360 $\leq$ \textbf{Points Earned} $<$ 420 \\ F & 0 $\leq$ \textbf{Points Earned} $<$ 360 \\ \hline \end{tabular}} \end{minipage} \end{tabularx} \begin{tabularx}{\linewidth}{@{}>{\bfseries}l@{\hspace{.5em}}X@{}} \textbf{Tutoring assistance:} & See Fairmont State's tutoring services at \\ & \href{http://www.fairmontstate.edu/academics/tutoring-services}{http://www.fairmontstate.edu/academics/tutoring-services} \\ & See Pierpont's tutoring services at \\ & \href{https://pierpont.edu/ac/campuslife/support/tutoring}{https://pierpont.edu/ac/campuslife/support/tutoring} \\ \textbf{Student handbook}: & \href{http://www.fairmontstate.edu/publications/campushandbooks/studenthandbook/default.asp}{http://www.fairmontstate.edu/publications/campushandbooks/studenthandbook/default.asp} \\ \textbf{Disability support services}: & Disability services are available to any student, full or part-time, who has a need because of a documented disability. It is the student's responsibility to register for disability services and to provide any necessary documentation to verify a disability or the need for accommodations. Students must provide their professors with a copy of their academic accommodation letter each semester in order to receive accommodations. Faculty, students, and the Office of Disability Services must cooperate to ensure the most effective provision of accommodations for each class. \\ & \vspace{5pt} The Office of Disability Services is located in suite 316 of the Turley Student Services Center. For additional information, please call (304) 333-3661. \\ \end{tabularx} \begin{center}{\huge Math 2200 Calendar Spring 2017} \\ \vspace{15pt} \begin{tabular}{|l|l|} \hline \textbf{Week} & \textbf{Material Covered} \\ \hline 16 Jan -- 20 Jan & $\S 1.1, \S 1.2, \S 1.3, \S 1.4$ \\ \hline 23 Jan -- 27 Jan & Homework 1 due (\textit{24 January}) \\ & $\S 1.5, \S 1.6, \S 1.7$ \\ \hline 30 Jan -- 3 Feb & Homework 2 due (\textit{31 Janaury}) \\ & $\S 2.1, \S 2.2, \S 2.3, \S 2.4$ \\ \hline 6 Feb -- 10 Feb & Homework 3 due (\textit{7 February}) \\ & Review day (\textit{7 February}) \\ & \textbf{EXAM 1} (\textit{9 February}) \\ \hline 13 Feb -- 17 Feb & Homework 4 due (\textit{16 February}) \\ & $\S 3.1, \S 3.2, \S 3.3, \S 3.4$ \\ \hline 20 Feb -- 24 Feb & Homework 5 due (\textit{21 February}) \\ & $\S 3.5, \S 3.6, \S 4.1, \S 4.2$ \\ \hline 27 Feb -- 3 Mar & Homework 6 due (\textit{28 February)} \\ & $\S 4.3, \S 4.4, \S 4.5, \S 4.6$ \\ \hline 6 Mar -- 10 Mar & Homework 7 due (\textit{7 March}) \\ & Review Day (\textit{7 March}) \\ & \textbf{EXAM 2} (\textit{9 March)} \\ \hline 13 Mar -- 17 Mar & \textbf{\textit{SPRING BREAK}} \\ \hline 20 Mar -- 24 Mar & Homework 8 due (\textit{23 March}) \\ & $\S 7.1, \S 7.2, \S 7.3, \S 7.4, \S 7.5$ \\ \hline 27 Mar -- 31 Mar & Homework 9 due (\textit{28 March}) \\ & Slides posted to webpage \\ \hline 3 Apr -- 7 Apr & Homework 10 due (\textit{4 April}) \\ & Slides posted to webpage \\ \hline 10 Apr -- 14 Apr & Homework 11 due (\textit{11 April}) \\ & Slides posted to webpage \\ \hline 17 Apr -- 21 Apr & Homework 12 due (\textit{18 April}) \\ & Slides posted to webpage \\ \hline 24 Apr -- 28 Apr & Homework 13 due (\textit{25 April}) \\ & Review day (\textit{25 April}) \\ & \textbf{EXAM 3} (\textit{27 April}) \\ \hline 1 May -- 5 May & Homework 14 due (\textit{2 May)} \\ & Review day(s) \\ \hline 8 May -- 12 May & \textbf{FINAL EXAM} \\ (\textbf{Final exam week}) & \\ \hline \end{tabular} \end{center} \newpage %\textbf{Course Outcomes:} & After completion of Math 1115, the student should be able to %\begin{enumerate} %\item Use the language of mathematics to determine relationships and patterns in graphs and characteristics of circular trig functions using pre-requisite knowledge of graphing techniques of common functions. %\item Use the circular trig functions to solve problems using appropriate symbolic manipulation skills. %\item Use the triangular trig, exponential, and/or logarithmic functions to model, and solve real world problems and to determine if the solution is reasonable. %\item Develop and evaluate mathematical arguments and proofs in order to recognize that reasoning and proof are fundamental to mathematics. \end{document}