Archiv

Wintersemester 2019/2020

  • Vorlesung/Übung (B.Sc) Programmierung I
  • Vorlesung (B.Sc) Berechenbarkeit und Komplexitätstheorie

    Sommersemester 2019

    • Vorlesung/Übung (M.Sc) Berechenbare Analysis
    • Vorlesung (B.Sc) Elementare Logik

    Wintersemester 2018/2019

    • Vorlesung/Übung (B.Sc) Programmierung I
    • Vorlesung (B.Sc) Berechenbarkeit und Komplexitätstheorie

      Sommersemester 2018

      • Vorlesung/Übung (M.Sc) Rechnerarithmetik
      • Vorlesung (B.Sc) Elementare Logik

      Wintersemester 2017/2018

      • Vorlesung/Übung (B.Sc) Programmierung I
      • Vorlesung (B.Sc) Berechenbarkeit und Komplexitätstheorie

        Sommersemester 2017

        • Vorlesung/Übung (M.Sc) Ereignisgesteuerte Simulation
        • Vorlesung (B.Sc) Elementare Logik

        Wintersemester 2016/2017

        • Vorlesung/Übung (B.Sc) Programmierung I
        • Vorlesung (M.Sc) Berechenbare Analysis

        Sommersemester 2016

        • Vorlesung/Übung (B.Sc) Elementare Logik
        • Vorlesung/Übung (M.Sc) Rechnerarithmetik

        Wintersemester 2015/2016

        • Vorlesung/Übung (M.Sc) Ereignisgesteuerte Simulation
        • Vorlesung (B.Sc) Programmierung Ib
        • Vorlesung (B.Sc) Programmierung I

        Sommersemester 2015

        • Vorlesung/Übung (B.Sc) Elementare Logik
        • Vorlesung (B.Sc) Programmierung Ia

        Wintersemester 2014/2015

          • Vorlesung/Übung (M.Sc) Berechenbare Analysis
          • Vorlesung (B.Sc) Programmierung Ib

           

          Sommersemester 2014

            • Vorlesung/Übung (B.Sc) Elementare Logik
            • Vorlesung (B.Sc) Programmierung Ia
            • Vorlesung/Übung (M.Sc) Rechnerarithmetik

            Wintersemester 2013/2014

            • Vorlesung (MA) Ereignisgesteuerte Simulation
            • Übung Ereignisgesteuerte Simulation
            • Vorlesung (BA) Programmierung Ib

            Sommersemester 2013

              • Vorlesung (BA)  Elementare Logik
              • Übung  Elementare Logik
              • Vorlesung (BA) Programmierung Ia

              Wintersemester 2012/2013

              • Vorlesung (MA) Berechenbare Analysis
              • Übung  Berechenbare Analysis
              • Vorlesung (BA) Programmierung Ib

              Sommersemester 2011

              • Vorlesung (BA) Grundlagen Theoretischer Informatik III
              • Übung Grundlagen Theoretischer Informatik III
              • Vorlesung (BA) Programmierung Ia

              Wintersemester 2010/11

              • Vorlesung (BA) Grundlagen Theoretischer Informatik II
              • Übung Grundlagen Theoretischer Informatik II
              • Vorlesung (MA) Berechenbare Analysis
              • Übung Berechenbare Analysis 

              WS 2009/2010

              • Vorlesung Ereignisgesteuerte Simulation
              • Übung Ereignisgesteuerte Simulation
              • Seminar/Proseminar Theoretische Informatik 

              SS 2009

              • Vorlesung Grundlagen Theoretische Informatik III
              • Vorlesung Grundlagen Theoretische Informatik I
              • Vorlesung Informations- und Codierungstheorie
              • Übung Informations- und Codierungstheorie
              • Seminar/Proseminar Theoretische Informatik

              SS 2008

              • Vorlesung Grundlagen Theoretischer Informatik I
              • Vorlesung Rechnerarithmetik
              • Übung Rechnerarithmetik 

              WS 2007/2008

              • Vorlesung/Übung Berechenbarkeit und Komplexitätstheorie
              • Vorlesung/Übung  Informations- und Codierungstheorie

              __________________________________________________________________________

              Berechenbarkeit und Komplexitätstheorie, WS 2006/2007

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Do 12-14, Raum Hz204
              • Termin/Ort der Übung: Do 14-16, Raum Hz204
              • Einzelheiten: Skript, Folien, Übungsblätter etc unter studip.uni-trier.de

              Rechner-Arithmetik, WS 2006/2007

              • Vorlesung für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Fr 12-14, Raum Hz201
              • Termin/Ort der Übung: Fr 14-16, Raum Hz201
              • Einzelheiten: Skript, Folien, Übungsblätter etc unter studip.uni-trier.de

               

              Formale Semantik, SS 2006

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Mo 10-12, Raum H11
              • Termin/Ort der Übung: Mo 9-10, Raum H11
              • Einzelheiten: Skript, Folien, Übungsblätter etc unter studip.uni-trier.de

               

              Ereignisgesteuerte Simulation, SS 2006

              • Vorlesung für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Hauptstudium, mit entsprechendem Vertiefungsfach oder Wahlpflichtfach,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: mo 14-16, Raum H12
              • Termin/Ort der Übung: Fr 12-14, Raum H11
              • Einzelheiten: Skript, Folien, Übungsblätter etc unter studip.uni-trier.de

              Berechenbarkeit und Komplexitätstheorie, WS 2005/2006

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Do 10-12, Raum HS 13
              • Termin/Ort der Übung: Do 12-14, Raum HS 11
              • Einzelheiten: Skript, Folien, Übungsblätter etc (ab jetzt unter studip.uni-trier.de )

              Rechner-Arithmetik, WS 2005/2006

              • Vorlesung für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Fr 12-14, Raum H11 (vorläufig!)
              • Termin/Ort der Übung: Fr 14-16, Raum H11 (vorläufig!)
              • Einzelheiten: Skript, Übungen etc (ab jetzt unter studip.uni-trier.de )

              Formale Semantik, SS 2005

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Fr 12-16, Raum H11
              • Die Vorlesung findet nur an folgenden Terminen statt: 29. April, 13. Mai, 3./17. Juni, 1./15./29. Juli
              • Einzelheiten: Skript, etc

              Praktikum zur Rechnerarithmetik, SS 2005

              • für Studierende der Diplom-Informatik im Hauptstudium oder mit Nebenfach Informatik in der Mathematik
              • Termin: nach Vereinbarung

              Informatik B2, SS 2005 (Universität Duisburg-Essen)

              Informationstheorie, SS 2005 (Universität Duisburg-Essen)

              Komplexitätstheorie, SS 2005 (Universität Duisburg-Essen)

              Rechner-Arithmetik, WS 2004/2005

              • Vorlesung für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Di 10-12 H11, Do 10-12 H11
              • Termin/Ort der Uebung: Fr 12-14, Raum H11
              • Einzelheiten: Skript, Übungen etc

              Formale Semantik, SS 2004

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Mo 12-14, Raum H11
              • Termin/Ort der Übung: Fr 12-14, Raum H6
              • Einzelheiten: Skript, Folien, Übungblätter etc

              Ereignisgesteuerte Simulation, SS 2004

              • Vorlesung für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Hauptstudium, mit entsprechendem Vertiefungsfach oder Wahlpflichtfach,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin/Ort der Vorlesung: Do 14-16, Raum H12
              • Termin/Ort der Übung: Di 10-12, Raum Hz202
              • Einzelheiten: Skript, Folien, Übungsblätter etc

              Praktikum zur Rechnerarithmetik, SS 2004

              • Praktikum für Studierende der Diplom-Informatik im Hauptstudium
              • Termin: nach Vereinbarung
              • Anmeldung: Raum H439

              Rechner-Arithmetik, WS 2003/2004

              Praktikum zur Rechnerarithmetik, WS 2003/2004

              • Praktikum für Studierende der Diplom-Informatik im Hauptstudium
              • Termin: nach Vereinbarung
              • Anmeldung: Raum H439

              Automatentheorie und formale Sprachen, SS 2003

              • Vorlesung für
                • Studierende der Diplom-Informatik im Grundstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Grundstudium,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin der Vorlesung: Di 10-14, HS3 (A/B-Gebäude)
              • Termin der Übung: Do 14-16, HZ203; Do 16-18, HZ203; Do 16-18, H6
              • Allgemeine Informationen zur Vorlesung
              • Anmeldung zu Übungsgruppen

              Komplexitätstheorie II, SS 2003

              • (Kern-)Vorlesung zur theoretischen Informatik, für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Hauptstudium, mit entsprechendem Vertiefungsfach oder Wahlpflichtfach,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin der Vorlesung: Di 14-16, H13
              • Termin der Übung: Do 16-18, H13
              • Kurz-Skript zur Vorlesung Kapitel 1-12 (als PDF)
              • 6. Übungsblatt (als PDF)
              • 7. Übungsblatt (als PDF)
              • 9. Übungsblatt (als PDF)
              • 10. Übungsblatt (als PDF)

              Ereignisgesteuerte Simulation, WS 2002/2003

              Komplexitätstheorie I, WS 2002/2003

              • (Kern-)Vorlesung zur theoretischen Informatik, für
                • Studierende der Diplom-Informatik im Hauptstudium oder
                • Studierende der Diplom-Wirtschaftsinformatik im Hauptstudium, mit entsprechendem Vertiefungsfach oder Wahlpflichtfach,
                • Studierende mit Nebenfach Informatik (bitte Rücksprache!)
              • Termin der Vorlesung: Do 10-12, V302
              • Termin der Übung: Do 16-18, HS 1
              • Kurz-Skript zur Vorlesung Kapitel 1-6 (als PDF)

              Praktikum zur Rechnerarithmetik, WS 2002/2003

              • Praktikum für Studierende der Diplom-Informatik im Hauptstudium
              • Anmeldung: Raum V221

              Proseminar Rechnerarithmetik, WS 2002/2003

              • Das Proseminar fällt aus!

              Rechner-Arithmetik, SS 2002

              Stochastische Modellierung I, WS 2001/2002

              Ereignisgesteuerte Simulation, WS 2001/2002

              Proseminar Rechnerkommunikation, WS 2000/2001

              Ereignisgesteuerte Simulation, WS 2000/2001

              FORTRAN, SS 2000

              Stochastische Modellierung I, WS 1999/2000