RISC-Linz Courses WS 2002/2003 |
![]() |
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 |
|
| ||||||
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 |