Vorlesungen aus vergangenen Semestern

Prof. Dr. H.-G. Gräbe

Vorlesungen, Seminare und von mir betreute Praktika aus vergangenen Semestern

Wintersemester 2011/12

Einführung in das symbolische Rechnen (2V+1Ü) --> Ergebnis der Lehrevaluation
Software aus Komponenten (2V) --> Folien (zip 2.0 MB)
Seminar "Wissen in der modernen Gesellschaft" (2S)

Sommersemester 2011

Softwaretechnik-Praktikum (4P) --> Webseiten, Ergebnis der Lehrevaluation
Software-Qualitätsmanagement (2V als Teil des Moduls SW-Management) --> Folien (zip 3.0 MB), Ergebnis der Lehrevaluation
Gröbnerbasen und Anwendungen (2V) --> Skript
Seminar "Wissen in der modernen Gesellschaft" (2S)

Wintersemester 2010/11

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript
Software aus Komponenten (2V) --> Ergebnis der Lehrevaluation, Folien (tgz 2.0 MB)
Geometrie mit dem Computer (2V) --> Skript
Seminar "Wissen in der modernen Gesellschaft" (2S)

Sommersemester 2010

Softwaretechnik-Praktikum (4P) --> Webseiten, Ergebnis der Lehrevaluation
Software-Qualitätsmanagement (2V als Teil des Moduls SW-Management) --> Folien (tgz 3.6 MB), Modulklausur Wirtschaftswissenschaften
Seminar "Wissen in der modernen Gesellschaft" (2S)

Wintersemester 2009/10

Einführung in das symbolische Rechnen (2V+1Ü) --> Ergebnis der Lehrevaluation, Skript
Software aus Komponenten (2V) --> Folien (tgz 2.1 MB)
Konstruktive Invariantentheorie (2V) --> Skript

Sommersemester 2009

Softwaretechnik-Praktikum (4P) --> Webseiten
Software-Qualitätsmanagement (2V) --> Folien (tgz 3.5 MB), Klausur Juli 2009, Nachklausur Febr 2010
Algorithmen für Polynome (2V) --> Skript

Wintersemester 2008/09

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript, Klausur
Software aus Komponenten (2V) --> Folien (tgz 4.6 MB), Klausur
Seminar "Wissen in der modernen Gesellschaft" (2S)
Algorithmen für Zahlen und Primzahlen (2V) --> Skript

Sommersemester 2008

Softwaretechnik-Praktikum (4P) --> Webseiten, Ergebnis der Lehrevaluation
Software-Qualitätsmanagement (2V) --> Folien (tgz 3.9 MB), Ergebnis der Lehrevaluation, Klausur Juli 2008, Nachklausur Febr 2009

Wintersemester 2007/08

Einführung in das symbolische Rechnen (2V+1Ü) --> Ergebnis der Lehrevaluation, Klausur
Software aus Komponenten (2V) --> Folien (tgz 3 MB), Ergebnis der Lehrevaluation, Klausur
Gröbnerbasen und Anwendungen (2V) --> Skript

Sommersemester 2007

Softwaretechnik-Praktikum (4P) --> Webseiten, Ergebnis der Lehrevaluation
Software-Qualitätsmanagement (2V) --> Folien (tgz 3.6 MB), Ergebnis der Lehrevaluation, Klausur Juli 2007, Nachklausur Febr 2008
Geometrie mit dem Computer (2V) --> Skript

Wintersemester 2006/07

Einführung in das symbolische Rechnen (2V+1Ü) --> Ergebnis der Lehrevaluation, Klausur
Software aus Komponenten (2V) --> Folien (tgz 3 MB), Ergebnis der Lehrevaluation, Klausur
Algorithmen für Zahlen und Primzahlen (2V+1Ü)

Sommersemester 2006

Softwaretechnik-Praktikum (4P) --> Webseiten, Ergebnis der Lehrevaluation
Software-Qualitätsmanagement (2V) --> Folien (tgz 4.3 MB), Ergebnis der Lehrevaluation, Klausur Juli 2006, Klausur Febr. 2007
Konstruktive Invariantentheorie (2V) --> Skript

Wintersemester 2005/06

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript, Ergebnis der Lehrevaluation, Klausur
Software aus Komponenten (2V) --> Folien (tgz 3 MB), Ergebnis der Lehrevaluation, Klausur
Gröbnerbasen und Anwendungen (2V) --> Skript

Sommersemester 2005

Softwaretechnik-Praktikum (4P) --> Webseiten
Software-Qualitätsmanagement (2V) --> Folien (tgz 5.3 MB), Klausur Juli 2005, Klausur März 2006
Geometrie mit dem Computer (2V) --> Skript

Wintersemester 2004/05

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript, Klausur
Software aus Komponenten (2V) --> Folien (tgz 1.4 MB), Klausur
Algorithmen für Polynome (2V) --> Skript

Sommersemester 2004

Softwaretechnik-Praktikum (4P) --> Webseiten
Software-Qualitätsmanagement (2V) --> Folien (tgz, 8.5 MB), Klausur Juli 2004, Klausur Febr. 2005

Wintersemester 2003/04

Konstruktive Invariantentheorie (2V) --> Skript
Component Ware und Web-Services (2V) -- > Folien (tgz, 3 MB), Klausur, Nachklausur
Algorithmen für Zahlen und Primzahlen (2V+1Ü) --> Skript
Algebraische Komplexitätstheorie (2V) --> Skript

Sommersemester 2003

Softwaretechnik-Praktikum (4P) --> Webseiten
Einführung in das symbolische Rechnen (2V+1Ü) --> Skript
Geometrie mit dem Computer (2V) --> Skript
Gröbnerbasen und deren Anwendungen (2V) --> Skript

Sommersemester 2002

Programmieren und Programmiersprachen (2V) --> Folien (ab VL 2), Klausur
Grundlegende Algorithmen der Computeralgebra (2V+1Ü) --> Skript

Wintersemester 2001/02

Grundkursvorlesung "Digitale Informationsverarbeitung" (2V) --> Skript, Klausur, Wiederholungs-Klausur
Einführung in das symbolische Rechnen (2V+1Ü) --> Skript, Klausur
Praktikum "Symbolisches Rechnen" (2P)
Finanzmathematik mit dem Computer (2S)

Sommersemester 2001

Grundlegende Algorithmen der Computeralgebra (2V+1Ü)

Wintersemester 2000/01

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript, Klausur
Praktikum "Symbolisches Rechnen" (2P)
Geometrie mit dem Computer --> Skript

Sommersemester 2000

Grundlegende Algorithmen der Computeralgebra (2V+1Ü) --> Skript
Gröbnerbasen und deren Anwendungen (2V) --> Skript

Wintersemester 1999/2000

Einführung in das symbolische Rechnen (2V+1Ü) --> Skript
Praktikum "Symbolisches Rechnen" (2P)
Einführung in die Roboterkinematik (2S)

Sommersemester 1999

Summationsformeln (2S)

Wintersemester 1998/99

Einführung in die Computeralgebra (2V)
Computeralgebrapraktikum (2P) --> Begleitmaterial

Sommersemester 1998

Algebraische Komplexitätstheorie (2V)
Mechanisiertes Theorembeweisen in der Geometrie (2V) --> Notizen
Grundlegende Algorithmen der Computeralgebra (2V) --> Skript

Wintersemester 1997/98

Einführung in die Computeralgebra (2V) --> Skript
Computeralgebrapraktikum (2P)

Sommersemester 1997

Konstruktive nichtlineare Algebra (2V) --> Notizen
Algebraische Komplexitätstheorie (2V) --> Skript
Programmieren in AXIOMXL (2S)

Wintersemester 1996/97

Automatisches Theorembeweisen in der Geometrie (2V) --> Notizen
Computeralgebra - GGT, Primtests, Faktorisierung (2V) --> Notizen

Sommersemester 1996

Einführung in die Computeralgebra (2V)
Konstruktive nichtlineare Algebra (2V)
Einführung in die Roboterkinematik (2S)
Computeralgebrapraktikum (2P)

Wintersemester 1995/96

Basisalgorithmen der Computeralgebra (2V)
Theorie der Invarianten endlicher Gruppen (2V)
Digitale Informationsverarbeitung (4V+2Ü f. Lehramt Informatik)

Sommersemester 1995

Einführung in die Computeralgebra (2V)
Kombinatorik und Graphentheorie (2V)
Programmierung und Programmiersprachen (4V+2Ü f. Lehramt Informatik)
Computeralgebrapraktikum (2P)

Wintersemester 1994/95

Konstruktive nichtlineare Algebra (2V)
Algebraische Komplexitätstheorie (2S)
Digitale Informationsverarbeitung (4V+2Ü f. Lehramt Informatik)

Sommersemester 1994

Graphentheorie (2V)

Wintersemester 1993/94

Basisalgorithmen der Computeralgebra (2V)
Einführung in die Darstellungstheorie endlicher Gruppen (2V)

Sommersemester 1993

Grundlagen der Computeralgebra (2V)
Konstruktive synthetische Geometrie (2V)

Wintersemester 1992/93

Einführung in die Computeralgebra (2V)
Konstruktive nichtlineare Algebra (2V)

Sommersemester 1991

Algorithmen, Daten, Programme (4V+2Ü Postgradualstudium Lehramt Informatik)

Wintersemester 1990/91

Ausgewählte Ergänzungskapitel zur Mathematik (2V)

apl. Prof. Dr. H.-G. Gräbe