[Back to RiceInfo]

Rice Course Schedule, Spring 2000
Computer Science (COMP)

Rice Course Schedule as of 03/24/2000. This schedule is maintained by the Office of the Registrar (reg@rice.edu).

Additional information about Rice courses is available on the Rice Academic Information page.
See also: Building Codes | Registration Information

NOTE: Course web pages are available for some COMP courses.


COMP   100 INTRO-COMPUTING & INFO SYSTEMS           Credits 3.00  Spring 2000
           * DISTRIBUTION COURSE: GROUP III
Introduction to computer organization, operating systems, programming
languages, artificial intelligence, and programming.  Not intended for
science-engineering students.  May not be taken for credit after any
other programming course.
001 T       07:00PM-10:00PM DH*1064  Sachs, Eric                    *CURRENT ENR: 0

COMP   200 ELEMENTS OF COMPUTER SCIENCE             Credits 3.00  Spring 2000
           * DISTRIBUTION COURSE: GROUP III
A broad introduction to the major topics of computer science, including
algorithms, mathematical models of computation, machine organization and
design, programming languages, communication, and artificial
intelligence.
001 MWF     11:00AM-11:50AM DH*1075  Barland, Ian                   *CURRENT ENR: 0

COMP   210 INTRO PRINCIPLES SCI.COMPUTING           Credits 4.00  Spring 2000
           * DISTRIBUTION COURSE: GROUP III
Introduction to the principles of computer programming.  Functional
programming, data abstraction, procedural abstraction, reduction rules,
use of control and state, object-oriented programming, program
optimization, algorithm efficiency.  Students will learn the practical
skills to write and modify programs.  Laboratory assignments use Scheme
and C.  A student may not receive credit for Comp 211 after taking Comp
210.
Limited enrollment.
001 MWF     10:00AM-10:50AM DH*1070  Greiner, John                  *CURRENT ENR: 0
001 T       01:00PM-02:20PM          Greiner, John                  *CURRENT ENR: 0
001                                  Cooper, Keith                  *CURRENT ENR: 0

COMP   212 INTERMEDIATE PROGRAMMING                 Credits 4.00  Spring 2000
           * DISTRIBUTION COURSE: GROUP III
Programming methodology, problem solving, recursion, data structures,
introduction to analysis of algorithms, sorting techniques.
NOTE: Only ONE of Comp 211 or 212 may be counted for distribution.
Prereq- Comp 210 or permission of instructor.
001 MWF     10:00AM-10:50AM DH*1064  Cox, Alan                      *CURRENT ENR: 0
001 M       02:30PM-04:00PM TBA      Cox, Alan                      *CURRENT ENR: 0

COMP   260 VISUAL METHODS FOR SCIENCE & ENGINEERING Credits 4.00  Spring 2000
           * DISTRIBUTION COURSE: GROUP III
Basic functional programming in mathematica, use of packages to solve
science and engineering problems, visualization methods for solutions
to these problems.
Prereq- Programming Experience.
001 TTH     10:50AM-12:05PM SH*562   Loftin, R.                     *CURRENT ENR: 0

COMP   280 MATHEMATICS OF COMPUTER SCI              Credits 3.00  Spring 2000
Mathematical induction, recursive definitions and recurrence equations,
finite state machines, computability, logic.
Prereq- Math 102, Comp 210.
001 TTH     10:50AM-12:05PM PL*AMP   Fisler, Kathryn                *CURRENT ENR: 0

COMP   290 COMPUTER SCIENCE PROJECTS                Credits 1.00  Spring 2000
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   312 PROGRAM ENGINEERING                      Credits 4.00  Spring 2000
Introduction to methods and tools of programs by teams; pattern-based
design:  modules; safe programming.
Prereq- Comp 210, 212, 311
001 MWF     10:00AM-10:50AM PL*117   Cartwright, Robert             *CURRENT ENR: 0

COMP   320 INTRO TO COMPUTER ORGANIZATION           Credits 4.00  Spring 2000
Microprocessor architecture, including the memory hierarchy, pipelining,
I/O devices, and interrupts and concurrency.  Computer representation of
and operations on basic data such as instructions, integers, floating
point numbers, and pointers.  Low-level programming in C and assembly
language.  Basic system software.  Performance issues.
Also offered as Elec 320.
001 MWF     09:00AM-09:50AM DH*1064  Varman, Peter                  *CURRENT ENR: 0

COMP   390 COMPUTER SCIENCE PROJECTS                Credits 1.00  Spring 2000
See Comp 290.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   409 LOGIC IN COMPUTER SCIENCE                Credits 3.00  Spring 2000
Set theoretical concepts.  Propositional and first-order logic.
Soundness and completeness, incompleteness, undecidability.  Functional
programming as an extension of first-order logic.  Logical issues in
computer science.
001 TTH     09:25AM-10:40AM DH*1042  Vardi, Moshe                   *CURRENT ENR: 0

COMP   411 ADVANCED PROGRAMMING LANGUAGES           Credits 4.00  Spring 2000
The design, definition and abstract implementation of programming
languages including methods for precisely specifying syntax and
semantics.
Prereq- Comp 210, 280, 320.
001 MWF     09:00AM-09:50AM PL*120   Felleisen, Matthias            *CURRENT ENR: 0

COMP   421 OPERAT.SYSTEMS/CONCURRENT PROG           Credits 4.00  Spring 2000
Introduction to the design, construction, and analysis of concurrent
programs with an emphasis on operating systems, including filing
systems, schedulers, and memory allocators.  Specific attention is
devoted to process synchronization and communication within concurrent
programs.
Prereq- Comp 212, Comp 320.
Also offered as Elec 421.
001 MWF     11:00AM-11:50AM DH*1070  Druschel, P.                   *CURRENT ENR: 0

COMP   422 PARALLEL COMPUTING                       Credits 4.00  Spring 2000
Need for parallel computing; Models of parallel computations; Basic
algorithms on PRAM machines; Architectures of parallel computing;
Mapping and scheduling in parallel computers; Program design for
parallel computations.  The course includes an extensive programming
component.
Prereq- Comp 212, 320.
001 TTH     09:25AM-10:40AM PL*120   Zwaenepoel, Willy              *CURRENT ENR: 0

COMP   430 INTRO TO DATABASE SYSTEMS                Credits 4.00  Spring 2000
Survey of database system design and implementation.  Physical data
organization.  Relational databases.  Object-oriented databases.  Query
languages.  Query optimization.  Transaction processing.  Concurrency
control.  Recovery.
Prereq- Comp 212.
001 MW      02:00PM-03:15PM DH*1046  Brock, Oliver                  *CURRENT ENR: 0

COMP   440 ARTIFICIAL INTELLIGENCE                  Credits 4.00  Spring 2000
Techniques for simulating intelligent behavior by machine, problem
solving, game playing, pattern perceiving, theorem proving, semantic
information processing, and automatic programming.
Prereq- Comp 210.
Also offered as Elec 440.
001 TTH     10:50AM-12:05PM DH*1070  Subramanian, Devika            *CURRENT ENR: 0

COMP   450 ALGORITHMIC ROBOTICS                     Credits 4.00  Spring 2000
An introduction to computing object motion in application domains
such as robotics, manufacturing, animation, and pharmaceutical drug
design.  Topics covered include motion planning in known and partially
known environments, uncertainty, manipulation, and assembly planning.
001 MW      03:00PM-04:15PM DH*1042  Kavraki, Lydia                 *CURRENT ENR: 0

COMP   460 ADVANCED COMPUTER GRAPHICS               Credits 4.00  Spring 2000
Advanced topics in computer graphics and geometric modeling, including
B-spline curves and surfaces, solid modeling, radiosity, morphing,
animation, simulation, subdivision, fractals, wavelets and other
selected topics as time permits.
Prereq- COMP 360
001 TTH     02:30PM-03:50PM DH*1046  Goldman, Ronald                *CURRENT ENR: 0

COMP   481 AUTOMATA, FORMAL LANGUAGES, AND COMPUTAB Credits 3.00  Spring 2000
Finite automata, regular expressions, regular languages, pushdown
automata, context-free languages, Turing machines, recursive
languages, computability, and solvability.
Prereq- Comp 314.
001 TTH     01:00PM-02:20PM DH*1070  Greiner, John                  *CURRENT ENR: 0

COMP   490 COMPUTER SCIENCE PROJECTS                Credits 1.00  Spring 2000
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   491 COMPUTER SCIENCE TEACHING                Credits 3.00  Spring 2000
A combination of in-service teaching and a seminar.
Prereq- permission of department.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   492 COMPUTER SCI HONORS PROJECT              Credits 3.00  Spring 2000
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   515 ADVANCED COMPILATION FOR  VECTOR PARALLE Credits 3.00  Spring 2000
Advanced compilation techniques for vector and parallel computer
systems, including the analysis of program dependence, program
transformations to enhance parallelism, compiler management of the
memory hierarchy, interprocedural data flow analysis, and parallel
debugging.
001 TTH     02:30PM-03:50PM DH*1042  Kennedy, Kenneth               *CURRENT ENR: 0

COMP   522 REAL-TIME SYSTEMS                        Credits 4.00  Spring 2000
Introduction to problems that may arise in real-time applications of
digital computers; architecture of real-time systems; methods for
real-time software design and implementation.
Prereq- COMP 421 or instructor's permission.
001 MWF     01:00PM-01:50PM DH*1042  Cheng, Albert                  *CURRENT ENR: 0

COMP   527 COMPUTER SYSTEMS SECURITY                Credits 4.00  Spring 2000
This class will focus on computer security in real systems.  We will
cover theory and practice for the design of secure systems (formal
modelling, hardware and compilier-enforced safety, software engineering
processes, tamper-resistant and tamper-reactive hardware, firewalls,
cryptography, and more).
Prereq- Comp 421
001 TTH     02:30PM-03:50PM DH*1064  Wallach, Dan                   *CURRENT ENR: 0

COMP   583 VLSI ALGORITHMS                          Credits 3.00  Spring 2000
Models of parallel computation.  Design and analysis of parallel
algorithms.  VLSI complexity.  Area-time tradeoffs.  Area efficient VLSI
networks.
Prereq- Comp 314.
Also offered as Elec 519.
001 TTH     02:30PM-03:50PM AL*A126  Varman, Peter                  *CURRENT ENR: 0

COMP   590 COMPUTER SCIENCE PROJECTS                Credits 1.00  Spring 2000
Advanced theoretical and experimental investigations under staff
direction.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   600 GRADUATE SEMINAR                         Credits 1.00  Spring 2000
A discussion of selected topics in computer science.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   610 GRAD SEM:PROGRAMMING LANGUAGES           Credits 1.00  Spring 2000
A discussion of programming language semantics in computer science.
001 TBA     TBA                      Felleisen, Matthias            *CURRENT ENR: 0

COMP   612 GRAD SEM IN COMPILER CONSTRUCT           Credits 3.00  Spring 2000
Topics in construction of programming language translators.
Prereq- Comp 412.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   615 PARALLEL PROGRAMMIN SYSTEMS              Credits 2.00  Spring 2000
This course will explore topics in parallel programming environments and
compilers for parallel computers.
001                                  TBA                            *CURRENT ENR: 0

COMP   620 GRAD SEM:DISTRIBUTED COMPUT              Credits 1.00  Spring 2000
Content varies at discretion of instructor.
Prereq- Comp 520.
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   625 GRADUATE SEMINAR ON COMPUTER ARCHITECTUR Credits 3.00  Spring 2000
Subjects covering virtual memory and security structures, pipelines and
vector processing, instruction set definitions, multi-threading, will be
discussed.  Both contemporary and "ancient systems" will be analyzed.
Prereq- Comp/Elec 525 or permission of instructor.
001 M       02:00PM-05:00PM          Wallach, Steven                *CURRENT ENR: 0

COMP   690 RESEARCH AND THESIS                      Credits 1.00  Spring 2000
001 TBA     TBA                      TBA                            *CURRENT ENR: 0

COMP   800 DOCTORAL RESEARCH                        Credits 1.00  Spring 2000
001 TBA     TBA                      TBA                            *CURRENT ENR: 0



<- Back to Spring 2000 Course Schedule Contents
<- Back to Rice Course Schedules
<- Back to Rice Academic and Course Information

-- Course schedule information provided by reg@rice.edu. Web version administered by riceinfo@rice.edu. Updated: Fri Mar 24 16:33:28 2000

Copyright Rice University