RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

RISC-Linz Courses WS 2002/2003

RISC-Linz logo

If not announced otherwise, all courses start in the week of October 7.

2. Klausur Computersysteme: 18. Oktober

Number Title Lecturer Time Room

326.933

Formale Grundlagen 2 (Theoretische Informatik) F. Winkler Freitag 12:00-13:30 HS 10
326.943 Übung zu Formale Grundlagen 2 (Theoretische Informatik) R. Hemmecke Freitag 11:00-11:45 HS 11
326.935 Übung zu Formale Grundlagen 2 (Theoretische Informatik) G. Landsmann Freitag 11:00-11:45 H 13
326.947 Übung zu Formale Grundlagen 2 (Theoretische Informatik) F. Winkler Freitag 11:00-11:45 H 17
326.101 Logic I for Mathematicians and Computer Scientists S. Stifter Fri 10:15-11:45 HS 10
326.103 Logic I for Mathematicians and Computer Scientists: Exercises S. Stifter Fri 12:00-12:45 HS 3
326.611 Mathematical Logic and Logic-Oriented Programming Languages S. Stifter Fri 10:15-11:45 HS 10
326.103 Mathematical Logic and Logic-Oriented Programming Languages: Exercises S. Stifter Fri 12:00-12:45 HS 3
326.903 Linear Algebra and Analytic Geometry 1 P. Paule
Tue 9:15-10:00
Wed 10:15-11:45
Fri 10:15-11:45
HS 9
HS 15
HS 15
326.905 Linear Algebra and Analytic Geometry 1 (Exercises) J. Schicho Mon 8:30-10:00 BA 9912
326.907 Linear Algebra and Analytic Geometry 1 (Exercises) G. Landsmann Mon 8:30-10:00 T 212
326.909 Algorithmic Methods 1 W. Windsteiger Mon 12:00-13:30 HS 2
326.957 Algorithms and Data Structures C. Schneider Thu 8:30-10:00 HS 4
326.511 Formal Specification of Abstract Datatypes W. Schreiner Thu 17:15-18:45 K 223B
326.201 Computer Algebra F. Winkler Tue 16:15-17:45 T 711
326.203 Computer Algebra: Exercises F. Winkler Tue 15:30-16:15 T 711
326.225 Algorithmic Algebraic Geometry J. Schicho To be agreed To be agreed
326.262 Learning and Teaching Mathematics with the CAS-calculator TI-89/92 B. Kutzler to be agreed to be agreed
326.315 Decidable Logical Theories H. Rolletschek Thu 10:15-11:45 HS 11
326.321 Design and Analysis of Algorithms H. Rolletschek Thu 8:30-10:00 K 009D
326.443 Geometric Modelling S. Stifter Wed 8:30-10:00 T 1010
326.461 Special Topics: Algebraic Topology G. Landsmann Mon 10:15-11:45 T 1010
326.531 Logic Programming T. Jebelean Wed 15:45-17:15 T 911
326.611 Fine-Grained Parallel Computing T. Jebelean Fri 9:00-10:30 HA 105 (Hagenberg)
326.010 Thinking, Speaking, Writing (Scientific Working in Symbolic Computation) T. Jebelean Fri 14:00-15:30 HA 105 (Hagenberg)
326.020 English for Diploma- and Doctoral Students Gregory Curtis to be agreed to be agreed
326.050 Lecture Series Symbolic Computation F. Winkler Mon 13:30-14:30 Hagenberg
326.753 Literature Seminar Computer Algebra I F. Winkler to be agreed to be agreed
326.761 Programming Projekt Computer Algebra I F. Winkler to be agreed to be agreed
326.791 Projektpraktikum F. Winkler to be agreed to be agreed
326.833 Project Seminar "Parallel and Distributed Software and Algorithms" W. Schreiner Wed 16:30-18:00 Hagenberg
326.805 Project Seminar "Computer-Algebra" F. Winkler Thu 14:30-16:00 Hagenberg
326.807 Project Seminar (WS): Algorithmic Combinatorics P. Paule to be agreed to be agreed
326.823 Project Seminar (WS): Automated Theorem Proving (Theorema-Project) B. Buchberger , T. Jebelean to be agreed to be agreed
326.871 Project Seminar (WS): Logic and Set Theory H. Rolletschek , J. Schicho to be agreed to be agreed
326.703 Seminar for Diploma- and Doctoral Students (Computer Algebra) F. Winkler to be agreed to be agreed
326.707 Seminar for Diploma- and Doctoral Students (Algorithm Theory) H. Rolletschek to be agreed to be agreed
326.711 Seminar for Diploma- and Doctoral Students (Algorithmic Combinatorics) P. Paule to be agreed to be agreed


Maintainer: The System Administration
Last Modification: February 25, 2003

[Up] [RISC-Linz] [University] [Search]