CS542A/MA304E (Fundamentals of Computation) Syllabus - Rivier College Page 1
General Information
INSTRUCTOR Donald Braffitt DATE 13-Sep-1983
---------- (603) 888-1311 Rivier X60 ----
(603) 883-7192 Home (Nights)
(603) 881-2139 Office (Days)
3 semester credits; Fall 1983 - Tuesday evenings - 5:30 to 7:30 PM; Room LP04
Class starts: 13-Sep-1983; Midterm Exam: 01-Nov-1983; Final Exam: 20-Dec-1983
COURSE Lipschutz, Seymour. Schaum's Outline of Theory and Problems of
TEXTBOOK Discrete Mathematics. New York: McGraw-Hill Book Company, 1976.
--------
OBJECTIVES
----------
This course will introduce some of the mathematical theory and techniques
underlying computer science. Topics include set theory, graph theory,
algebra, and combinatorics.
TEACHING STRATEGIES
-------------------
Class time will usually include reviewing the solutions to the assignments
turned in at the beginning of class. New material will usually be introduced
that corresponds to the problems due the following week.
COURSE REQUIREMENTS
-------------------
The required work for the course consists of a set of problems, programminng
assignments, and take-home quizzes as well as in-class written Midterm and
Final exams. There will be 12 problem sets (assigned 1 week before due), 2
programming assignments (assigned 3 weeks before due), and 2 take-home
chapter quizzes (assigned 2 weeks before due). Problem sets and programming
assignments will be graded primarily on effort. Quizzes and exams will be
graded on effort and correctness.
You are responsible for all material presented in class as well as the
appropriate textbook material and any material assigned for outside class
reading. Attendance will be taken each class period. Regular attendance is
expected. The work you turn in on quizzes and exams must be entirely your
own (all in-class exams will be closed book - 1 page of notes will be
allowed). However, you are allowed to discuss the problem sets and
programming assignments with any other member of the class. The final
product on each problem set and programming assignment must be substantially
your own work. Assignments must be handed in at or prior to the beginning of
class on the date due. The work you do outside of class for this course
(reviewing class notes, reading, homework assignments, and reviewing for
exams) should average 6 to 10 hours per week. Please keep all graded
assignments and exams until the course is over. The homework assignments and
exams should generally be handed back graded the following week.
HOMEWORK AND EXAMINATIONS GRADING WEIGHTS
------------------------- ---------------
Problem Sets 12 @ 3% each 36%
Programming assignments 2 @ 4% each 8%
Take-home chapter quizzes 2 @ 5% each 10%
Midterm exam (Chapters 1-5) 01-Nov (1st hour) 16%
Final exam (Chapters 1-12) 20-Dec (both hours) 30%
CS542A/MA304E (Fundamentals of Computation) Syllabus - Rivier College Page 2
Course Outline / Bibliography
COURSE OUTLINE
--------------
For a given week, the assignments are due at the beginning of class, and the
indicated material will be introduced in class that day.
Week Class Text Topics Assignments Due
---- ----- ---- ------ ---------------
1 13-Sep Chap 1 Set Theory
2 20-Sep Chap 2 Relations Chap 1 probs
3 27-Sep Chap 3 Functions Chap 2 probs
4 04-Oct Chap 4 Vectors and Matrices Chap 3 probs
5 11-Oct Chap 5 Graph Theory Chap 4 probs Chap 1-2 quiz
6 18-Oct Chap 6 Planar Graphs and Trees Chap 5 probs
7 25-Oct Chap 7 Finite State Machines Chap 6 probs Prog 1
8 01-Nov Midterm exam (1st hour)
9 08-Nov Chap 8 Combinatorial Analysis Chap 7 probs
10 15-Nov Chap 9 Algebra and Formal Langs Chap 8 probs
11 22-Nov Chap 10 Posets and Lattices Chap 9 probs
12 29-Nov Chap 11 Proposition Calculus Chap 10 probs Chap 6-8 quiz
13 06-Dec Chap 12 Boolean Algebra Chap 11 probs
14 13-Dec Chap 12 probs Prog 2
15 20-Dec Final exam (both hours)
BIBLIOGRAPHY
------------
Bavel, Zamir. Math Companion for Computer Science. Reston, Virginia:
Reston Publishing Company, Inc., 1982. [sets, logic, relations, functions,
graphs, algebras, proof techniques; very complete treatment, handbook-like]
Beckman, Frank S. Mathematical Foundations of Programming. Reading
Massachusetts: Addison-Wesley Publishing Company, 1980. [set theory, graph
theory, algebra]
Berztiss, A. T. Data Structures Theory and Practice. Second Edition. New
York: Academic Press, 1975. [set theory, graph theory, algebra,
introduction to languages and automata; MA304/CS501(542) text - fall 1981]
Bobrow, Leonard S. and Michael A. Arbib. Discrete Mathematics: Applied
Algebra for Computer and Information Science. Philadelphia: W. B.
Saunders Company, 1974. [set theory, graph theory, algebra; CS601 text -
spring 1982]
Gilligan, Lawrence G. and Robert B. Nenno. Finite Mathematics with
Applications to Life. Second Edition. Santa Monica, California: Goodyear
Publishing Company, Inc., 1979. [sets, functions, combinatorics; MA201/CS201
text - 1981, 1982]
Liu, C. L. Elements of Discrete Mathematics. New York: McGraw-Hill Book
Company, 1977. [MA304/CS501(542) text - fall 1982]
Prather, Ronald E. Discrete Mathematical Structures for Computer Science.
Boston: Houghton Mifflin Company, 1976. [sets, relations, functions,
algebras, graphs, monoids, machines, lattices, groups, combinatorics, logic,
languages; in depth treatment of subjects]
Tremblay, Jean-Paul and Ram P. Manohar. Discrete Mathematical Structures
with Applications to Computer Science. New York: McGraw-Hill, 1975.
[mathematical logic, set theory, algebraic structures, lattices and Boolean
algebra, graph theory, introduction to computability theory]