|
Description
|
Elementary logic and propositional calculus with quantifiers, proof techniques
(including induction and contradiction, contraposition and counterexample),
intuitive set theory, functions and relations.
|
|
Prerequisites
|
Math 115 or Math 120.
|
|
Objectives
|
The student will become familiar with the fundamentals of the mathematics that
underlies the foundations of computer science and engineering. This course will
give students tools for utilizing precise vocabulary, powerful notation, useful
abstractions, and rigorous thinking. In addition to developing skills through
explanation, example, and much practice, the student will gain insight into the
points of entrance that mathematics makes into computer science.
|
|
Text
|
Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games
, Ensley, Douglas E., and Crawley, J. Winston, Wiley, 2006.
|
|
Work Load
|
"Students are expected to spend three hours per week (including class hours)
in study for each quarter hour of credit attempted." (From p. 300 of the
Course Catalog, Autumn, 2005 - Summer, 2007, Otterbein College Bulletin, Vol.
XCI.) Since Math 155 is 3 (Quarter) Credit Hours, 90 hours of study is
expected: 30 hours in class (3 hours per week), and 60
hours beyond class hours (6 hours per week).
|
|
Homework
|
Homework assignments will be made on a daily basis. It is a basic assumption
in this course that mathematics is learned by doing! It is also a cumulative
endeavor. Missing key concepts or techniques in one section can handicap you for
the remainder of the term. Practice, practice, and practice some more.
On the first class meeting each week, all the homework from the previous week will
be collected in class. No late assignments will be accepted.
|
|
Quizzes
|
You should expect an average of one quiz per week. These quizzes will be short,
unannounced, and most will be very similar to homework problems.
|
|
Exams
|
There will be two tests and a final exam. These will all be closed-book. They
will cover lecture material, readings, and homework exercises. The final will
be a comprehensive exam covering the entire course. Make-ups will be scheduled
only for documented emergencies. If you can document that you have three or
more exams scheduled for the same day I will attempt to arrange for an alternate
time only if given at least a week’s notice.
|
|
Submissions
|
All homework submissions must be NEATLY hand-written or word
processed. No spiral paper, one-sided, and a single staple in the upper-left
corner (for multiple pages) are required! Failure to properly format the
submission will result in a 5% deduction.
|
|
Participation
|
Each student is expected to participate in the class discussions and exercises
throughout the semester. To this end, all assigned readings for each day should
be completed before the class period in which they are discussed.
|
|
Academic Misconduct Policy
|
All members of the Otterbein College community of learners are expected to follow
the rules and customs of proper academic conduct. Proper conduct includes avoiding
academic misconduct as defined in the Student Life Handbook. Students are
encouraged to help each other learn the course material. Unless specifically
prohibited, you may discuss homework problems and lab exercises with one another.
Participants in these discussions usually enjoy the benefit of deeper and greater
learning. However, all work submitted for evaluation that is based on discussions
with others must be your own work; created with your own hands and fingers while
thinking it through.
Any work submitted for evaluation that includes work done by another, copying of
another's work, or the result of following another's step-by-step keystrokes and
mouse clicks, is a case of academic misconduct. When academic misconduct is found
in any assignment or examination you submit, you will receive a zero grade for
that assignment or exam. The misconduct will also be reported to the Office of
the Academic Dean. If a previous academic misconduct offense is on your record,
you will receive a grade of F for this course and a referral to the judicial system.
|
