urn:md5:DCBDBC742D52AC2108601B3B065E9D19Neueste Videos — Video AG, FSMPIVideo AG, FSMPI, RWTH Aachenvideo@fsmpi.rwth-aachen.dehttps://rwth.video/static/favicon.png?v=a6fbfb3bbae0353821e864302c8a69953b0132c4https://videoag.fsmpi.rwth-aachen.de/site/video-logo-150px.png2024-02-26T12:15:51+02:00Alle neuen Videos der Video AG!LKP (WS23), 23.01.2024: Tracing Facilities in the KernelProf. GouicemProf. Gouicemurn:md5:5B0FA0C74A75A9B9FA8366A1C5ACE8A82024-02-26T12:15:51+02:00Veranstaltung: <a href="/23ws-lkp">Linux Kernel Programming</a><br>
Veranstalter: Prof. Gouicem<br>
Gehalten von Prof. Gouicem<br>
PQC (WS23), 29.01.2024: Prof. Unruhurn:md5:1EEA73837F8DFC3D2203F026FD0077EF2024-02-17T19:24:13+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 29.01.2024: Prof. Unruhurn:md5:22D97E667CB560E070D82C99E49381762024-02-17T17:04:03+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 29.01.2024: Prof. Unruhurn:md5:3461430E26E4157A077B279F892BDE912024-02-17T16:18:40+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
MaLo2 (WS23), 22.01.2024: IFP und PFPProf. GrädelProf. Grädelurn:md5:8B1F7592FEEED468D4922D741E8445602024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 23.01.2024: Einbettung von LFP, IFP und PFPProf. GrädelProf. Grädelurn:md5:56846A19944BA54FC93D1A6F771C15DD2024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 16.01.2024: LFPProf. GrädelProf. Grädelurn:md5:E7E9AAB9B3C011D06597A8E72911D0052024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 08.01.2024: Arithmetische FixpunktlogikProf. GrädelProf. Grädelurn:md5:2FF97506B0001EFC6491E780863149C32024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 09.01.2024: µ-KalkülProf. GrädelProf. Grädelurn:md5:1351C5EEC2864F06E5A0952BBD1FC8F42024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 12.12.2023: Ehrenfeucht-Fraïssé-SpieleProf. GrädelProf. Grädelurn:md5:6160706EE494650F8798DE12E0FAEFEE2024-02-06T14:37:07+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:B53186DFB245E53C8183001D6082E58B2024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 19.12.2023: FixpunktlogikProf. GrädelProf. Grädelurn:md5:7BD2B2F8C41CBAC8B26C60A7EF0877812024-02-06T15:26:25+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 23.01.2024: Einbettung von LFP, IFP und PFPProf. GrädelProf. Grädelurn:md5:3D59758653826437C7DD849DE41C2C8C2024-01-24T23:24:18+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 23.01.2024: Einbettung von LFP, IFP und PFPProf. GrädelProf. Grädelurn:md5:CC7076360DF98F6DDD8FC67FDA821D582024-01-24T23:24:18+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 23.01.2024: Einbettung von LFP, IFP und PFPProf. GrädelProf. Grädelurn:md5:3DE7E7FF6271E7CC4218B32B05422A852024-01-24T23:24:18+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 22.01.2024: IFP und PFPProf. GrädelProf. Grädelurn:md5:272CB0598221AD865580AF62A2AA611C2024-01-23T12:49:41+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 22.01.2024: IFP und PFPProf. GrädelProf. Grädelurn:md5:CD633947B7E6E77640E8BFBBADE460042024-01-23T12:49:41+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 22.01.2024: IFP und PFPProf. GrädelProf. Grädelurn:md5:0FF4C59A2F687A3C75FBEB6195D3B1D72024-01-23T12:49:41+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
BuK (WS23), 12.01.2024: NachwortProf. Rossmanithurn:md5:C8983652DFB0547BFD186D27DD92869F2024-01-23T13:01:05+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
BuK (WS23), 11.01.2024: Jenseits von P und NPProf. Rossmanithurn:md5:9933DC74D01E204D42F35CE7037DCBD62024-01-22T15:53:16+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
PQC (WS23), 18.10.2023: Prof. Unruhurn:md5:3C4A9345A6CA56827C37DA6032AFBCAE2024-01-18T18:29:32+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.10.2023: Prof. Unruhurn:md5:9F9AA979C60F7BB55F753BFFC00B1FCA2024-01-18T17:57:55+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.10.2023: Prof. Unruhurn:md5:5EFDB277C5A19B0D1F2164E86BAFE99B2024-01-18T17:11:56+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.10.2023: Prof. Unruhurn:md5:BE9156B628FFBC4EE8BFE724945F31C82024-01-18T17:11:52+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
BuK (WS23), 08.12.2023: Der Satz von Cook und LevinProf. Rossmanithurn:md5:7DB86F464E113F2F27EAD2A495B06E562024-01-17T17:56:58+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
BuK (WS23), 14.12.2023: NP-Vollständige GraphproblemeProf. Rossmanithurn:md5:9CEC42C3BD9B0D99069DB901706461A92024-01-17T17:56:57+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
BuK (WS23), 15.12.2023: NP-Vollständige ZahlproblemeProf. Rossmanithurn:md5:9DCEC0E3121066B7B53737B8BD781FE62024-01-17T17:56:56+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
BuK (WS23), 07.12.2023: Polynomielle ReduktionenProf. Rossmanithurn:md5:6B986151352FF44A48E3BAEB970502492024-01-17T17:56:59+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
MaLo2 (WS23), 16.01.2024: LFPProf. GrädelProf. Grädelurn:md5:D79F94DDC23DB630D369F3D211BDF91A2024-01-23T12:49:38+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 16.01.2024: LFPProf. GrädelProf. Grädelurn:md5:C2DDCBF97C2A68244E6EFFC9E1AA32DB2024-01-23T12:49:38+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 16.01.2024: LFPProf. GrädelProf. Grädelurn:md5:E20F92B830477A06C7BD9F637DA17BFE2024-01-23T12:49:38+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
PQC (WS23), 21.12.2023: Prof. Unruhurn:md5:D862003E4BDAB6CA9792D179EDCB30D42024-01-16T16:52:07+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 21.12.2023: Prof. Unruhurn:md5:0BD0886B6E6B9E8BE3B98324426E94D12024-01-16T16:25:57+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 21.12.2023: Prof. Unruhurn:md5:C8814ED5135C2BAAD2F2EEE6A59319692024-01-16T15:48:20+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 21.12.2023: Prof. Unruhurn:md5:C0775CA631EFDF31DC0B2F4652F2036F2024-01-16T15:48:17+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 06.11.2023: Prof. Unruhurn:md5:7BE130381D21F7BAE269F9BC79BA94DB2024-01-16T14:53:25+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 06.11.2023: Prof. Unruhurn:md5:51D00BCE8F588A0EF6F51C3F207269B22024-01-16T14:28:35+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 06.11.2023: Prof. Unruhurn:md5:BE1C265A763A12015D8435B65DFE59362024-01-16T13:54:12+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.12.2023: Prof. Unruhurn:md5:247054E233ABF7FA21AC6AD20FBA227F2024-01-16T13:04:50+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.12.2023: Prof. Unruhurn:md5:BCA472B36283A44F031D68A9BDF10F6B2024-01-16T12:37:15+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 18.12.2023: Prof. Unruhurn:md5:CC4CE5F8AC7F91C3623A995FE0B37FC32024-01-16T11:58:59+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 14.12.2023: Prof. Unruhurn:md5:F0FF951C38A319B0319D85D44425C9B72024-01-16T11:02:34+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 14.12.2023: Prof. Unruhurn:md5:21533F1A474CEF966022E58D7070F7F22024-01-16T10:41:24+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 14.12.2023: Prof. Unruhurn:md5:CA35437EA78F202C0794FE318DAB54D62024-01-16T10:10:24+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 11.12.2023: Prof. Unruhurn:md5:1F35A87B8BFC07BB2E4FA57790B06BC22024-01-16T09:28:07+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 11.12.2023: Prof. Unruhurn:md5:BA3DCF37FB1931F8EAA8239EF0A973BB2024-01-16T09:04:05+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 11.12.2023: Prof. Unruhurn:md5:D1C1054F749F8FDCFC292F88811D94B02024-01-16T08:31:18+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 13.12.2023: Prof. Unruhurn:md5:149311C47BF53AEDDEBCCB152DB452B82024-01-16T07:45:02+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 13.12.2023: Prof. Unruhurn:md5:418095531B95BC97AE84B374AC11EDFC2024-01-16T07:30:33+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 13.12.2023: Prof. Unruhurn:md5:C6C247BE41C274B882668D2AD567BBE12024-01-16T07:08:18+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 30.11.2023: Prof. Unruhurn:md5:0B58B1582AF655135001FE33F4F970E62024-01-16T06:27:30+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 30.11.2023: Prof. Unruhurn:md5:F2744824058F6657D39AE7F05CF5276A2024-01-16T06:02:39+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 30.11.2023: Prof. Unruhurn:md5:6633F8B71D1AAD2D374C48DA1ED37F3F2024-01-16T05:26:22+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 29.11.2023: Prof. Unruhurn:md5:25E60AF227D6A272FA0C47A6CA8AA6772024-01-16T04:36:02+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 29.11.2023: Prof. Unruhurn:md5:F198DF3D25629C4C18E6FF2F69F44E592024-01-16T04:12:43+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 29.11.2023: Prof. Unruhurn:md5:F4B42797DAE058C19E97D875D955EDA82024-01-16T03:39:36+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 27.11.2023: Prof. Unruhurn:md5:F0033392FDB0FA4F37AFAFE8424B5B462024-01-16T02:52:47+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 27.11.2023: Prof. Unruhurn:md5:9569A5BAE2BDE49CD9677EC2D7FF4D422024-01-16T02:29:44+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 27.11.2023: Prof. Unruhurn:md5:9D3A8E5B996752000D1EACF44B9AC3DD2024-01-16T01:57:16+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 20.11.2023: Prof. Unruhurn:md5:2A50FA539C2BA3853D7C99800058AC152024-01-16T01:11:43+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 20.11.2023: Prof. Unruhurn:md5:4E347C83CBD3922ACB0E03B3DEA149DB2024-01-16T00:47:20+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 20.11.2023: Prof. Unruhurn:md5:06DA401C85A802FDFAD82EC046F82EC32024-01-16T00:12:42+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 15.11.2023: Prof. Unruhurn:md5:74712D853CDA7BF9CFC9B49BD137156F2024-01-15T23:24:11+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 15.11.2023: Prof. Unruhurn:md5:8B2EF7DC42C56E9E4DC951C15E14A8E62024-01-15T23:00:27+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 15.11.2023: Prof. Unruhurn:md5:B69E21D258BA0F4DA7DFE47719D049882024-01-15T22:25:24+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
MaLo2 (WS23), 15.01.2024: CTL und PDLProf. GrädelProf. Grädelurn:md5:4126B1CC4FD1A6F07D38B89195D1FF2F2024-01-15T22:22:24+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
PQC (WS23), 13.11.2023: Prof. Unruhurn:md5:A8A1C7DD1D75AC4A55D59B3E8A1D36FB2024-01-15T21:38:16+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 13.11.2023: Prof. Unruhurn:md5:B6FA48E6022EB2F625C2A50BF63C4DBC2024-01-15T21:21:40+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 13.11.2023: Prof. Unruhurn:md5:DAC0E5A65AE873287F105341F17383E82024-01-15T20:56:21+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 08.11.2023: Prof. Unruhurn:md5:C61CC50F8BD265C08A74746D14B4B0992024-01-15T20:09:12+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 09.11.2023: Prof. Unruhurn:md5:07EEFF653AE1D71023F1BC26C09895642024-01-15T19:12:50+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
BuK (WS23), 01.12.2023: P und NPProf. Rossmanithurn:md5:7B375EB0E086D37C9B2E6C6E97C683BB2024-01-15T01:28:03+02:00Veranstaltung: <a href="/23ws-buk">Berechenbarkeit und Komplexität</a><br>
Veranstalter: Prof. Rossmanith<br>
PQC (WS23), 08.01.2024: Prof. Unruhurn:md5:C3A383900791EC0DD0A93D53946997E82024-01-13T23:59:21+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 08.01.2024: Prof. Unruhurn:md5:6FDE2F52FE8CB7B22D1BF87D4E0E47072024-01-13T23:59:20+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
PQC (WS23), 08.01.2024: Prof. Unruhurn:md5:13A60D2A4E7A2AE57D1ABEB4AA4C9DC92024-01-13T23:59:19+02:00Veranstaltung: <a href="/23ws-pqc">Post-quantum cryptography</a><br>
Veranstalter: Prof. Unruh<br>
MaLo2 (WS23), 09.01.2024: µ-KalkülProf. GrädelProf. Grädelurn:md5:4BE535FE8E326DF998E008100D2FAAC52024-01-09T23:20:59+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 09.01.2024: µ-KalkülProf. GrädelProf. Grädelurn:md5:400535D87571F51550BBBA898B11B8582024-01-09T23:20:59+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 09.01.2024: µ-KalkülProf. GrädelProf. Grädelurn:md5:3027CCF4A6B23E6B34F4831AD4052A8C2024-01-09T23:20:58+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 08.01.2024: Arithmetische FixpunktlogikProf. GrädelProf. Grädelurn:md5:5BB7FC210259C83D92FD3AED447B769C2024-01-09T12:45:24+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 08.01.2024: Arithmetische FixpunktlogikProf. GrädelProf. Grädelurn:md5:2B4BEB5B4197C15DDFE9C95E1DEF278C2024-01-09T12:45:24+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 08.01.2024: Arithmetische FixpunktlogikProf. GrädelProf. Grädelurn:md5:5C9F0DB1823D096A0129AB4C31ACC5CE2024-01-09T12:45:22+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:0AF793CD7C801D9313D747EEA0628F8D2024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:0AF793CD7C801D9313D747EEA0628F8D2024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:600F8ECB1DF047DC1A672F0EE87C6C532024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:600F8ECB1DF047DC1A672F0EE87C6C532024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:FD30C5B886820B46E2F46C44C8CF05202024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 18.12.2023: Nicht-Axiomatisierbarkeit von WOProf. GrädelProf. Grädelurn:md5:FD30C5B886820B46E2F46C44C8CF05202024-02-06T15:26:34+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
MaLo2 (WS23), 12.12.2023: Ehrenfeucht-Fraïssé-SpieleProf. GrädelProf. Grädelurn:md5:552C3D6B6BCEBD9A78AC97B4E02B11C52024-01-07T18:44:54+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.
MaLo2 (WS23), 12.12.2023: Ehrenfeucht-Fraïssé-SpieleProf. GrädelProf. Grädelurn:md5:8CF948210A1842A238F141945B75D2092024-01-07T18:44:54+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.
MaLo2 (WS23), 12.12.2023: Ehrenfeucht-Fraïssé-SpieleProf. GrädelProf. Grädelurn:md5:94B638464790F202EA492E22230B7E312024-01-07T18:44:54+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.
MaLo2 (WS23), 19.12.2023: FixpunktlogikProf. GrädelProf. Grädelurn:md5:3C149324DC800C3DE21D60B61A0D3E732024-02-06T15:26:25+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 19.12.2023: FixpunktlogikProf. GrädelProf. Grädelurn:md5:B0353497923A240B0F79112B341750512024-02-06T15:26:25+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 19.12.2023: FixpunktlogikProf. GrädelProf. Grädelurn:md5:428DE6587D1F29CA743945EECE0435822024-02-06T15:26:25+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
LKP (WS23), 12.12.2023: Virtual File SystemProf. GouicemProf. Gouicemurn:md5:CFE4A71D7E629E6667FE4975ED1478892023-12-19T12:38:25+02:00Veranstaltung: <a href="/23ws-lkp">Linux Kernel Programming</a><br>
Veranstalter: Prof. Gouicem<br>
Gehalten von Prof. Gouicem<br>
LKP (WS23), 21.11.2023: Memory ManagementProf. GouicemProf. Gouicemurn:md5:D58BF3B2F90E32E06E1B89E2A9F881802023-12-19T12:38:15+02:00Veranstaltung: <a href="/23ws-lkp">Linux Kernel Programming</a><br>
Veranstalter: Prof. Gouicem<br>
Gehalten von Prof. Gouicem<br>
MaLo2 (WS23), 11.12.2023: Prof. GrädelProf. Grädelurn:md5:7E437A395A9AA12F21C453887437A4992023-12-14T02:42:51+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 11.12.2023: Prof. GrädelProf. Grädelurn:md5:44D6E496C3ED899DA58691EA09C145E02023-12-14T02:42:51+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 11.12.2023: Prof. GrädelProf. Grädelurn:md5:60F1CC3D53584976E0261D2CA2902E192023-12-14T02:42:51+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 11.12.2023: Prof. GrädelProf. Grädelurn:md5:54AD696F8374BEC80DBFAF5D0C5074542023-12-14T02:42:51+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>
MaLo2 (WS23), 05.12.2023: Tarski-Vaught-Test und AmalgamationssatzProf. GrädelProf. Grädelurn:md5:4EC5974C5186F5263B6A914119D643192024-02-03T18:18:37+02:00Veranstaltung: <a href="/23ws-malo2">Mathematische Logik II</a><br>
Veranstalter: Prof. Grädel<br>
Gehalten von Prof. Grädel<br>