|
|
|
|
|
RISC-Linz Courses SS 2000 |
|
| Number | Title | Lecturer | Time | Room |
|
326.913 | Mathematik 1 (Analysis) [früher Mathematik für Informatiker III] | P. Paule | Mon 8:30-10:00, Wed 9:15-10:00 | HS 15, HS 9 |
|
326.923 | Mathematik 1 (Analysis) Übung [früher Mathematik für Informatiker III] | W. Windsteiger | Wed 8:15-9:00 | HS 9 |
|
326.952 | Algorithms and Data Structures | F. Lichtenberger , P. Kulczycki | Tue 13:00-14:30 Wed 16:15-17:45 | HS 4, HS 12 |
|
326.102 | Logic II for Mathematicians and Computer Scientists | J. Schicho | Tue 10:15-11:45 | T 416 |
|
326.002 | Survey Course on Symbolic Computation | F. Winkler | Thu 12:00-13:30 | HS 13 |
|
326.156 | The Generalization of Proofs and Calculations | M. Baaz | Fri 15:00-18:00 | T 1010 |
|
326.208 | Advanced Computer Algebra | F. Winkler | Tue 14:45-16:15 | T 211 |
|
326.218 | Commutative Algebra and Algebraic Geometry | F. Winkler | Tue 16:30-18:00 | T 211 |
|
326.256 | Programming in MATHEMATICA | W. Windsteiger | to be agreed | to be agreed |
|
326.260 | Computer Algebra Systems (DERIVE, TI 89/92) as Tools for Mathematical Education | B. Kutzler | to be agreed | to be agreed |
|
326.272 | Elimination Theory | D. Wang | Blocked | to be agreed |
|
326.306 | Decidability- and Complexity Classes | H. Rolletschek | Thur 10:15-11:45 | K 223 B |
|
326.406 | Geometric Foundations for Symbolic Computation | S. Stifter | Wed 8:00-10:00 | HT 177 F |
|
326.408 | Geometric Foundations for Symbolic Computation (exercises) | S. Stifter | to be agreed | to be agreed |
|
326.432 | Virtual Environments: Visualization and Simulation | H. Mayr | Tue 8:00-10:00 | T 711 |
|
326.506 | Formal Specification and Verification | H. Rolletschek | Thur 8:00-10:00 | K 009 D |
|
326.512 | Functional Programming (LISP) | E. Blurock | Wed 16:30-18:00 | BA 9908 |
|
326.517 | Formal Semantics of Type and Module Systems | W. Schreiner | Thu 16:30-18:00 | KG 712 |
|
326.616 | Parallel Algorithms in Symbolic Computation | T. Jebelean | Fri 10:15-11:45 | K 123 A |
|
326.623 | Algorithms for Distributed Systems | W. Schreiner | Mon 8:30-10:00 | T 811 |
|
326.558 | Recent Trends in Computer Architectures | P. Kacsuk | Blocked | |
|
326.658 | Parallel Software Engineering | P. Kacsuk | Blocked | |
|
326.010 | Thinking, Speaking, Writing (General Working Technique for Mathematicians and Computer Scientists) | 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.050 | Lecture Series Symbolic Computation | F. Winkler | to be agreed | to be agreed |
|
326.702 | Seminar for Diploma- and Doctoral Students II (Symbolic Computation) | B. Buchberger | Mon 13.30-15.00 | HA 105 |
|
326.704 | Seminar for Diploma- and Doctoral Students II (Computer Algebra) | F. Winkler | to be agreed | to be agreed |
|
326.706 | Seminar for Diploma- and Doctoral Students II (Algorithmic Geometry) | S. Stifter | to be agreed | to be agreed |
|
326.708 | Seminar for Diploma- and Doctoral Students II (Algorithm Theory) | H. Rolletschek | to be agreed | to be agreed |
|
326.712 | Seminar for Diploma- and Doctoral Students II (Algorithmic Combinatorics) | P. Paule | to be agreed | to be agreed |
|
326.752 | Literature Seminar Symbolic Computation II | B. Buchberger and assistant | to be agreed | to be agreed |
|
326.758 | Programming Project Symbolic Computation II | B. Buchberger and assistant | to be agreed | to be agreed |
|
326.806 | Project Seminar (SS): Computer Algebra | F. Winkler | Thu 14:30-16:00 | HA 105 |
|
326.808 | Project Seminar (SS): Algorithmic Combinatorics | P. Paule | to be agreed | to be agreed |
|
326.814 | Project Seminar (SS): Algorithms for CAD and Robot Programming | S. Stifter | Mon 15:15-17:00 | HA 105 |
|
326.824 | Project Seminar (SS): Automatic Theorem Proving (Theorema Project) | B. Buchberger , T. Jebelean | to be agreed | to be agreed |
|
326.826 | Project Seminar (SS): Geometry and Modelling | B. Buchberger , H. Mayr | to be agreed | to be agreed |
|
326.834 | Projektseminar (SS) Parallel and Distributed Software and Algorithms | B. Buchberger , W. Schreiner | Thu 13:00-14:30 | HA 105 |
|
326.854 | Project Seminar (SS): Proving and Solving over the Reals | B. Buchberger , J. Schicho | to be agreed | to be agreed |
|
326.858 | Project Seminar (SS): Applications of Sheaf Theory | B. Buchberger , J. Schicho | to be agreed | to be agreed |