Übungsblatt "Logik und Berechenbarkeit"
20/12/24 01:56 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
19/12/24 00:22 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
13/12/24 01:26 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
04/12/24 23:36 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
29/11/24 00:56 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
28/11/24 00:07 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
21/11/24 00:07 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
14/11/24 23:59 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
13/11/24 23:50 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
07/11/24 18:01 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
06/11/24 22:44 Filed in: Info
Erfolg von ITS-Studies
04/11/24 17:07 Filed in: Info
Übungsblatt "Hardwarebeschreibungssprachen"
30/10/24 23:51 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
23/10/24 19:33 Filed in: Übungsblatt
Übungsklausur "Diskrete Strukturen"
29/01/24 18:18 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
19/01/24 20:44 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
19/01/24 20:25 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
12/01/24 20:12 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Strukturen"
12/01/24 20:04 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
12/01/24 01:21 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
25/12/23 18:53 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
25/12/23 18:52 Filed in: Übungsblatt
Das neue Übungsblatt ist online
Übungsblatt "Logik und Berechenbarkeit"
25/12/23 18:51 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
16/12/23 11:31 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
16/12/23 11:23 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
16/12/23 11:22 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
08/12/23 21:50 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
08/12/23 21:42 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
08/12/23 21:29 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
01/12/23 21:26 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
01/12/23 21:17 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
01/12/23 01:32 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
25/11/23 00:14 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
25/11/23 00:05 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
23/11/23 23:37 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
17/11/23 21:45 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
17/11/23 21:42 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
17/11/23 02:07 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
10/11/23 22:35 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
10/11/23 01:27 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
04/11/23 01:25 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
04/11/23 00:55 Filed in: Übungsblatt
Mitschriften zu "Diskrete Strukturen" online
03/11/23 01:03 Filed in: Info
Übungsblatt "Diskrete Strukturen"
03/11/23 01:03 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
27/10/23 23:30 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
27/10/23 00:55 Filed in: Übungsblatt
Forschung
20/10/23 18:36 Filed in: Info
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
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
Übung "Hardwarebeschreibungssprachen"
20/10/23 01:55 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Cybersicherheit
20/10/23 00:14 Filed in: Info
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):
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
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 "Diskrete Mathematik"
10/07/23 16:15 Filed in: Information
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! Einige Kapitel wurden in der Vorlesung aus Zeitgründen nicht behandelt, diese Aufgaben sind für die Klausur nicht relevant!
Probeklausur "Automatentheorie & Formale Sprachen"
10/07/23 16:05 Filed in: Info
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!
Übungsblatt "Formale Sprachen und Automatentheorie"
30/06/23 00:56 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
30/06/23 00:11 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
22/06/23 21:39 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
22/06/23 20:29 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
15/06/23 20:53 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
15/06/23 20:01 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
01/06/23 21:15 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
01/06/23 20:12 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
25/05/23 17:34 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
25/05/23 17:24 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
11/05/23 20:01 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
11/05/23 19:20 Filed in: Übungsblatt
Das neue Übungsblatt ist online. Bitte beachten Sie auch die den geänderten Vorlesungsmodus aufgrund des Feiertags!
Übungsblatt "Diskrete Mathematik"
04/05/23 18:46 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
04/05/23 18:40 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
27/04/23 23:19 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
27/04/23 22:19 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
20/04/23 19:22 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
20/04/23 19:21 Filed in: Übungsblatt
Das neue Übungsblatt ist online
Anmeldung
17/04/23 12:50 Filed in: Info
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:
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.
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)
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.
Übungsblatt "Autmaten und formale Sprachen"
13/04/23 11:22 Filed in: Übungsblatt
Bonusübungsblatt "Hardwarebeschreibungssprachen"
06/02/23 11:36 Filed in: Info
Logik und Berechenbarkeit: Vorlesungsmitschriften und Übungsklausur online
01/02/23 23:05 Filed in: Info
Übungsblatt "Logik und Berechenbarkeit"
26/01/23 01:09 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
19/01/23 23:47 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
13/01/23 00:37 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
12/01/23 01:05 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
17/12/22 00:35 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
17/12/22 00:30 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
17/12/22 00:20 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
09/12/22 01:56 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
07/12/22 23:44 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
02/12/22 02:13 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
25/11/22 16:20 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
23/11/22 22:07 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
17/11/22 01:16 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
12/11/22 21:17 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
11/11/22 01:57 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
10/11/22 01:46 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
04/11/22 20:41 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
03/11/22 16:48 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
02/11/22 23:38 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
31/10/22 08:05 Filed in: Übungsblatt
Das neue Übungsblatt ist online
Übungsblatt "Logik & Berechenbarkeit"
27/10/22 00:00 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
23/10/22 17:44 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
23/01/22 22:50 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
21/01/22 17:33 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
16/01/22 15:56 Filed in: Übungsblatt
Übungsklausur "Diskrete Strukturen"
13/01/22 17:40 Filed in: Info
Übungsklausur "Logik und Berechenbarkeit"
13/01/22 17:27 Filed in: Info
Übungsblatt "Logik und Berechenbarkeit"
13/01/22 17:23 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
08/01/22 16:44 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
07/01/22 20:09 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
06/01/22 14:55 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
24/12/21 00:29 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
21/12/21 01:17 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
17/12/21 23:12 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
11/12/21 01:51 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
10/12/21 11:10 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
09/12/21 20:34 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
03/12/21 22:32 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
03/12/21 11:40 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
02/12/21 14:34 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
27/11/21 18:38 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
26/11/21 11:23 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
24/11/21 21:49 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
20/11/21 18:18 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
11/11/21 00:43 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
06/11/21 18:17 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
05/11/21 23:43 Filed in: Übungsblatt
Hinweis: Firmenkontakttag
05/11/21 10:51 Filed in: Info
Übungsblatt "Logik und Berechenbarkeit"
04/11/21 00:02 Filed in: Übungsblatt
Anmeldung
01/11/21 22:23 Filed in: Info
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:
Bei Fragen können Sie sich gerne an das Sekretariat wenden.
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)
Bei Fragen können Sie sich gerne an das Sekretariat wenden.
Übungsblatt "Hardwarebeschreibungssprachen"
30/10/21 17:25 Filed in: Übungsblatt
Übungsblatt "Diskrete Strukturen"
29/10/21 22:00 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
02/07/21 22:04 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Komplexitätstheorie"
02/07/21 21:47 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Automatentheorie und Formale Sprachen"
01/07/21 20:36 Filed in: Übungsblatt
Das neue Übungsblatt ist online
Übungsblatt "Komplexitätstheorie"
30/06/21 11:00 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
29/06/21 13:16 Filed in: Übungsblatt
Das neue Übungsblatt ist (verspätet) online.
Übungsblatt "Formale Sprachen und Automatentheorie"
24/06/21 21:44 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
18/06/21 22:21 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Komplexitätstheorie"
18/06/21 21:55 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Kurztest "Automatentheorie und formale Sprachen"
17/06/21 18:09 Filed in: Übungsblatt
Der Kurztest ist online.
Übungsblatt "Komplexitätstheorie"
16/06/21 12:41 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Automatentheorie und formale Sprachen"
15/06/21 22:00 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Formale Sprachen und Automatentheorie"
08/06/21 21:16 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
04/06/21 22:26 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
04/06/21 22:17 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
29/05/21 23:23 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
28/05/21 17:46 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
27/05/21 22:03 Filed in: Übungsblatt
Unvollständigkeit der Mathematik
23/05/21 22:59 Filed in: Info
Ein sehr empfehlenswertes Video über den Unvollständigkeitssatz von Gödel und die Methode der Diagonalisierung.
Übungsblatt "Diskrete Mathematik"
21/05/21 22:49 Filed in: Übungsblatt
Übungsblatt "Formale Sprachen und Automatentheorie"
20/05/21 11:39 Filed in: Übungsblatt
Unendlich
11/05/21 21:56 Filed in: Information
Ein ehemaliger Masterstudent schreibt gerade: … gerne folgendes Video für die Studis empfehlen, welches mir persönlich für das Verständnis von Unendlichkeiten viel gebracht hat. Das Video ist von Veritasium mit dem Titel How An Infinite Hotel Ran Out Of Room
https://www.youtube.com/watch?v=OxGsU8oIWjY
Vielleicht hilft es ja dem ein oder anderen.
Ich finde das Video auch gut!
https://www.youtube.com/watch?v=OxGsU8oIWjY
Vielleicht hilft es ja dem ein oder anderen.
Ich finde das Video auch gut!
Sicherheitslücken
11/05/21 17:16 Filed in: Info
Der wichtigste CVE des Jahres: CVE-2021-32471
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471
Übungsblatt "Formale Sprachen und Automatentheorie"
10/05/21 21:04 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
07/05/21 21:40 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Komplexitätstheorie"
07/05/21 21:20 Filed in: Übungsblatt
Das neue Übungsblatt ist online!
Übungsblatt "Formale Sprachen und Automatentheorie"
04/05/21 12:30 Filed in: Übungsblatt
Das neue Übungsblatt ist online. Die Notizen der zweiten Übung finden sich im geschützten Bereich.
Übungsblatt "Komplexitätstheorie"
30/04/21 20:43 Filed in: Übungsblatt
Das erste Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
30/04/21 20:42 Filed in: Übungsblatt
Das neue Übungsblatt ist online. Weiterhin wurde das Skript und die Folien im geschützten Bereich abgelegt.
Übungblatt "Formale Sprachen und Automatentheorie"
29/04/21 10:24 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Formale Sprachen und Automatentheorie"
15/04/21 22:06 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
12/02/21 22:07 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
01/02/21 02:00 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
22/01/21 20:57 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
19/01/21 16:15 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
13/01/21 21:09 Filed in: Übungsblatt
Das neue Übungsblatt ist und online.
Erklärvideo "Hardwarebeschreibungssprachen"
09/01/21 17:12 Filed in: Übungsblatt
Für die Woche 9.1.2021 bis zum 13.1.2021 gibt es kein neues Erklärvideo. Nutzen Sie die Zeit um Defizite aufzuholen oder lösen Sie die optionale Zusatzaufgabe des Übungsblatts.
Übungsblatt "Hardwarebeschreibungssprachen"
07/01/21 00:12 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
21/12/20 14:37 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
21/12/20 14:36 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
11/12/20 13:39 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
10/12/20 12:33 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
07/12/20 14:18 Filed in: Übungsblatt
Das neue Übungsblatt ist online. Sorry für die Verzögerung!
Übungsblatt "Hardwarebeschreibungssprachen"
03/12/20 17:34 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
25/11/20 22:36 Filed in: Übungsblatt
Übungsblatte "Logik und Berechenbarkeit"
21/11/20 19:38 Filed in: Übungsblatt
Übungblatt "Hardwarebeschreibungssprachen"
18/11/20 21:50 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
13/11/20 21:51 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
11/11/20 20:45 Filed in: Übungsblatt
Folien zur ITS Einführungsveranstaltung
19/04/20 20:53 Filed in: Info
John Conway gestorben
12/04/20 19:37 Filed in: Info
Mit 82 Jahren ist der Mathematiker John H. Conway nach einer Infektion mit dem Coronavirus gestorben.
Übungsblatt "Logik und Berechenbarkeit"
31/01/20 21:53 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
26/01/20 17:22 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
23/01/20 23:32 Filed in: Übungsblatt
Übungsblatt "Logik und Berechenbarkeit"
18/01/20 15:31 Filed in: Übungsblatt
Anmeldungen
10/01/20 10:01 Filed in: Info
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!
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!
Lösungen zu Logik
30/12/19 19:09 Filed in: Übungsblatt
Wie versprochen einige Lösungen zu den Übungsblättern.
Multiport-Memories
24/12/19 13:24 Filed in: Info
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.
Übungsblatt "Logik und Berechenbarkeit"
23/12/19 12:10 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
23/12/19 11:50 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
13/12/19 17:27 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Strahlungsfeste CPUs und FPGAs
12/12/19 00:40 Filed in: Info
Nun gibt es auch strahlungsfeste RISC-V Implementierungen.
Übungsblatt "Hardwarebeschreibungssprachen"
12/12/19 00:30 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
08/12/19 15:56 Filed in: Übungsblatt
Das neue Übungsblatt ist online. (Sorry für die Verspätung)
Übungsblatt "Hardwarebeschreibungssprachen"
05/12/19 00:32 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
30/11/19 19:06 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
28/11/19 00:13 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
22/11/19 22:18 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
21/11/19 01:10 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
15/11/19 22:18 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
14/11/19 01:42 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
08/11/19 19:43 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
07/11/19 00:48 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und. Berechenbarkeit"
01/11/19 23:20 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Hardwarebeschreibungssprachen"
30/10/19 22:39 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
25/10/19 21:54 Filed in: Übungsblatt
Das erste Übungsblatt ist online.
Graphentheorie: Wissenschaftliches Arbeiten
Einige Informationen zum wissenschaftlichen.Arbeiten sind wie versprochen online.
Übungsblatt "Hardwarebeschreibungssprachen"
23/10/19 23:21 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Anmeldung
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.
Anmeldung ist eine Teilnahme ist eine Teilnahme an einer Prüfung nicht möglich.
Probeklausur "Security"
15/07/19 16:07 Filed in: Info
Wie versprochen gibt es eine Probeklausur "Security"
Übungsblatt "Komplexitätstheorie"
03/07/19 23:40 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
27/06/19 00:30 Filed in: Übungsblatt
Anmeldung
24/06/19 12:55 Filed in: Info
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.
Übungsblatt "Komplexitätstheorie"
21/06/19 00:20 Filed in: Übungsblatt
Ein neues Übungsblatt ist online.
Übungsblatt "Komplexitätstheorie"
12/06/19 23:21 Filed in: Übungsblatt
Spass mit dem Unvollständigkeitssatz von Gödel
10/06/19 17:18 Filed in: Info
Übungsblatt "Komplexitätstheorie"
05/06/19 22:40 Filed in: Übungsblatt
Übungsblatt "Security"
24/05/19 22:30 Filed in: Übungsblatt
Hier ein etwas umfangreicheres Übungsblatt, da die Vorlesung nächste Woche aufgrund des Feiertags ja leider ausfallen muss.
Übungsblatt "Komplexitätstheorie"
22/05/19 23:18 Filed in: Übungsblatt
Übungsblatt "Komplexitätstheorie"
15/05/19 22:53 Filed in: Übungsblatt
Science Slam
09/05/19 23:32 Filed in: Info
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
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 Filed in: Info
Es schein Probleme mit der O-Notation zu geben. Hier findet sich eine sehr grundlegende Einführung.
Übungsblatt "Komplexitätstheorie"
24/04/19 22:24 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Logik und Berechenbarkeit Übung 12
08/02/19 22:46 Filed in: Übungsblatt
Einige Lösungshinweise für Übungsblatt 12 finden Sie im geschützten Bereich.
Probeklausur "Logik und Berechenbarkeit"
07/02/19 12:01 Filed in: Info
Eine (sehr grobe und unvollständige) Probeklausur ist online (auf der geschützten Seite).
Übungsblatt "Logik und Berechenbarkeit"
01/02/19 00:26 Filed in: Übungsblatt
Übungsblatt "Hardwarebeschreibungssprachen"
25/01/19 21:38 Filed in: Übungsblatt
Das neue Übungsblatt ist online
Übungsblatt "Logik & Berechenbarkeit"
24/01/19 00:40 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Vorlesung "Logik & Berechenbarkeit"
23/01/19 23:55 Filed in: Mitschriften
Neue Mitschriften sind online.
Übungsblatt "Hardwarebeschreibungssprachen"
18/01/19 22:44 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik und Berechenbarkeit"
17/01/19 00:28 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Crypto meet Graph Theory
17/01/19 00:17 Filed in: Information
Vielleicht ist ja jemand an dieser Summerschool interessiert.
Übungsblatt "Logik und Berechenbarkeit"
21/12/18 09:35 Filed in: Übungsblatt
Das neue Übungsblatt ist online.