| Professor: Caldwell | E-mail: jlc@cs.uwyo.edu |
| Office: 4074 Engineering Building | Phone:766-4913 |
| Office hours: Tuesday and Thursday 10:50-11:20, 2:35-3:35, Wednesday 11-12, 11-2 | |
| Class: meets Tuesday and Thursday from 9:35 to 10:50 in EN 2102. | |
| Web Page: http://www.cs.uwyo.edu/~jlc/courses/2300/ | |
| Grader:Rob Streeter | E-mail: rstreete@uwyo.edu |
Prerequisites: COSC 1030 and Math 2200 or Math 2350
Textbooks:
|
Introduction to Advanced Mathematics by William J Barnier, Norman Feldman Prentice Hall, 2000 This book has the core material of the course presented in a good way -- although it presents material in a slightly less formal way than we will do in this course. |
|
Discrete
Mathematics and its Applications by Kenneth H. Rosen, McGraw Hill, 2003 This is the most widely used text for this course and is a suitable as an expensive reference for about half the material in the course. |
|
The Haskell Road to Logic, Maths and Programming by Kees Doet and Jan van Eijck College Publications, 2004 This is an excellent book that integrates most of the material of the course with programming in the functional programming language Haskell. |
|
Sets, Functions and Logic: An introduction to abstract
mathematics by Keith Devlin Chapman & Hall/CRC , 2004 Another good book that covers much of the mathematical material we will cover in the course. |
Abstract: This course serves to introduce the mathematical concepts that serve as the foundations of computer science: basic set theory, the theory of relations and functions, graphs (directed and undirected), Boolean algebra, propositional and first order logic, inductively defined structures (lists and trees), and applications of mathematical induction. This course provides an introduction to the abstract and rigorous thinking that is required in other areas of mathematics and computer science. By the end of the course, students will have learned how to recognize a mathematical proof and will know how to produce their own.
Grading and Other Policies: Grades will be based on written
homework, an in-class midterm exam and a final exam. A standard
grading scale will be used, where an overall average of 90%-100% earns
an A, 80%-89% a B, 70%-79% a C, 60%-69% a D and 0%-59% an F. Work is
due at the beginning of class, and late work is accepted for a
few days, or until a solution is distributed, at a substantial
reduction in credit each day. Returned work should be kept for
verification of records.
Midterm Exam |
20% |
| Homework |
50% |
| Final Exam |
30% |
| 100%
|
The professor reserves the right to alter the grading scheme or to take extenuating circumstances into account when assigning grades. Discussion of the course material among students is encouraged, although students are expected to write up their own homeworks. Academic dishonesty will be treated in accordance with university standards. Students are urged to read University regulation 802 , section 3 defines academic dishonesty. University regulation 203 describes students rights to appeal and the appeal process.
Homework:
| No. | Due Date | Assignment | Remarks |
| 1 | Tuesday: September 1 | hw1.pdf | |
| 2 | Thursday: September 3 | hw2.pdf | |
| 3 | Tuesday: September 8 | hw3.pdf | |
| 4 | Thursday: September 10 | hw4.pdf | |
| 5 | Tuesday: September 15 | hw5.pdf | |
| 6 | Thursday: September 17 | hw6.pdf | propositional proof rules |
| 7 | Tuesday: September 22 | hw7.pdf | |
| 8 | Thursday: September 24 | hw8.pdf | Note: there is a typo in the figure with example 4.9 on page 56 - the backwards E on the right branch should be an upsidedown A. |
| 9 | Tuesday: September 29 | hw9.pdf | Proof rule sheet |
| 10 | Thursday: October 1 | hw10.pdf | Here are the translation rules and a few examples: English Translation. |
| 11 | Tuesday: October 6 | hw11.pdf | Read pages 71 - 84 of the lecture notes. |
| 12 | Thursday: October 8 | hw12.pdf | You can hand this in Friday by noon by putting it in Rob's mailbox in the COSC mailroom. (EN 4088). |
| 13 | Tuesday: October 13 | hw13.pdf | |
| 14 | Thursday: 22 October | hw14.pdf | |
| 15 | Tuesday: 27 October | hw15.pdf | As announced in class on Thursday, in Room EN 4088 by Wednesday, October 28.
Because of a typo in the homework you may hand this in on Thursday. |
| 16 | Thursday: October 29 | hw16.pdf | |
| 17 | Tuesday: November 3 | hw17.pdf | A bit tricky. |
| 18 | Thursday: 5 November | hw18.pdf | |
| 19 | Tuesday: 10 November | hw19.pdf | Latest copy of the Lecture Notes |
Exams:
Miscellaneous Resources: Supplementary material.
Class Notes.