CS503 Programming Methodology -- Jan. Interim 1996 Contents * General information * Course Materials * Topic Schedule * Assignments * Grading * Communication General Information Instructor: Jiang B. Liu, jiangbo@cs1.bradley.edu Associate Professor of Computer Science & Information Systems Prerequisites CS120 Discrete Mathematics CS302 Advanced Data Structures or consent of instructor Lecture 1:00-4:10pm, M-F, in BR33 Office Hours Mon-Thurs 4:15-6:15p in BR125b. Course Materials * Required o The Science of Programming by David Cries. * Recommended Topic Schedule This is a course of programming methodology. The goals of the course are to give fundamental knowledge of the science of programming, in particular we will discuss how to prove the correctness of the programs using logic and to develop computer programs based on the correct logic. This is not a programming course, thus the homeworks will be emphasised on the problem solving, not programming. The prerequisite for this course are CS120 (symbolic logic) and CS302 (or CS121 and with the consent of me), therefore I will expect you have some knowledge about the predicate calculi and data structures. [Image] Assignments There will be three assignments. You are encouraged to help each other on the assignments, but you can not simply copy from each other. all assignments are due at the class on the due day. Later homework will have 20% subtracted from the score for every late day. Grading [Assignment 45% Tests 30% Final 25%] Communication The public directory, /usr/public/liu in cs1, will be used to post assignments. You are also encouraged to send me email about your questions related to the course or share related information with the class. This course description is accessible as an HTML (hypertext markup language) file on the WWW (World Wide Web) with the URL (Uniform Resource Locator) http://bradley.bradley.edu/~jiangbo/courses/cs503.html. It will be updated with additional information, such as programming assignments, as the course progresses. To view a resource given its URL, use the mosaic/netscape program on a networked PC or Mac. Mosaic/netscape underlines HTML hypertext links. To follow a link, click on it. The URL for the Jiang B. Liu's home page is "http://bradley.bradley.edu/~jiangbo" from which all sorts of information can be obtained. Click here for a TEXT-ONLY version of this document. jiangbo@cs1.bradley.edu This document last modified December 10, 1995.