Info
Neuigkeiten

Skript "Logik und Berechenbarkeit"

08/11/24 00:17
Das Skript ist online.

Übungsblatt "Hardwarebeschreibungssprachen"

06/11/24 22:44
Das neue Übungsblatt ist online.

Erfolg von ITS-Studies

04/11/24 17:07
Unsere Anstrengungen bzgl. Forensik tragen Früchte.

Advanced digital IC Design

28/10/24 14:54
Die Folien der Projektideen sind online.

Übungsklausur "Logik"

29/01/24 18:20
Eine Übungsklausur ist verfügbar.

Folien für Diskrete Strukturen

19/01/24 01:03
Neue Folien sind online.

Folien für Hardwarebeschreibungssprachen online

04/11/23 00:48
Folien online

Mitschriften zu "Diskrete Strukturen" online

03/11/23 01:03
Mitschriften finden sich auf der geschützten Seite.

Erklärvideos "Diskrete Strukturen"

25/10/23 08:29
Erklärvideos online auf Panopto.

Forschung

20/10/23 18:36
Vielleicht ist es interessant zu sehen, an welchen Themen der Studiengang „Informatik Technische Systeme“ im Fachbereich DCSM der Hochschule RheinMain (mit)arbeitet. Signifikante Teile dieses Projekts sind von uns:
https://heise.de/-9340167
https://riscv.org/news/2023/10/research-consortium-sets-standards-in-the-field-of-open-source-hardware-open-tools-used-for-a-security-chip/
https://nachrichten.idw-online.de/2023/10/20/forschungskonsortium-setzt-massstaebe-im-bereich-open-source-hardware-offene-werkzeuge-fuer-sicherheitschip-genutzt?groupcolor=1

Cybersicherheit

20/10/23 00:14
Vielleicht interessieren Sie sich was auf dem Gebiet der Cybersicherheit so in Hessen passiert. Auch wir von der Hochschule RheinMain sind vertreten (Folge 4 am 15.1.2024):

Kann Künstliche Intelligenz dabei helfen, Hass und Hetze im Netz zu erkennen? Lassen sich elektronische Zugangskarten so weiterentwickeln, dass nur autorisierte Personen Zugang zu einem Gebäude bekommen? Wie kann innovative Technologie bei der Bekämpfung von Kinderpornographie helfen? Der neue Podcast „Innovation Cybersicherheit – mehr als ein Talk“ des Hessischen Ministeriums des Innern und für Sport gibt Einblicke in innovative Forschungsprojekte im Bereich Cybersicherheit, die vom Land mit einer eigens eingerichteten Förderrichtlinie finanziell unterstützt werden. Der Podcast kann ab sofort auf allen etablierten Plattformen angehört werden.



Apple: https://podcasts.apple.com/de/podcast/innovation-cybersicherheit-mehr-als- ein-talk/id1711806974

Spotify: https://open.spotify.com/show/5aBB8PZJNLhi6F2aEZClbD

Deezer: https://deezer.page.link/GuBzKPZ8vQzDYici7

Podcast.de: https://www.podcast.de/podcast/3337799/innovation-cybersicherheit- mehr-als-ein-talk


Probeklausur "Automatentheorie & Formale Sprachen"

10/07/23 16:05
Eine Probeklausur (wie versprochen) ist online. Bitte beachten Sie, dass eine Klausur in der "Wirklichkeit" viel schwer empfunden wird / ist. Bereiten Sie alle Themen vor und nicht nur die, die in der Probeklausur vorkommen!

Anmeldung

17/04/23 12:50
Liebe Studentinnen und Studenten,

bitte denken Sie daran, dass Sie sich bis zum 02.05.2023 im QIS / COMPASS zu den Prüfungen mit den Prüfungsformen:
  • praktische Tätigkeit mit Fachgespräch
  • praktische Tätigkeit
  • Ausarbeitung und Präsentation (betrifft die Lehrveranstaltung Fachseminar)
anmelden und sich nach erfolgreicher Anmeldung ein PDF-Dokument als Nachweis erstellen.
Im AoR unter Mitteilungen, Aushänge finden Sie die Fächer mit den entsprechenden Prüfungsformen. Diese Nachricht bezieht sich nicht auf die Anmeldung der Berufspraktischen Tätigkeit. Dazu nutzen Sie bitte weiterhin das Formular auf unserer Homepage.

Bonusübungsblatt "Hardwarebeschreibungssprachen"

06/02/23 11:36
Wie versprochen ist ein Bonusübungsblatt verfügbar.

Logik und Berechenbarkeit: Vorlesungsmitschriften und Übungsklausur online

01/02/23 23:05
Wie versprochen im geschützten Bereich online.

Übungsklausur "Diskrete Strukturen"

13/01/22 17:40
Eine Übungsklausur ist im geschützten Bereich online.

Übungsklausur "Logik und Berechenbarkeit"

13/01/22 17:27
Eine Übungsklausur ist online.

Hinweis: Firmenkontakttag

05/11/21 10:51
Um Teilnahme am Firmenkontakttag am 9.11. von 14:30 - 17:00 wird zahlreich gebeten.

Anmeldung

01/11/21 22:23
Liebe Studentinnen und Studenten,

bitte denken Sie daran, dass Sie sich bis zum 08.11.2021 im QIS / COMPASS zu den Prüfungen mit den Prüfungsformen:
  • praktische Tätigkeit mit Fachgespräch
  • praktische Tätigkeit
  • Ausarbeitung und Präsentation (betrifft die Lehrveranstaltung Fachseminar)
anmelden und sich nach erfolgreicher Anmeldung ein PDF-Dokument als Nachweis erstellen.
Bei Fragen können Sie sich gerne an das Sekretariat wenden.

Unentscheidbarkeit

07/07/21 08:35
Eine schöne Einführung in die Unentschuldbarkeit

Gruppentheorie

06/07/21 00:56
Gruppentheorie anschaulicher

NE555

10/06/21 14:26
Eine diskrete Version des NE555.

Unvollständigkeit der Mathematik

23/05/21 22:59
Ein sehr empfehlenswertes Video über den Unvollständigkeitssatz von Gödel und die Methode der Diagonalisierung.

Sicherheitslücken

11/05/21 17:16
Der wichtigste CVE des Jahres: CVE-2021-32471
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471

Übungsmitschriften Logik

28/02/21 20:39
Weiteres Material hochgeladen

Lust auf Komplexitätstheorie

08/06/20 16:44
Hier ein kleiner Appetit-Happen.

Krypto mal anders

08/06/20 16:32
Viel Spass mit den Pirates of CSIDH

Folien zur ITS Einführungsveranstaltung

19/04/20 20:53
Die Folien zur Einführungsveranstaltung des Studiengangs ITS ihn Version 1.0 sind nun online.

John Conway gestorben

12/04/20 19:37
Mit 82 Jahren ist der Mathematiker John H. Conway nach einer Infektion mit dem Coronavirus gestorben.

Anmeldungen

10/01/20 10:01
Liebe Dozentinnen und Dozenten,

ab heute können sich die Studierenden im QIS für die mündlichen Prüfungen und Klausuren anmelden. Bitte machen Sie in Ihrer Lehrveranstaltung nochmal auf die Anmeldefrist aufmerksam.

Vielen Dank für Ihre Unterstützung.

Also bitte beachten Sie diese Anmeldefristen!

Multiport-Memories

24/12/19 13:24
Bei der Konstruktion einer CPU auf einem FPGA benötigt man oft Speicher mit mehreren Schreib- und Leseports. Building Multiport Memories with Block RAMs von Tom Verbeure ist ein interessanter Artikel zu diesem Thema.

Strahlungsfeste CPUs und FPGAs

12/12/19 00:40
Nun gibt es auch strahlungsfeste RISC-V Implementierungen.

Graphentheorie: Wissenschaftliches Arbeiten

24/10/19 22:32
Einige Informationen zum wissenschaftlichen.Arbeiten sind wie versprochen online.

Anmeldung

22/10/19 10:50
Bis zum 04.11.2019 müssen sich die Studierenden im QIS zu den Prüfungen (praktische Tätigkeit und Fachgespräch, praktische Tätigkeit, Ausarbeitung und Präsentation) anmelden. Ohne eine fristgerechte
Anmeldung ist eine Teilnahme ist eine Teilnahme an einer Prüfung nicht möglich.

Probeklausur "Security"

15/07/19 16:07
Wie versprochen gibt es eine Probeklausur "Security"

Anmeldung

24/06/19 12:55
Bis zum 01.07.2019, müssen sich die Studierenden im QIS zu den Prüfungen (Klausuren und mündliche Prüfungen) anmelden. Ohne eine fristgerechte Anmeldung ist eine Teilnahme an den Prüfungen nicht möglich.

Spass mit dem Unvollständigkeitssatz von Gödel

10/06/19 17:18
Viel Spass mit einem wirklich spannenden Thema.

Science Slam

09/05/19 23:32
Das ist bestimmt eine tolle Sache! Bitte besonderes den Featured Scientist beachten:


Liebe Medienvertreterinnen, liebe Medienvertreter,

lachen bis die Tränen kommen, Unverständliches endlich verstehen, verblüffendes Neuwissen erwerben – all das erwartet das Publikum am 11.
Mai beim Science Slam im Schlachthof Wiesbaden.

LineUp
Featured Scientist:
Prof. Dr. Martin Gergeleit (Angewandte Informatik/HSRM Wiesbaden): „Eine kleine Geschichte des Hackings“

Science Slammer:
Kai Kruber (Chemieingenieurwesen/Dortmund): „Optimierungsbasiertes Design von hybriden Trennprozessen.“

Lukas Pfeiffer (Raumfahrttechnik/München): „Rendezvous Manöver für einen
Luft- und Raumfahrt-Ingenieur"

Thora Schubert (Georessourcenmanagement/Aachen): „Endlagersuche aus Sicht einer Geologin“

Albrecht Vorster (Biologie/Stuttgart): „Entdeckung der Langsamkeit“

Moderation: Rainer Holl

15. Wiesbadener Science Slam
-------------------
Datum: 11. Mai 2019
Zeit: Einlass 19 Uhr, Beginn: 20 Uhr
Ort: Schlachthof, Murnaustraße 1, 65189 Wiesbaden
Tickets: www.science-slam.com und an allen bekannten Vorverkaufsstellen

O-Notation

26/04/19 15:33
Es schein Probleme mit der O-Notation zu geben. Hier findet sich eine sehr grundlegende Einführung.

Probeklausur "Logik und Berechenbarkeit"

07/02/19 12:01
Eine (sehr grobe und unvollständige) Probeklausur ist online (auf der geschützten Seite).

Anmeldung

22/10/18 11:15
Die Antragsfrist für die Anmeldung zu den Prüfungen mit der Prüfungsform praktische Tätigkeit und Fachgespräch endet am 05.11.2018.

Die Studierenden sind heute per E-Mail vom Sekretariat darüber informiert worden. Eine nachträgliche Anmeldung nach dieser Frist ist nicht möglich.

Also: Bitte anmelden!

Formale Sprachen und Auomatentheorie

13/07/18 23:44
Wie gewünscht finden sich die Lösungen zu den Turingmaschinen im geschützten Bereich

Anmeldung

11/06/18 12:05
Ab heute müssen sich die Studierenden zu den Prüfungen mit der Prüfungsform Klausuren und mündliche Prüfungen im QIS (über COMPASS) anmelden. Die Anmeldefrist endet am 25.06.2018.

Notizen AFS

25/04/18 22:43
Einige Notizen zur Vorlesung sind online.

Anmeldung

10/04/18 12:34
Der Antrag auf Zulassung für Prüfungen mit der Prüfungsform praktische Tätigkeit und Fachgespräch muss bis zum 23.04.2018 gestellt werden. Dazu müssen sich die Studierenden im Compass (https://compass.hs-rm.de) mit ihrem HDS-Benutzernamen/Passwort anmelden.

Neuigkeiten aus der Hochschuldidaktik

03/03/18 15:50
Ich habe es schon immer gewusst!

Fragestunde "Diskrete Strukturen"

04/02/18 17:30
Auf Wunsch von drei Studierenden findet eine zusätzliche Fragestunde zur Vorlesung am 14.2.18 ab 16:30 statt. Wir treffen uns im C-Gebäude vor dem Hörsaal C035. Sollten noch mehr Teilnehmer der Vorlesung Lust haben zu kommen, dann würden wir uns sicherlich freuen.

Fragestunde "Diskrete Mathematik"

04/02/18 17:30
Eine Fragestunde zur Klausur findet am 7.2.18 um 18:00 im Raum D14 (Medieninformatik) statt.

Skript "Diskrete Strukturen"

16/01/18 20:30
Das Skript ist nun vollständig online.

Folien im Stil der Hochschule

13/01/18 12:39
Kann man nun auch mit den Tools von Google machen und damit zusammen arbeiten. Der Stil wurde von Jan Larwig erstellt. Danke!

Mersenneprimzahl

13/01/18 09:40
Die 50. Mersenne-Primzahl wurde gefunden! Damit ist 277,232,917-1 mit 23,249,425 Ziffern die größte bekannte Primzahl.

Bewertungsgrundlagen

10/12/17 11:09
Die Bewertungsgrundlagen für die Vorträge im Fach "Hardware- und Softwareschnittstellen" sind online.

Vortragstermine

08/12/17 23:37
Die geplanten Vortragstermine für "Hard- und Softwareschnittstellen" sind online.

Glühwein

25/11/17 00:44
Es wäre schön, wenn sich dieses Jahr wieder zahlreiche Informatiker auf dem Weihnachtsmarkt einfinden würden. Dazu werden wir uns am 07.12.2017 um 18:00 Uhr auf dem Weihnachtsmarkt vor dem Ratskeller treffen.

Zulassung zu den Prüfungen

30/10/17 12:46
An die Studierenden in meinen Lehrveranstaltungen:

Zulassung zu den Prüfungen


Die Antragsfrist endet am 06.11.2017. Die Studierenden müssen sich über den HSRM COMPASS anmelden, um sich zu den Prüfungen anzumelden.

Wenn Sie sich mit Ihrem Prüfer-Account im QIS einloggen, können Sie auf den entsprechenden Listen sehen, wer sich bereits angemeldet hat.

Die Zulassungslisten können Sie ab dem 8.11.17 im Sekretariat abholen. Auf der Zulassungsliste müssen die Studierenden vor der ersten Teilleistung unterschreiben. Bitte geben Sie die Liste nach der Unterschrift im Sekretariat ab.

Projektideen

22/10/17 19:25
Wie versprochen wurden einige Projektideen im geschützten Bereich der Vorlesung hinterlegt.

Vorlesungsunterlagen "Graphentheorie"

19/06/17 11:00
Weitere Vorlesungsunterlagen sind online.

Unterlagen Komplexitätstheorie

15/06/17 11:56
Neue Unterlagen sind verfügbar.

Eine unerwartete Anwendung der Gesetze von Kirchhoff

08/06/17 00:07
Einfach mal ansehen.

Firmenkontakttag

29/05/17 08:56
Am Mittwoch beginnt um 13:00 Uhr der Firmenkontakttag. Im Sekretariat kann man Infobroschüren abholen, die alle teilnehmenden Firmen vorstellen. Um zahlreiches Erscheinen wird gebeten.

Übungsblatt "Codierungstheorie"

26/05/17 20:58
Das neue Übungsblatt ist online.

Schaltungen anschaulich

25/05/17 21:20
erklärt. Viel Spass!

Schöne Visualisierungen

17/04/17 00:18

Viel Spass!

YAHDL

23/01/17 15:05
Wenn man nur sucht, so scheint es eine ganze Menge neuartiger Ansätze für Hardwarebeschreibungssprachen zu geben. Hier ein Beispiel für eine HDL die nahe mit Haskell verwandt ist.

Timing Diagramme

05/11/16 15:37
Unter https://github.com/drom/wavedrom findet sich ein sehr schönes Opensource-Tool zum Zeichnen von "Timing Diagrammen". Viel Spass!

Vortragsankündigung

05/11/16 15:31
  • Vortragsankündigung: Am 23. November 2016 um 14:15 spricht Herr Matthias Hiller (Fraunhofer AISEC) zum Thema Tying Cloud Access to Circuit Variation. Alle Interessierten sind herzlich eingeladen!

FPGA-Demoprojekt

02/11/16 21:43
Wie versprochen wurde ein lauffähiges Demoprojekt abgelegt.

Man wird was man studiert?

25/10/16 11:20
Alle Vorurteile in unter zwei Minuten.

Zulassung

24/10/16 16:05
Ab sofort können sich die Studierenden im QIS für die Prüfungen mit der Prüfungsform "praktische Tätigkeit und Fachgespräch" anmelden.

Um an der Prüfung teilnehmen zu können ist es zwingend notwenig, dass sich die Studierenden im QIS bis zum 07.11.2016 zur Prüfung anmelden.

Sprechen Sie Ihre Dozenten an.

Open Source Hardware

20/10/16 21:46
Vielleicht ein interessanter Artikel zum Thema Open Source Hardware

Schon wieder FPGAs

27/09/16 23:51
Nur für das Dameproblem auf einem 26x26 Schachbrett.

Microsoft & FPGAs

27/09/16 22:41
Microsoft schein für KI-Anwendungen massiv auf FPGAs zu setzen.

Non-transitive Probabalistic Comparison

20/09/16 23:11
Besonderes die Folgerungen ab Minute 5 sind spannend.

Programmieren

04/09/16 16:52
Beim Programmieren und in der Mathematik ist noch Luft nach oben.

Lineare Regression

27/08/16 11:48
liefert nicht immer sinnvolle Ergebnisse.

Ein starkes Stück

19/08/16 12:44
Irgendwie ist das nicht lustig oder doch?

Scala und Hardware

26/07/16 11:03
Oft ist VHDL (von Verilog will man gar nicht erst reden) zu nahe an der Hardware um schnell und produktiv mit FPGAs zu entwickeln. Deshalb könnte mehr Abstraktion helfen. Da gibt es verschiedene Ansätze wie Chisel oder Spinal und es stellt sich die Frage, welche Lösung die Arbeit mehr beschleunigt. Interessanterweise wird Spinal nur von einer sehr kleinen Entwicklergruppe hochgezogen, wogegen Chisel aus Berkeley kommt. Trotzdem muss sich Spinal nicht hinter Chisel verstecken! Es bleibt spannend. Projekte die Spinal (oder Chisel) verwenden könnten dazu dienen hier mehr Erfahrung aufzubauen.

VHDL

25/07/16 19:20
Hier gibts eine Menge Videos.

Notizen zur Fragestunde "Automatentheorie und Formale Sprachen"

14/07/16 22:20
Die Notizen zur Fragestunde sind online.

Vorlesung zum Thema VHDL

05/07/16 13:50
Einige Studenten haben mich darauf angesprochen, ob ich nicht eine VHDL-Vorlesung mit Praktikum anbieten könnte. Leider haben sich bei der Vorbesprechung nicht genug Leute gefunden, die das Listenfach "Hard- und Softwareschnittstellen" machen wollen. Nur für 3-4 Leute kann man solch eine Vertiefung nicht einrichten! Sollte es genug Interesse geben, so würde ich mich "breit schlagen" lassen. Allerdings müssen alle Interessenten für das Fach bei Frau Gross-Bosch vorstellig werden (schnell!) damit wir den Bedarf sehen können.

Folien für "Automatentheorie und Formale Sprachen"

23/06/16 14:06
Die Folien für die Vorlesung nächste Woche sind online.

Übungsblatt "Formale Sprachen und Automatentheorie"

01/06/16 22:24
Das neue Übungsblatt ist online.

Krypto bei EBay

30/05/16 14:56
Bei eBay ist eine alte Verschlüsselungsmaschine aufgetaucht.

Handtuch nicht vergessen

24/05/16 09:25
Am 25. ist Towel-Day!

Schlaf ist wichtig für das Gedächtnis

21/05/16 11:01
Ein Argument für den Vorlesungsschlaf Winking

Eine parallele RISC-V Architektur

21/05/16 10:11
Erstaunlich was man mit FPGAs so alles bauen kann.

Quantencomputer

20/05/16 12:50
Vielleicht gibt es in der nächsten Zukunft Quantencomputer im Elektromarkt.

Nochmals zur Prüfungsanmeldung

26/04/16 11:27
Die Studierenden müssen im QIS einen Antrag auf Zulassung stellen, wenn es sich um eine Lehrveranstaltung mit der Prüfungsform "Praktische Tätigkeit und Fachgespräch" handelt.

Die Frist endet am 01.05.2016.

Die Zulassungslisten erhalten Sie ab dem 17.05.16 im Sekretariat Informatik.

Dieser Modus betrifft bei meinen Vorlesung die Veranstaltung "Graphentheorie und Graphenalgorithmen".

Graphentheorie

25/04/16 13:56
Die Projektideen und LaTeX-Files sind online.

Mitschreiben

19/04/16 10:48
Wieder mal ein Hinweis, dass das Schreiben von Hand was bringt.

Information zur Prüfungsanmeldung

18/04/16 15:10
Ab heute müssen die Studierenden im QIS einen Antrag auf Zulassung im QIS stellen, wenn es sich um eine Lehrveranstaltung mit der Prüfungsform "Praktische Tätigkeit und Fachgespräch" handelt.

Bitte machen Sie die Studierenden in Ihrer Lehrveranstaltung darauf aufmerksam. Die Frist endet am 01.05.2016.

Die Zulassungslisten erhalten Sie ab dem 17.05.16 im Sekretariat Informatik.

Dieser Modus betrifft bei meinen Vorlesung die Veranstaltung "Graphentheorie und Graphenalgorithmen".

Seitenkanalangriffe

02/03/16 20:21
Sind sehr schwer unter Kontrolle zu bringen.

Das war überfällig

02/03/16 20:17
Turing Award für Whitfield Diffie und Martin Hellman. Scheinbar versuchte die NSA die Veröffentlichung der Grundlagen der asymmetrischen Kryptographie zu unterbinden. Auch durch die Ideen von Diffie und Hellman können wir heute wie selbstverständlich das Internet verwenden,
Waren bestellen und Geld transferieren!

Lernen

29/02/16 08:16

Wie Professoren

23/02/16 21:38

C-Programmieren

19/02/16 13:54

Fragestunde "Diskrete Mathematik"

11/02/16 10:25
  • Die versprochene Fragestunde findet am 16.2.2016 ab 18:00 statt. Wir treffen uns im Erdgeschoß des C-Gebäudes.

Fragestunde "Diskrete Strukturen"

11/02/16 10:24
  • Die Fragestunde findet am 22.2.2016 ab 15:00 in C035 statt.

Eine KI schlägt Profi-Go Spieler

28/01/16 15:22

Folien "Diskrete Strukturen"

27/01/16 18:17

Wie man einen praktischen Informatiker

25/01/16 09:06

Folien "Diskrete Strukturen"

20/01/16 23:41

Endliche Automaten

20/01/16 23:41

Die Schönheit von Algorithmen

18/01/16 11:28

Chomsky Hierarchie

13/01/16 22:57

Vorlesungsfolien "Diskrete Strukturen"

12/01/16 22:32
  • Einige Folien sind im geschützten Bereich online.

Wieder ist einer der Titanen der Informatik weg

04/01/16 16:30

NULL Dereferenzierung

23/12/15 10:09
  • Manchmal könnte man wirklich glauben, dass C (und C++) erfunden wurden, um die Weltwirtschaft zu schädigen! Warum verwendet man nicht einfach vernünftige Tools wie z.B. Spark? Stattdessen wird lieber über zu viel Tipparbeit bei ADA gejammert oder die Eleganz von typlosen Sprachen und späte Bindung geschwärmt. Die entsprechenden Fehler finden sich dann halt beim User zur Laufzeit!

Mal ein spannender Hack

23/12/15 10:07

FPGAs

17/11/15 08:29
  • So langsam gewinnen FPGA weiter an Bedeutung. Nun arbeitet IBM für die POWER-Architektur mit Xilinx zusammen.

Die Wahrheit über Unternehmensberater

14/11/15 21:28

Kleinsche Flasche

14/11/15 21:26

Vorlesungesaufzeichnung

05/11/15 15:55

200. Geburtstag von George Boole

01/11/15 19:07
George Boole ist einer der Gründerväter der modernen Logik wäre am 2. November 200 Jahre alt geworden.

Halloween

27/10/15 14:43
Pünktlich zum Gruseln.

Zulassung

26/10/15 12:16
In allen Vorlesungen mit Prüfungsform Praktische Tätigkeit und Fachgespräch muss bis zum 08.11.2015 ein Antrag auf Zulassung vorliegen. Das betrifft auch die Vorlesung "Hard- und Softwareschnittstellen".

FPGA Projekt

23/10/15 13:53
Das ist auch eine schöne Sache für ein Projekt mit FPGAs

Vivadoprojekt

22/10/15 20:52
Auf der geschützten Seite findet sich wie versprochen ein Vivado-Projekt.

Vorlesungesaufzeichnung "Diskrete Strukturen"

22/10/15 18:31
Die Aufzeichnung der zweiten Vorlesung ist online.

Übungsblatt "Diskrete Mathematik"

21/10/15 21:28
Das neue Übungsblatt ist online.

Unterlagen für Hard- und Software Schnittstellen

17/10/15 01:41
Es wurden weiter Unterlagen eingestellt. Insbesondere LaTeX-Templates.

Automotive Meets Science

15/10/15 22:28
Vielleicht macht die folgende Einladung neugierig:

Liebe Studierende,
 
gerne möchten wir Sie im Rahmen unserer FC3-Aktivitäten auf die Automotive Meets Science aufmerksam machen, die am 10. November 2015 an der h_da stattfinden wird. Neben spannenden Vorträgen, wird es dort insbesondere auch einen „Marktplatz der Unternehmen“ geben, auf dem Sie umfassende Informationen zu Einstiegschancen, Stellenangeboten, Praktika, etc. erhalten.
 
Eine kostenfreie Anmeldung wird bis spätestens 2. November 2015 unter dem nachfolgendem Link erbeten:
http://www.automotive-cluster.org/inhalte/40194/Anmeldung_Automotive_meets_Science.html
 
Für Rückfragen und weitere Informationen steht Ihnen Herr André Lortz ( mailto:andre.lortz@h-da.de) jederzeit sehr gerne zur Verfügung.
 
Herzliche Grüße

Vorlesungsaufzeichnung

15/10/15 17:46
Das Video der ersten Vorlesung finden Sie im geschützten Bereich.

FPGA@Intel

01/06/15 16:59
Nun ist die FPGA-Technologie im Mainstream angekommen und spielt in Zukunft eine noch wichtigere Rolle für Informatiker.

Sichere Systeme

26/05/15 14:20
Wir treffen uns morgen um 14:00 in C237

Towel Day

25/05/15 15:40
Heute unbedingt überall ein Handtuch mitführen. Und vielen Dank für den Fisch!

John Nash gestorben

24/05/15 16:49
Wieder ist einer der großen Mathematiker weg!

Masterprojekt

04/05/15 11:19
Wie besprochen soll das Masterprojekt “Kryptographie mit SPARK” nun starten. Alle Interessenten sollten mir in den nächsten Tagen verbindlich zu- oder absagen!

Übungsblatt "Automatentheorie und Formale Sprachen"

17/04/15 14:31
Das neue Übungsblatt ist online.

Krypto meets ADA

14/04/15 08:09
Dieses Semester soll das geplante Musterprojekt gestartet werden. Alle interessiert treffen sich am 16.4. um 17:0 bei mir im Büro.

Krypto@Work

13/04/15 08:38
Am Fraunhofer SIT eine interne Netzwerksicherheitslücke geschlossen, die seit über 15 Jahren ihr Unwesen trieb. Wer Interesse an ähnlichen, sehr interessanten Tätigkeiten am SIT im Bereich der Netzwerksicherheit, Anomalieerkennung, APT Abwehr hat, soll sich bei mir melden, ich baue dann einen Kontakt auf.

Abschlussarbeit

06/04/15 20:17
Ziel der Arbeit ist es, Möglichkeiten der kryptographisch sicheren Zufallszahlenerzeugung zu analysieren und zu vergleichen. Dazu kommen marktübliche Mikrocontroller, die in der Automobilindustrie verbreitet sind, zum Einsatz. Die Ergebnisse sollen zu der Entscheidungsfindung eines großen deutschen Automobilherstellers beitragen. Damit hat diese interne Arbeit den Reiz, dass sie auch praktisch eingesetzt werden wird.

ChipDesign

29/03/15 14:59
Es könnte sein, dass die Themen VHDL und FPGAs speziell für Informatiker massiv an Gewicht gewinnen.

Goodbye Mr. Spock

27/02/15 21:59
Mr. Spock hat sicherlich viele Leute inspiriert in die Wissenschaft zu gehen (zumindest Captain Kirk war sicherlich nicht dafür verantwortlich).

Einige Bemerkungen

26/01/15 14:59

Zusatzaufgaben "Diskrete Strukturen"

23/12/14 21:38
  • Herr Ulges hat einige zusätzliche Übungsaufgaben zur Logik gebaut. Viel Erfolg beim Üben!

Skript "Diskrete Strukturen"

02/12/14 19:56
Das neue Skript ist online.

O-Notation

26/11/14 22:41
Zum Üben der O-Notation.

Übungsblatt "Diskrete Strukturen"

24/11/14 09:12
Es wurde ein Tippfehler im Übungsblatt korrigiert.

Alexander Grothendieck

18/11/14 22:09
Der bekannte Mathematiker Alexander Grothendieck ist am 13. November 2014 leider gestorben. Er hat eine besondere Lebensgeschichte, die es wert ist gelesen zu werden.

Mentorenprogramm

18/11/14 11:55
Auf Nachfrage der Studenten möchte ich ein Mentorentreffen meiner Studenten einberufen. Als Termin bietet sich der 26.11. um 18:00 an. Treffpunkt vor meinem Büro C202. Um zahlreiches Erscheinen wird gebeten.

Der grosse Satz von Fermat

13/11/14 21:47
Vielleicht einfach interessant oder ganz kurz ein Eindruck von Andrew Wiles.

Unterstützung für "Diskrete Strukturen"

08/11/14 15:39
Ab sofort können auf freiwilliger Basis Übungsblätter korrigiert werden. Dafür geben Sie ihre ordentlich erstellte Lösung im Sekretariat ab. Ihre Lösung wird dann durch eine studentische Hilfskraft korrigiert. Ziel ist es Ihnen Feedback bzgl. der Qualität Ihrer Lösung zu geben. Pro Woche besteht die Möglichkeit ca. 20 Übungsblätter zu korrigieren. Die Rückgabe erfolgt dann eine Woche später in den Seminaren oder nach der Vorlesung.

Neue Seminargruppen

13/10/14 10:26
Für die Studenten der Studiengänge "Angewandte Informatik" und "Wirtschaftsinformatik" wurden zwei neue Seminargruppen eingerichtet.

Termin: Montag 16:00 - 17:30 und 17:30 - 19:00 im Raum C037 (C-Gebäude)

Der Seminarleiter ist Herr M.Sci. Fabio Campos.

WICHTIG: Heute (Montag 13.10.2014) um 17:30 - 19:00 werden die Teilnehmer auf die zwei Übungsgruppen verteilt, die sich auf der handschriftlichen Liste eingetragen haben. Die Seminargruppe heute um 16:00 - 17:30 findet _nicht_ statt!

Folien "Hard- und Softwareschnittstellen"

23/06/14 11:47
Neue Folien sind online.

Geometrie

21/06/14 20:50
Ein lustiges Spiel.

Programmiersprache

17/06/14 20:56
Nachdem sich in der Vorlesung “Algorithmen und Datenstrukturen” doch einige Probleme bei der Wahl der Programmiersprache gezeigt haben, denke ich über Alternativen nach. Vielleicht wäre diese Variante leichter zu erlernen. Gleichzeitig führt diese Sprache in alle relevanten Gebiete der Programmierung ein und ist damit gleichwertig zu C, Ruby oder Java.

Übungsblatt "Algorithmen und Datenstrukturen"

16/06/14 14:54
Es gab ein Update des 9. Übungsblatts (neue Aufgabe)!

Übungsblatt "Algorithmen und Datenstrukturen"

14/06/14 12:17
Das neue Übungsblatt ist online.

Zulassung

10/06/14 09:47
Bis zum 22.06.2014 muss ein Antrag auf Zulassung im QIS gestellt werden, um an den mündlichen Prüfungen und Klausuren teilzunehmen.

Folien "Algorithmen und Datenstrukturen"

09/06/14 23:39
Das Folien zu dynamischen Datenstrukturen sind auf der geschützten Seite online.

Gesundheits-IT

27/05/14 09:14
Da gibt es viel Arbeit.

Zwischenabgabe "Graphentheorie"

27/05/14 08:53
Es gibt nun eine Ankündigung der Zwischenabgabe.

Zwischenabgabe "Hard- und Softwareschnittstellen"

27/05/14 08:53
Es gibt nun eine Ankündigung der Zwischenabgabe.

Übungsblatt "Algorithmen und Datenstrukturen"

23/05/14 21:00
Kleines Problem bei der Beschreibung von BasisSort verbessert.

Schreibfehler

21/05/14 22:52
auf Übungsblatt 6 verbessert (war fälschlicherweise mit 5 überschrieben).

Folienupdate "Hard- und Softwareschnittstellen"

19/05/14 16:51
Einige Foliensätze auf der geschützten Seite wurde verbessert und erweitert.

Wenn es nicht so traurig wäre....

13/05/14 00:24
So oder ähnlich schon erlebt.

Mode und Berechenbarkeit

06/05/14 19:08
Schwere Kost

Mitschreiben in der Vorlesung

05/05/14 08:51
Das deckt sich mit meinen Erfahrungen. Mitschreiben macht also wirklich Sinn!

Programming Sucks

30/04/14 09:45
So siehts leider aus!

Folien "Hard- und Softwareschnittstellen"

29/04/14 13:22
Die Folien von Herrn Kaiser sind online.

Medizintechnik

29/04/14 10:05
Offensichtlich gibt es viel Nachholbedarf der Kryptographie und IT-Sicherheit der Medizintechnik!

C-Programmierrichtlinie

24/04/14 22:03
Eine Anweisung wie C-Programme zu formatieren und zu erstellen sind wurde auf Wunsch eines Hörers online gestellt.

Neue Folien zu "VHDL" online

15/04/14 00:00
Die Vorlesungsfolien wurden erweitert.

Übungsblatt "Algorithmen und Datenstrukturen"

12/04/14 17:38
Das neue Übungsblatt ist online.

Aufgabenstellung "Graphentheorie"

10/04/14 22:44
Die Aufgabenstellungen sind online.

Rechnen mit Dominos

04/04/14 20:07
Mechanische Computer / Schaltkreise kann man auch mit Dominosteinen bauen.

Erste grosse gerade Primzahl gefunden!

01/04/14 20:44
Die Auswirkungen auf die Kryptographie sind noch nicht abzusehen!

Folien "Graphentheorie"

01/04/14 11:26
Die Folien sind online.

Übungsblatt ADS

27/03/14 21:33
Das neue Übungsblatt ist online.

Krypto & Netzwerksicherheit

19/03/14 10:21
Das Fraunhofer Institut für Secure Information Technology (SIT) sucht Projektmitarbeiter. Interessenten auf dem Gebiet der Netzwerksicherheit und der Kryptographie melden sich bitte bei Alexander Oberle.

Alexander Oberle
Fraunhofer Institute for Secure Information Technology SIT
Department "Mobile Networks" (MNE)
Rheinstraße 75
64295 Darmstadt

Fragen jeder Art können auch an mich gestellt werden.

Kein Powerpoint mehr

07/03/14 23:10
Keine Folien mehr im Fermilab. Vorträge mit der Tafel bewirken mehr Rückfragen und Interaktion mit den Zuhörern.

Das Lernen lernen

04/02/14 20:48
Das finde ich recht spannend.

Vorlesung "Diskrete Strukturen"

29/01/14 12:47
Neue Folien sind online.

Übungsblatt "Diskrete Mathematik"

28/01/14 10:03
Ein neues Übungsblatt ist online.

Fragestunde "Diskrete Strukturen"

26/01/14 19:30
Entgegen der Absprache muss die Fragestunde verschoben werden, da sonst z.B. die Teilnehmer der Übungen von Herrn Ulges am Freitag Probleme bekommen würden.

Deshalb findet die Fragestunde am Freitag 31.1.2014 um 16:00 in C035 statt.

Game of Live

14/12/13 17:13
Game of Live in neun Zeilen.

Skript "Kryptographie mit Elliptischen Kurven"

11/12/13 13:00
Es gibt nun ein zusätzliches Skript.

Skript "Diskrete Strukturen"

11/12/13 12:59
Neue Version online.

Chip based crypto

10/12/13 21:33
Nach den Lehren die aus der NSA-Affäre gezogen werden sollten, muss man besonders auf die Güte von Zufallszahlen achten.

Wieviele Menschen haben bisher gelebt?

08/12/13 13:55
Da das Integral der Funktion ex wieder ex ist, könnte man behaupten, dass im Moment ebenso viele Menschen leben wie bisher gestorben sind. Das Argument ist nicht ganz stichhaltig, da die Geburtenrate für die Jahrtausende wohl nicht konstant geblieben ist. Ähnliche Behauptungen gibt es über die Anzahl der lebenden und gestorbenen Mathematiker. Aufgrund der Argumente der Geburtenrate und der extrem gestiegenen Wichtigkeit der Mathematik (und damit der Menschen die Mathematik betreiben) ist die Lage aber nicht so klar.

Arbeiten in der Automobilindustrie

08/12/13 13:51
Vielleicht hat ja jemand Lust an Software für Autos zu arbeiten.

Glühweintrinken

15/11/13 20:50
Es findet wieder ein Glühweintrinken statt!

Übungsblatt "Diskrete Strukturen"

17/10/13 22:53
Das neue Übungsblatt ist online.

DAAD

14/10/13 12:11
Am kommenden Mittwoch um 11:45 findet in C037 eine Informationsveranstaltung des DAAD statt. Es geht um DAAD-Stipendien speziell für Informatiker im Master und danach. Bitte gehen Sie zahlreich zu dieser Veranstaltung.

Folien zu "Diskrete Strukturen"

10/10/13 22:58
Die Folien sind online.

Mathematik von Gestern

05/10/13 12:31
Da kann man erahnen welche Fortschritte gemacht wurden.

Hacking Cars

18/09/13 21:17
Es ist sicherlich ein großer und lehrreicher Spass die Bordnetze von Autos näher zu untersuchen. Viel Spass!

Das O-Notation Cheatsheet

04/05/13 19:34
Vielleicht eine nette Übersicht.

Einsichtnahme

29/03/13 14:01
Diejenigen, die doch noch Einsicht ihn die Klausur “Diskrete Strukturen” nehmen wollen, bitte ich mit mir Anfang Mai Kontakt aufzunehmen.

Der kleine Fermat

08/03/13 17:22
Der kleine Fermat anschaulich dargestellt.

Industriekontakt

06/03/13 23:53
Ein interessanter Industriekontakt. Fragen einfach an mich.

Gastvortrag "Logik"

18/02/13 19:52
Alle Interessenten sind herzlich eingeladen.

Neue Primzahl

12/02/13 13:41
Die Zahl 257,885,161-1 ist prim. Diese Zahl hat 17.43 Millionen Dezimalstellen.

TSP und Bienen

31/01/13 17:52
Die Theoretischen Informatiker tun sich schwer, die Bienen nicht.

Literatur "Diskrete Strukturen"

30/01/13 21:44
Die Literaturliste zur Vorlesung wurde ein wenig erweitert.

Bitcoins eine brandgefährliche Sache

23/01/13 22:33
auf jeden Fall aufpassen…. (Bild drei könnte aus meiner Studienzeit stammen)

Motivation wichtiger als Intelligenz?

20/01/13 21:32
Die Aussagen des Spiegel-Artikels decken sich ganz gut mit meinen persönlichen Erfahrungen in der Lehre, d.h. nun gibt es keine Ausrede mehr!

Master: Diskrete Mathematik

16/01/13 21:46
Wie besprochen ist eine Probeklausur im geschützten Bereich online.

Komplexitätstheorie - Vorbereitung

15/01/13 13:45
Wie besprochen gibt es einige Begriffe die für die Vorlesung vorbereitet werden sollen.

Praktische Kryptographie

14/01/13 14:59
Gesucht wird jemand, der Spass an Kryptographie und Mikrocontroller hat. Konkret soll eine AES-Implementierung für einen MSP430 gemacht werden. Hier könnte man z.B. an eine Bachelorthesis denken. Start: Sofort!

Folien für "Diskrete Strukturen"

13/01/13 22:32
Sind im geschützten Bereich der Vorlesung zu finden.

Hardware

10/01/13 22:22
Das könnte auch ein schönes Spielzeug sein.

Breaking RSA

05/01/13 21:55
Die heute bekannten Angriffe auf das RSA-Verfahren schön zusammengefasst.

Probleme mit der Matheausbildung

20/12/12 21:05
Viele Hörer der Vorlesungen bringen eine suboptimale mathematische Ausbildung aus der Schule mit. Das ist ein ernstes gesellschaftliches Problem, da viele Leute denken Mathematik sei langweilig, trocken und besteht nur aus der Verarbeitung von Zahlen. Das ist falsch! Mathematik ist die wohl kreativste, spannendste und eleganteste Wissenschaft überhaupt - die ultimative Herausforderung für den menschlichen Verstand. Leider scheinen auch andere Wissenschaften unter dieser Entwicklung zu leiden. Da wird behauptet, dass man “komplizierte” Dinge nicht lehren könnte weil die Schüler das nicht lernen könnten. Ich glaube das dies falsch ist, man kann so etwas nur nicht lehren, wenn die Lernenden das nicht wollen. In diesem Sinn: An die Arbeit!

Diskrete Strukturen

16/12/12 17:53
Vorlesung und alle Seminare finden trotzdem ganz normal statt!

Forschung in Theorie und Praxis

13/12/12 21:54
Es interessant mal zu sehen was versprochen und was geliefert wird.

Einige schöne Einsichten in die Mathematik

12/12/12 23:42
Gibt es hier. Insbesondere finde ich die Bemerkung zur Irrationalität schön.

Beweise

12/12/12 23:29
Eine Sprache A gehört zur Klasse NP, wenn es ein Prädikat B(x,y) gibt, das in Zeit p(|x|), p Polynom berechnet werden kann und folgender Zusammenhang gilt:

“x gehört zu A gdw. es gibt ein y und B(x,y) = 1”

In diesem Zusammenhang sagt man auch, dass y ein Zeuge oder Beweis für die Zugehörigkeit von x zu A ist. Dieser Begriff kann verallgemeinert werden, dazu sind die folgenden Videoclips und Powerpoint-Folien vielleicht spannend.

P vs. NP

12/12/12 23:19
Dieser Vortrag kann nicht schaden, wenn man mehr über P und NP lernen will.

Glühwein II

12/12/12 13:56
Gerade hat mir Herr Jarass gesagt, dass er auch erst ab 18:00 kann!

Glühwein

12/12/12 13:56
Heute am 12.12. findet das traditionelle Glühweintrinken auf dem Weihnachtsmarkt statt! Da ich bis 17:30 Vorlesung habe, komme ich so gegen 18:15 auf dem Weihnachtsmarkt an. Treffpunkt ist in der Nähe des Ratskellers. Gerüchten zufolge soll Herr Jarass und einige andere Studenten schon ab ca. 17:00 im Ratskeller zu finden sein.

Basteln in der Weihnachtszeit

29/11/12 23:33
Vielleicht ganz nett um die langweile Weihnachtszeit zu überbrücken.

Die Vorweihnachtszeit naht

20/11/12 14:44
Deshalb ein paar schöne Stunden in diesen langweiligen Tagen. Plätzchen backen und essen kann jeder!

Mechanische Computer

20/11/12 10:33
Analoge bzw. mechanische Computer sind auch ganz interessant, wenn auch der hier vorgestellte Einsatzzweck ganz übel ist.

Mathe tut weh

11/11/12 15:50
sagen Medienleute (und wahrscheinlich Biologen). Schlimm an diesem Artikel: Mathematiker sind keine Zahlenkünstler. Gauss als der Fürst der Mathematik muss es wissen!

Abschlußarbeit in der Automobilindustrie?

15/10/12 14:48
Dann ist vielleicht diese Arbeit spannend. Bei Fragen einfach eine Mail an mich.

Folien zu "Diskrete Strukturen"

11/10/12 11:22
Die Folien sind online.

Folien zur "Diskreten Mathematik"

10/10/12 21:44
Die Folien sind online.

Wo macht man Mathematik

07/10/12 21:57
10 der besten Orte.

So macht man Mathematik

07/10/12 21:50
Einfach ansehen und nach machen.

Mehr Software als im Kampfjet

07/10/12 11:18
Im Auto gibt es extrem viel Arbeit für Informatiker.

Folien zur Vorlesung "Algorithmen und Datenstrukturen"

28/06/12 22:23
Die Folien sind online im geschützten Bereich.

Abnahmetermine: Graphentheorie und Graphenalgorithmen

11/06/12 14:34

Mathematische Texte lesen

31/05/12 22:07

OO in der Programmierausbildung

28/05/12 22:16
  • wird auch sehr kritisch gesehen. Interessant ist, dass ich ganz ähnliche Beobachtungen im Seminar zur Vorlesung "Algorithmen und Datenstrukturen" mache.

Überabzählbare Mengen

14/05/12 16:58

Mehr über Bitmanipulationen

09/05/12 21:12
  • Eine Studentin gab mir folgenden Literaturhinweis: Hackers-Delight von H. Warren. Zitat: "This is the best book about bitfiddling I ever read". Ich habe es einfach mal auf Verdacht bestellt.

Bitmanipulation mit C

07/05/12 15:57

Spielereien

26/04/12 16:35

FPGAs

23/04/12 10:33
Ein Arduino ähnliches FPGA-Projekt mit Spartan 3E chips findet sich unter http://papilio.cc/. Eine neuere Version mit Spartan 6 und OnBoard-DRAM scheint auch auf dem Weg zu sein.
Ein weiteres OpenSource-Board für ca. EUR 40 scheint es von diesem Hersteller zu geben: http://www.xess.com/prods/prod048.php

Viel Spass!

CHE

13/04/12 17:04
  • Im Moment läuft noch die Frist für das CHE-Ranking des Masterstudiengangs. Bitte nehmen Sie alle die Möglichkeit wahr Ihre Einschätzung abzugeben.

Vorlesungen in Mathematik

10/04/12 17:18
  • Für alle bei denen noch Mängel in der Schulmathematik bestehen ist die KhanAcademy vielleicht hilfreich.

Projektbeschreibungen

09/04/12 21:57
  • Die erste Version der (formalen) Projektbeschreibungen für die Vorlesung Graphentheorie und Graphenalgorithmen sind online.

Projektbeschreibungen

03/04/12 10:37
  • Die aktuellen Projektbeschreibungen (V0.1) sind auf der geschützten Seite online.

Graphentheorie

27/03/12 15:09
  • Bitte melden Sie Ihre Teilnahme im QIS, sonst ist eine weitere Teilnahme nicht möglich!

Kryptographie & FPGAs

26/03/12 14:44
  • Auch die Informatik in Wiesbaden mischt mit. Dritter Absatz von unten.

Files zur Graphentheorie

24/03/12 21:16
  • Die versprochenen Files sind online.

Schlüsselaustausch

17/03/12 20:27

Mathematik in der Schule

24/01/12 11:15

Mathematik für Kinder

17/01/12 12:14
  • Vielleicht erklärt das viele spätere Probleme (siehe Abschnitt Prägender Unterricht).

Anmerkungen zur Mengenlehre

12/01/12 21:58
  • Offensichtlich ist es ganz leicht sein eigenes Unwissen in der Öffentlichkeit zu verbreiten!

Mathematik im Auto

06/12/11 21:28
  • Vielleicht ist ja jemand in der Nähe und hat Lust. Interessenten sind herzlich eingeladen.

Raumänderung

01/12/11 22:32
  • Die LV 1221 Diskrete Strukturen findet am 07.12. nicht im Raum B002 statt, sondern im Raum 206, 2. Etage (Gebäude B).

Glühwein trinken

01/12/11 09:01
Der Termin steht jetzt fest. Die Mehrheit hat sich für den 8 Dezember 2011 ab 17 Uhr entschieden.
Wir treffen uns gegenüber dem Rathaus (im Zentrum des Weihnachtsmarktes).

Diskrete Strukturen

21/10/11 19:49
Aufgrund des hohen Bedarfs wurde eine neue Übungsgruppe eingerichtet. Alle Hörer die noch keinen regulären Platz gefunden haben, gehen bitte verpflichtend in diese Übungsgruppe. Sie findet immer am Montag ab 16:00 im Seminarraum UDE-C035 statt und wird von Herrn Campos geleitet. Ein entsprechender Aushang findet sich im Glaskasten. Start: Montag, 24.10.2010

Security

17/10/11 12:34
Hier eine interessante Einsicht.

Organisation Grillfest

15/05/08 13:01
Die Organisatoren des Grillfests bitten um tatkräftige Mithilfe. Bitte nehmen Sie Kontakt mit Herrn Ralf Erik Rossel (rros@gmx.net) auf.

Grillfest

12/05/08 01:43
Von studentischer Seite wird ein Grillfest am 21. Mai organisiert.

Einführung in P vs. NP

09/02/08 17:01
Eine schöne Vorlesung findet sich hier.