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]