|
|
|
|
|
RISC-Linz Courses WS 2000/2001 |
|
| Number | Title | Lecturer | Time | Room |
|
326.101 | Logic I for Mathematicians and Computer Scientists | B. Buchberger | Fri 10:15-11:45 | HS 10 |
|
326.103 | Logic I for Mathematicians and Computer Scientists: Exercise | S. Stifter | Fri 12:00-12:45 | HS 3 |
|
326.201 | Introduction to Computer Algebra | F. Winkler | Tue 16:30-18:00 | HS 12 |
|
326.203 | Introduction to Computer Algebra: Exercises | F. Winkler | Tue 15:30-16:15 | K 153C |
|
326.225 | Algorithmic Algebraic Geometry | J. Schicho | Wed 14:45-16:15 | BA 9912 |
|
326.233 | Computer Analysis | P. Paule | Wed 10:15-11.45 | T 1010 |
|
326.246 | Algorithmic Combinatorics | P. Paule | Wed 8:30-10:00 | T 711 |
|
326.260 | Mathematical Education with DERIVE and TI-89/92 | B. Kutzler | to be agreed | to be agreed |
|
326.267 | Algebraic Coding Theory | F. Winkler | Tue 13:45-15:15 | K 223B |
|
326.315 | Decidable Logical Theories | H. Rolletschek | Thu 10:15-11:45 | K 123A |
|
326.321 | Design and Analysis of Algorithms | H. Rolletschek | Thu 8:15-9:45 | K 009D |
|
326.429 | Virtual Environments: Design and Modelling | H. Mayr | Tue 8:00-10:00 | T 811 |
|
326.443 | Geometric Modelling | S. Stifter | Wed 8:00-10:00 | J 311B |
|
326.511 | Formal Specification of Abstract Data Types | W. Schreiner | Thu 16:00-18:00 (Start: 9.11.) | Hagenberg |
|
326.531 | Logic Programming | E. Blurock | Wed 16:15-18:00 | T 211 |
|
326.535 | Knowledge Based Engineering | E. Blurock | Wed 14:30-16:00 | HS 14 |
|
326.575 | Special Topics from Software Technology | Werner Winiwarter | Thu 15:15-16:45 | T 111 |
|
326.579 | Special Topics from Language Technology | Werner Winiwarter | Thu 16:45-18:15 | T 111 |
|
326.602 | Introduction to Parallel and Distributed Computing | W. Schreiner | Mon 8:00-10:00 (Start: 23.10.) | T 811 |
|
326.010 | Thinking, Speaking, Writing (Scientific Working in Symbolic Computation) | B. Buchberger | Fri 13:00-14:30 | HA 105 |
|
326.020 | English for Diploma- and Doctoral Students | Gregory Curtis | to be agreed | to be agreed |
|
326.022 | English II for Diploma- and Doctoral Students | Gregory Curtis | to be agreed | to be agreed |
|
326.029 | Project Engineering: Engineering-like Software Development | H. Mayr | Tue 10:00-11.30 | J 311B |
|
326.050 | Lecture Series Symbolic Computation | B. Buchberger , F. Winkler | to be agreed | to be agreed |
|
326.751 | Literature Seminar Symbolic Computation I | B. Buchberger and assistant | to be agreed | to be agreed |
|
326.757 | Programming Projekt Symbolic Computation I | B. Buchberger and assistant | to be agreed | to be agreed |
|
326.701 | Seminar for Diploma- and Doctoral Students (Symbolic Computation) | B. Buchberger | Mon 13:30-15:00 | HA 105 |
|
326.703 | Seminar for Diploma- and Doctoral Students (Computer Algebra) | F. Winkler | to be agreed | to be agreed |
|
326.705 | Seminar for Diploma- and Doctoral Students (Algorithmic Geometry) | S. Stifter | 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 |
|
326.719 | Seminar for Diploma- and Doctoral Students | Werner Winiwarter | to be agreed | to be agreed |
|
326.805 | Project Seminar (WS): Computer-Algebra | F. Winkler | Thu 14:30-16:00 | HA 105 |
|
326.807 | Project Seminar (WS): Algorithmic Combinatorics | P. Paule | to be agreed | to be agreed |
|
326.813 | Project Seminar (WS): Algorithms for CAD and Robot Programming | S. Stifter | Mon 15:15-17:00 | HA 105 |
|
326.817 | Project Seminar (WS): Expert Systems | F. Winkler , E. Blurock | 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.825 | Project Seminar (WS): Geometry and Modelling | B. Buchberger , H. Mayr | to be agreed | to be agreed |
|
326.833 | Project Seminar (WS): Parallel and Distributed Software and Algorithms | F. Winkler , W. Schreiner | to be agreed | to be agreed |
|
326.853 | Project Seminar (WS): Proving and Solving over the Reals | F. Winkler | to be agreed | to be agreed |
|
326.867 | Project Seminar (WS): Language Technology 2 | Werner Winiwarter | to be agreed | to be agreed |