2019
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.