Lehre im Bereich theoretische Konzepte und neue Anwendungen

Prof. Dr. sc. Christoph Meinel

Wintersemester 2003/04

Grundstudiumsveranstaltungen

• Vorlesung:
  Diskrete Strukturen und Logik
  Prof. Dr. Christoph Meinel
  
  
• Übung:
  Diskrete Strukturen und Logik
  Dipl. Inf. Volker Schillings
  Dipl. Inf. Volker Klotz
  
  
• Softwarepraktikum
  
  
• Proseminar:
  Schaltkreisenwurf und Verifikation
  Dipl. Inf. Volker Klotz
  

Hauptstudiumsveranstaltungen

• Vorlesung:
  Internet Security I - Internet Technology (for Students in Trier an ULI) (for Students from Internet Bridge Trier Beijing) ( Teleteaching )
  Prof. Dr. Christoph Meinel
  
  
• Übung:
  Internet Security I - Internet Technology
  Dipl. Inf. Volker Schillings
  
  
• Vorlesung:
  Komplexitätstheorie ( Teleteaching )
  Prof. Dr. Christoph Meinel
  
  
• Übung:
  Komplexitätstheorie
  Dipl. Inf. Volker Klotz
  
  
• Rechnerpraktikum:
  Elektronisches Publizieren
  Prof. Dr. Christoph Meinel, Dipl. Inf. Volker Schillings
  
  
• Rechnerpraktikum:
  IT-Sicherheit
  Prof. Dr. Christoph Meinel, Dipl. Inf. Volker Schillings, Dipl. Inf. Gennadi Umanski
  
  
• Forschungsseminar:
  Theoretische Konzepte und neue Anwendungen der Informatik
  Prof. Dr. Christoph Meinel
  
  
• Oberseminar Informatik
  Prof. Dr. Dieter Baum, Prof. Dr. Christoph Meinel, Prof. Dr. Stefan Näher, Prof. Dr. Peter Sturm, Prof. Dr. Bernd Walter
  
  
• Kolloquium
  Informatik
  Prof. Dr. Dieter Baum, Prof. Dr. Christoph Meinel, Prof. Dr. Stefan Näher, Prof. Dr. Peter Sturm, Prof. Dr. Bernd Walter
  
  

Nächstes Semester

01. Apr. - 30. Sep.   Semester
26. Apr. - 31. Jul.   Lehrveranstaltungen

Teleteaching Inhalte on-demand

Sommersemester 2003

Christoph Meinel: Informationssicherheit im Internet

Wintersemester 2002/2003

Christoph Meinel: Internet Security - Weaknesses and Targets

Sommersemester 2002

Christoph Meinel: Informationssicherheit im Internet

Skripte früherer Veranstaltungen

Wintersemester 2001/2002

Christoph Meinel: Diskrete Strukturen und Logik

Christoph Meinel: Technische Grundlagen des elektronischen Publizierens im WWW

Sommersemester 2001

Christoph Meinel: Automatentheorie und Formale Sprachen

Christoph Meinel: Sicherheitskonzepte im WWW

Wintersemester 2000/2001

Christoph Meinel: Diskrete Strukturen und Logik

Christoph Meinel: CAD-Logiksynthese und -optimierung

Martin Mundhenk: Berechenbarkeit und Komplexität

Sommersemester 2000

Christoph Meinel: Automaten und formale Sprachen

Christoph Meinel: Komplexitätstheorie

Wintersemester 1999/2000

Christoph Meinel: Diskrete Strukturen und Logik

Harald Sack:Technische Grundlagen des Elektronischen Publizierens im WWW (II)

Sommersemester 1999

Christoph Meinel:Technische Grundlagen des Elektronischen Publizierens im WWW

Wintersemester 1998/99

Christoph Meinel: Diskrete Strukturen und Logik

(aktuelles Skript siehe oben)

Sommersemester 1997

Carsten Damm: Randomisierte Algorithmen

(Private Webseiten)

Wintersemester 1997/98

Christoph Meinel: Komplexitätstheorie

Carsten Damm: Kryptographie

(Private Webseiten; Nur Overhead-Folien)

Sommersemester 1997

Christoph Meinel: Binäre Entscheidungsgraphen

Stasys Jukna: Complexity of Boolean Functions

(Private Webseiten; im Aufbau)

Sommersemester 1996

Christoph Meinel: Diskrete Strukturen und Logik II

(aktuelles Skript siehe oben)

Wintersemester 1995/96

Christoph Meinel: Diskrete Strukturen und Logik I

(aktuelles Skript siehe oben)

Christoph Meinel: Binäre Entscheidungsgraphen

(aktuelles Skript siehe oben)

Sommersemester 1995

Christoph Meinel: Schaltkreiskomplexitätstheorie

Martin Mundhenk: Logik für Informatiker

(in Überarbeitung)

Wintersemester 1994/95

Christoph Meinel: Logikminimierung

Christoph Meinel: Binäre Entscheidungsgraphen

(aktuelles Skript siehe oben)

Martin Mundhenk: Effiziente Graphalgorithmen

(in Überarbeitung)

Sommersemester 1994

Christoph Meinel: Berechenbarkeit und Komplexität

Wintersemester 1993/94

Christoph Meinel: Automaten und formale Sprachen

Christoph Meinel: Informatik 1

Sommersemester 1993

Kurt Sieber: Formale Semantik

Wintersemester 1992/93

Christoph Meinel: Automaten und formale Sprachen

(aktuelles Skript siehe oben)

Christoph Meinel: Schaltkreiskomplexitätstheorie

(aktuelles Skript siehe oben)

Wintersemester 1991/92

Christoph Meinel: Logikminimierung

(aktuelles Skript siehe oben)