![[Back to RiceInfo]](http://riceinfo.rice.edu/images/navbar.gif)
Additional information about Rice courses is available on the Rice Academic Information page. NOTE: Course web pages are available for some COMP courses.
COMP 100 INTRO-COMPUTING & INFO SYSTEMS Credits 3.00 Spring 97
* 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 M 07:00PM-10:00PM CE*1064 Clarkson, Gavin
COMP 200 ELEMENTS OF COMPUTER SCIENCE Credits 3.00 Spring 97
* 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.
Not intended for science-engineering students.
001 MWF 11:00AM-11:50AM CE*1075 Barland, Ian
COMP 210 INTRO PRINCIPLES SCI.COMPUTING Credits 4.00 Spring 97
* 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 CE*1064 Barland, Ian
001 T 01:00PM-02:20PM TBA Barland, Ian
001 Warren, Joe
002 MWF 10:00AM-10:50AM CE*1064 Barland, Ian
002 T 02:30PM-03:50PM TBA Barland, Ian
002 Warren, Joe
003 MWF 10:00AM-10:50AM CE*1064 Barland, Ian
003 W 03:30PM-04:50PM TBA Barland, Ian
003 Warren, Joe
004 MWF 10:00AM-10:50AM CE*1064 Barland, Ian
004 W 07:00PM-08:20PM TBA Barland, Ian
004 Warren, Joe
005 MWF 10:00AM-10:50AM CE*1064 Barland, Ian
005 TH 01:00PM-02:20PM TBA Barland, Ian
005 Warren, Joe
006 MWF 10:00AM-10:50AM CE*1064 Barland, Ian
006 TH 02:30PM-03:50PM TBA Barland, Ian
006 Warren, Joe
COMP 212 INTERMEDIATE PROGRAMMING Credits 4.00 Spring 97
* 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 CE*1070 Cox, Alan
001 M 02:30PM-04:00PM TBA Cox, Alan
002 MWF 10:00AM-10:50AM CE*1070 Cox, Alan
002 M 07:00PM-08:30PM TBA Cox, Alan
003 MWF 10:00AM-10:50AM CE*1070 Cox, Alan
003 T 01:00PM-02:30PM TBA Cox, Alan
004 MWF 10:00AM-10:50AM CE*1070 Cox, Alan
004 T 07:00PM-08:30PM TBA Cox, Alan
COMP 290 COMPUTER SCIENCE PROJECTS Credits 1.00 Spring 97
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA TBA TBA
COMP 311 PROGRAMMING LANGUAGES Credits 4.00 Spring 97
The design, definition and abstract implementation of programming
languages including methods for precisely specifying syntax and
semantics.
Prereq- Comp 210, 280, 320.
001 MWF 10:00AM-10:50AM CE*1075 Cartwright, Robert
COMP 320 INTRO TO COMPUTER ORGANIZATION Credits 4.00 Spring 97
Basic computer architecture and assembly language programming. System
software, including loaders and assemblers. Input-output devices and
programming.
Prereq- Comp 212.
Also offered as Elec 320.
001 TTH 02:30PM-03:50PM CE*1064 Havlak, Paul
COMP 390 COMPUTER SCIENCE PROJECTS Credits 1.00 Spring 97
See Comp 290.
001 TBA TBA TBA
COMP 408 APPLIED COMPUTER-AIDED VERIFICATION Credits 3.00 Spring 97
Techniques for specifying, modeling, and verifying hardware and software
systems. Emphasis on tools, their applications and their limitations.
Prereq- Comp 280, Comp 314 (or Comp 382) and Comp 320.
001 W 02:00PM-04:00PM CE*1075 Fisler, Kathryn
COMP 409 LOGIC IN COMPUTER SCIENCE Credits 3.00 Spring 97
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 CE*1042 Vardi, Moshe
COMP 421 OPERAT.SYSTEMS/CONCURRENT PROG Credits 4.00 Spring 97
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 CE*1070 Druschel, P.
COMP 440 ARTIFICIAL INTELLIGENCE Credits 4.00 Spring 97
Techniques for simulating intelligent behavior by machine, problem
solving, game playing, pattern perceiving, theorem proving, semantic
information processing, and automatic programming.
Prereq- Comp 210,212.
001 TTH 10:50AM-12:05PM CE*1070 Subramanian, Devika
COMP 450 ALGORITHMIC ROBOTICS Credits 4.00 Spring 97
An introduction to computing object motion in application domains
such as robotics, manufacturing, animated graphics, and drug design.
Topics covered are basic path planning, uncertainty, moving obstacles
and kinematic constraints.
Prereq- Comp 314 or 382; Comp 212.
001 TTH 02:30PM-03:50PM CE*1046 Kavraki, Lydia
COMP 480 CONCRETE MATHEMATICS Credits 3.00 Spring 97
Discrete and combinatorial mathematics, including sums and products,
integer functions, elementary number theory, factorials, binomial
coefficients, harmonic numbers, Fibonacci numbers, generating functions,
asymptotic representations. Applications to advanced algorithm
analysis.
Prereq- Comp 382.
001 MWF 01:00PM-01:50PM CE*1042 Djidjev, Hristo
COMP 482 DESIGN/ANALYSIS OF ALGORITHMS Credits 3.00 Spring 97
Methods for designing and analyzing computer algorithms and data
structures. The focus of this course will be on the theoretical and
mathematical aspects of algorithms and data structures.
Prereq- Comp 314.
001 TTH 01:00PM-02:20PM CE*1046 Djidjev, Hristo
COMP 490 COMPUTER SCIENCE PROJECTS Credits 1.00 Spring 97
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA TBA TBA
COMP 491 COMPUTER SCIENCE TEACHING Credits 3.00 Spring 97
A combination of in-service teaching and a seminar.
Prereq- permission of department.
001 TBA TBA TBA
COMP 492 COMPUTER SCI HONORS PROJECT Credits 3.00 Spring 97
001 TBA TBA TBA
COMP 515 ADVANCED COMPILATION FOR VECTOR PARALLE Credits 4.00 Spring 97
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 CE*1075 Kennedy, Kenneth
COMP 525 ADVANCED COMPUTER ARCHITECTURE Credits 3.00 Spring 97
Design issues of pipelined, vector, and multiprocessor architectures.
Development of performance evaluation techniques to model and simulate
configuration of concurrent architectures. Software aspects of
processing and their effects on performance.
Prereq- Comp 425.
Also offered as Elec 525.
001 TTH 01:00PM-02:20PM CE*1064 Adve, Sarita
COMP 526 COMP NETWORKS DESIGN/ANALYSIS Credits 3.00 Spring 97
Design and comparison of computer networks, techniques for performance
analysis, connectivity and reliability, capacity assignment. Network
topologies. Local area networks including rings, busses, and contention
networks.
Prereq- Elec 428.
Also offered as Elec 526.
001 MW 01:30PM-02:50PM AL*A126 Sinclair, James
COMP 583 VLSI ALGORITHMS Credits 3.00 Spring 97
Models of parallel computation. Design and analysis of parallel
algorithms. VLSI complexity. Area-time tradeoffs. Area efficient VLSI
networks.
Prereq- Comp 382.
Also offered as Elec 519.
001 TTH 02:30PM-03:50PM AL*A126 Varman, Peter
COMP 590 COMPUTER SCIENCE PROJECTS Credits 1.00 Spring 97
Advanced theoretical and experimental investigations under staff
direction.
001 TBA TBA TBA
COMP 600 GRADUATE SEMINAR Credits 1.00 Spring 97
A discussion of selected topics in computer science.
001 TBA TBA TBA
COMP 610 GRAD SEM:PROGRAMMING LANGUAGES Credits 1.00 Spring 97
A discussion of programming language semantics in computer science.
001 TBA TBA Felleisen, Matthias
001 Cartwright, Robert
COMP 612 GRAD SEM IN COMPILER CONSTRUCT Credits 3.00 Spring 97
Topics in construction of programming language translators.
Prereq- Comp 412.
001 TBA TBA TBA
COMP 615 PARALLEL PROGRAMMIN SYSTEMS Credits 2.00 Spring 97
This course will explore topics in parallel programming environments and
compilers for parallel computers.
001 TBA
COMP 620 GRAD SEM:DISTRIBUTED COMPUT Credits 1.00 Spring 97
Content varies at discretion of instructor.
Prereq- Comp 520.
001 TBA TBA TBA TBA
COMP 680 GRAD SEM: COMPUTABILITY THEORY Credits 1.00 Spring 97
Content varies at discretion of instructor.
Prereq- Comp 581, Comp 582.
001 TBA TBA TBA Djidjev, Hristo
COMP 690 RESEARCH AND THESIS Credits 1.00 Spring 97
001 TBA TBA TBA
COMP 800 DOCTORAL RESEARCH Credits 1.00 Spring 97
001 TBA TBA TBA
Back to Spring 1997 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 Jan 24 14:07:00 1997