Associate Professor of Computer Science & Information Systems
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.
Assignments
There will be four assignments. One using network browser, other three
using a small logic language specified in the textbook.
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 10% subtracted from the score for every late day.
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