CS 251 Discrete Structures II

(Syllabus written by Martin Cenek)

Term: Winter 2010
Credits: 4
CRN: (Section 004) 45655
Duration: 2010/01/05 - 2009/03/16
Meeting Time: Tu, Th 16:00-17:50 2010/01/05 - 2010/03/11
Meeting Location: NH (Neuberger Hall) Room 454
Labs: Unix & Linux Labs EB 88-01, Intel Labs FAB 55-17

Instructor: Bart Massey (bart AT cs DOT pdx DOT edu)
Office Hours:Fridays 4:30 PM FAB 120-18
Office Location: FAB 120-18

TA: Martin Cenek (cenek AT cs DOT pdx DOT edu)
TA Office Hours (tentative): M, W 08:00 - 09:00
TA Office Location: EB 88-06 (Tutor Area / Linux Labs)

Prerequisite: CS 250 Discrete Structures I

Disclaimer

Everything about this syllabus is entirely tentative, and maybe be changed at the whim of the instructor without warning.

Description

CS 251 is the second term of the two term sequence CS 250-251. The main goal of the sequence is that students obtain those skills in discrete mathematics and logic that are used in the study and practice of computer science. A second goal is that students become familiar with symbolic algebra and logic programming as tools for doing laboratory experiments in discrete mathematics and logic. Logic: propositional calculus, first-order predicate calculus. Formal reasoning: natural deduction, resolution. Applications to program correctness and automatic reasoning. Introduction to algebraic structures in computing. Logic programming is introduced and used for programming experiments

Topics

Goals and Objectives

Textbooks

Discrete Structures, Logic, and Computability, Third Edition. James L. Hein. Jones and Bartlett, 2002.

Prolog Experiments in Discrete Mathematics, Logic, and Computability. James L. Hein. To be provided online.

Web and Login Access

To get a UNIX account in the CS Department, stop by the CS Tutors Lab at FAB 88-03. For Blackboard access, you hopefully will not need to contact the CAT or OIT.

Course Work

Workload

This course requires weekly readings, homework, and lab experiments. All course-work must be completed individually. I do encourage group collaboration. This means creating study groups, online chat-rooms to discuss the approach, understand the problem, methodology is acceptable and encouraged. The write up, programming, and actual solutions must be your individual work. If you use someone's work for your own, you are committing plagiarism.

Attendance

Class attendance is not required, but VERY STRONGLY recommended. You are responsible to know ALL material discussed in the class (might not be in the book). There is no substitute for attendance.

Test and Testing Policy

Homework

I will assign HW assignments every week - both as a study guide and as a small part of your grade. Complete the HWs before next class. These assignments will be collected using Blackboard, but will be graded only for having been turned in and having made a reasonable effort; the solutions will not be carefully checked. We will go through some of the problems during the class, as a part of the learning.

Grading

Your grade will be based no the following breakdown:

   Homework     15%
   Midterm 1    25%
   Midterm 2    25%
   Final        35%

The midterms will be in-class, comprehensive exams.

Make-ups

There will be no make up exams or lab homework deadlines except in a case of medical or family emergency. (The instructor reserves the right to request documentation in this case.) It is your responsibility to contact the instructor and arrange for special accommodations.

Academic Honesty

Cheating on homework or exams will result in a grade of zero on the affected material, and will be reported to your school/department. Plagiarism is a form of cheating.

Plagiarism: n 1: a piece of writing/work that has been copied from someone else and is presented as being your own work 2: the act of plagiarizing; taking someone's words or ideas as if they were your own.
—www.dictionary.com

If you use code, ideas, or text authored by someone else, cite them. It is OK to get help from external sources of knowledge, but citation is mandatory.

Study Guide

Schedule, Topics and Reading Assignments

(This section will cease to exist when Blackboard is fully set up.)

Wk  Day  Lecture
101/05Introduction. Elementary logic, reasoning, propositional calculus, modus-ponens, modus-tollens. Read ch. 6
101/07Semantics, Quine, DNF, CNF, inference, axioms, proofs. HW 1 assigned.
201/12Formal arguments, indirect proofs, formal axiom systems.
201/14Tautologies, completeness theorem, other axioms, predicate logic, quantifiers, first order, formalism. Read ch. 7. HW 2 assigned.
301/19WFF, hierarchy, scope, bound, free, substitution, closure, equivalence.
301/21Prenex CNF/DNF, proofs. HW 3 assigned.
401/26Applied logic, equality, EE, program correctness. Read ch. 8
401/28Midterm 1.
502/02Consequences, composition, constructs: conditions, loops, arrays, termination.
502/04Computational logic, automatic reasoning, clausal forms, Skolem, substitution, unification. Read ch. 9.
602/09Algorithms, resolution rule, Martelli-Montanari. HW 4 assigned.
602/11Logic programming, query, computation trees.
702/16Algebra, uniqueness, identity, inverse.
702/18Resolution, SLD, operation properties, ring and field, boolean algebra, digital circuits. Read ch. 10. HW 5 assigned.
802/23Prolog Programming. Midterm review.
802/25Midterm 2. Introduction to Datatypes. HW 6 assigned.
903/02Relational algebra, operations, properties, functional algebra.
903/04Congruence, finite algebra, Fermat (theorems), RSA, subalgebras, morphism.
1003/09Overflow topics or additional topics.
1003/11Review and concluding thoughts.
-03/16Final Exam Tuesday 2010/03/16 15:30-17:20 NH 454