Fall 2005 Peter Selinger 
Updates are shown in red.
Course Description: This course is a basic course in logic and discrete mathematics. Discrete structures are fundamental to computer science, in the same way that calculus and geometry are fundamental to physics. They form the foundations of many areas of computer science, such as data structures, database theory, algorithms, automata theory, compiler design, and cryptography. The most important goal of the course is to learn to think abstractly, to reason correctly, and to work with symbolic representations.
Instructor: 
Prof. Peter Selinger Department of Mathematics and Statistics Chase Building, Room 303 Phone: 4943311 (I prefer email when possible) Email: selinger@mathstat.dal.ca (please put "2112" in the subject line) 
Office Hours:  currently MW 12, or by appointment. 
Xiaofen Zheng and Zhen Zhen will be teaching assistants for this course.  
Website:  Updated information, assignments, any handouts, etc., will be available from http://www.mathstat.dal.ca/~m2112/02/ 
Lectures:  TTh 11:3512:55, Dunn 101 
Tutorials: 
Tutorial 1: M 14:3515:25 McCain 2116 Tutorial 2: M 14:3515:25 McCain 2116 Tutorial 3: T 15:0515:55 McCain 2102 Each student should attend one 1hour tutorial per week, either on Mondays or on Tuesdays. In the Tutorial, you will be given problems to solve, individually and in groups. You will also have an opportunity to ask questions about the homework. 
Topics:  This class, together with CSCI/MATH 2113, offers a survey of the following areas: set theory, mathematical induction, number theory, relations, functions, algebraic structures and introductory graph theory. The topics to be discussed are fundamental to most areas of Mathematics and have wide applicability to Computer Science. 
Prerequisites:  Nova Scotia Mathematics 441 or equivalent 
Textbook:  S. S. Epp. Discrete Mathematics with Applications. Third Edition, Brooks/Cole, 2004. ISBN: 0534359450. If you are looking for this textbook at the Dalhousie Bookstore in the Student Union Building, look under MATH 2112, not CSCI 2112. 
There will be a midterm exam and a final exam. The midterm exam will be on Wednesday, October 26, 78:30pm in Dunn 117. There will also be weekly homework, to be handed in at the beginning of class on Thursdays. Late homework will not be accepted except with my prior permission. Each week, you will also be assigned some reading from the textbook. At irregular times, we will have a 5minute quiz in class related to the reading assignment.  
A missed midterm exam cannot be written at another time. If you miss the midterm exam without my prior permission, then it will count as a 0. Exceptions are made in two cases: (1) if you obtain my prior permission to miss a test, or (2) if you have an officially valid excuse such as a medical doctor's note. In these cases, the weight of the missed test will be shifted to the final exam (i.e., the final exam will then count 80% instead of 55%).  
Marks: 
Marks will be based on the exams, homework, and quizes. Class
participation may be taken into account. The midterm exam counts 25%, the
final exam counts 55%, the homework counts 15%, and the quizes count
5%. You need to pass the final exam in order to pass the course.
Numerical grades are converted to letter grades via the standard
Faculty of Science scheme:

Syllabus: 
We will cover the following sections of the textbook, in approximately
the given order.
Sections 1.1, 1.2, 1.3. Introduction to propositional logic;
proofs, valid and invalid arguments.

Students with disabilities:  Students with disabilities should register as quickly as possible at Student Accessibility Services if they want to receive academic accommodations. To do so please phone 4942836, email disabilities@dal.ca, or drop in at the Killam, G28. 
Plagiarism policy:  Plagiarism is considered a serious academic offence which may lead to loss of credit, suspension or expulsion from the University, or even the revocation of a degree. Please read the Policy on Intellectual Honesty contained in the Calendar or on the Dalhousie web site at: http://www.registrar.dal.ca/calendar/ug/UREG.htm#12 