Math 1090 Course Syllabus
	Introduction to Logic for Computer Science

Lectures: MWF 3:30 - 4:20 in CLH-A

Tutorials: T.B.A.

Text: Gries and Schneider, A Logical Approach to Discrete Math.

Syllabus: The core consists of Chapters 1, 2, 3, 4, 6.2, 8, 9 of the text.

Purpose of this course:

To learn the syntax and semantics of propositional and predicate logic.  The proper understanding of propositional logic is fundamental to the most basic levels of computer programming, while the ability to correctly use variables, scope and quantifiers is crucial in the use of loops, subroutines, and modules, and in software design. Logic is used in many diverse areas of computer science including digital design, program verification, databases, artificial intelligence, algorithm analysis, and software specification. We will not follow a classical treatment of logic. Instead we will use an "equational'' treatment. This equational approach will also be the basis for the topics in discrete mathematics treated in MATH 2090.

We will learn a notion of proof within the context of a system of propositional logic.  You will need to be able to translate certain types of statements in English into logical statements as well as understand the concept of a propositional statement being valid or satisfiable.  By the end of the course you should be able to deduce theorems using a system of proofs based on rules of deduction using logical equivalence.  We will also try to relate these notions to logical puzzles, arguments made in English, digital circuits and computer programing.

Homework will be assigned on a weekly basis and posted on to this web site as well as announced in class.  These problems will be preparation for the quizzes and tests that you will have during class so I will do my best to encourge that you do them.

There will be an in class quiz approximately once a week during the Friday class. The quiz will be 15 minutes long and consist of one or two questions to try to help you make sure that you are on track and understand the material for the week. A component of your grade will be based on the best 5 of the 8 in class quizzes. If you are unable to make a few of them, it is not a cause for worry since you will be able to drop the lowest 3. I will not offer makeup quizzes, you are responsible for attending the Friday classes when the quizzes are offered. They will be on the following dates:
September 13, 20, 27;  October 4, 25;  November 8, 15, 29;

There will be two in class tests and a final exam.  The two in class tests are on Friday, October 18 and Friday, November 22.  The final exam will be scheduled by the university system at a later date.

Evaluation:

Note: If you miss a test and provide a certificate indicating clearly that you were unable to write the test for reasons beyond your personal control, the weight of the test will be transferred to the final exam. Otherwise, the mark for the missed test will be 0.

The last date to drop the course without academic penalty is November 8 It is extremely important to realistically assess your course performance prior to this date.

Lecture information:

Important dates to remember:

Resources:

• Compound statements and truth tables
• Example: equivalence and implication