Computer Science Changes: 2004
The Computer Science Department has adopted some new courses, changed the distribution requirements for the master's degree, and changed prerequisites for a number of courses. These changes will be effective in the Fall of 2004 and will appear in the next edition of the catalog. The course descriptions for the new courses, the changed distribution requirements and the changed prerequisites are below.
New Courses:
CS 521. Logic in Computer Science
This course is an introduction to mathematical logic from a computer science perspective. Topics covered include the exploration of model theory, proof theory, and decidability for propositional and first-order classical logics, as well as various non-classical logics that provide useful tools for computer science (such as temporal and intuitionistic logics). The course stresses the application of logic to various areas of computer science such as computability, theorem proving, programming languages, specification, and verification. The specific applications included will vary by instructor. (Prerequisites: CS 503, or equivalent background in basic models of computation.)
CS 524. Algorithms: Design and Analysis
This course covers the design, analysis and proofs of correctness of algorithms. Examples are drawn from algorithms for advanced data structures, set manipulation and searching, graphs and geometric problems. Analysis techniques include asymptotic worst case and average case, as well as amortized analysis. Average case analysis includes the development of a probability model. Techniques for proving lower bounds on complexity are discussed, along with NP- completeness. Prerequisites: an undergraduate knowledge of data structures, discrete structures and algorithms.
Note: Students with a strong CS background in design and analysis of computer systems (at the level equal to a solid BS in computer science) should not take CS 524 and should consider taking CS 504.
CS 529. Multimedia Networking
Catalog Description
This course covers basic and advanced topics related to using computers to support audio and video over a network. Topics related to multimedia will be selected from areas such as compression, network protocols, routing, operating systems and human computer interaction. Students will be expected to read assigned research papers and complete several programming intensive projects that illustrate different aspects of multimedia computing. (Prerequisites: CS 502 and CS 513 or the equivalent, and strong programming skills.)
Changes to Distribution Requirements for the CS Master's degree, effective Fall 2004:
The Analysis area in the graduate requirements will be renamed the Algorithms area and include:
The Theory area will include:
The Systems area will include:
The Design Area remains unchanged:
Change in counting credit: CS students enrolled in the master's degree program may not count IDG501 towards the 33 credits required for a CS master's degree.
Changes in Prerequisites:
CS 504
Old Prerequisites: The ability to write a structured program in a recursive language and knowledge of discrete mathematics at the undergraduate level.
New Prerequisites: CS524 or equivalent.
CS 513/EE 506
Old Prerequisites: Knowledge of the C programming language is assumed. CS 504 or EE 502 or equivalent background in probability may be taken concurrently.
New Prerequisites: Knowledge of the C programming language is assumed. CS 504, CS 524 or EE 502 or equivalent background in probability.
CS 533/EE 581
Old Prerequisite: CS 504 or EE 502 or equivalent background in probability.
New Prerequisite: CS 504, CS 524 or EE 502 or equivalent background in probability.
CS 535
Old Prerequisites: CS 502 and CS 504, or equivalent background in probability.
New Prerequisites: CS 502 and (CS 524 or CS 504 or equivalent background in probability).
CS 542
Old Prerequisite: CS 504 or permission of the instructor.
New Prerequisite: CS 504 or CS 524 or permission of the instructor
Maintained by webmaster@cs.wpi.eduLast modified: September 26, 2006 16:58:05