urn:md5:AC7F267389F113A47007886C9C380985
Mathematische Logik — Video AG, FSMPI
Video AG, FSMPI, RWTH Aachen
video@fsmpi.rwth-aachen.de
https://video.fsmpi.rwth-aachen.de/static/favicon.png?v=a6fbfb3bbae0353821e864302c8a69953b0132c4
https://videoag.fsmpi.rwth-aachen.de/site/video-logo-150px.png
2010-07-26T00:04:51+02:00
Veranstaltung: <a href="/10ss-malo">Mathematische Logik</a><br>
Veranstalter: Prof. Grädel<br>
<p><a href="http://logic.rwth-aachen.de/Teaching/MaLo-SS10/">Seite der Veranstaltung</a>
<a href="https://www.campus.rwth-aachen.de/rwth/all/event.asp?gguid=0xC7C70BDCFCEB0B43B78CC0CE2E0FA9EF&tguid=0x899DA36D97E28443866D896353467A0F">Seite im CAMPUS</a></p>
13.04.2010: Kapitel 1.1: Syntax und Semantik
urn:md5:FE2E5EAD7982D87FE7BE60D9A82ED9F2
2010-04-26T22:44:27+02:00
20.04.2010: Kapitel 1.3: Horn-Formeln
urn:md5:C848D82EEB5D8A53E99ECBDA9770A427
2010-04-27T10:01:37+02:00
15.04.2010: Kapitel 1.2: Boolesche Funktionen, DNF, KNF
urn:md5:0F96566C0E89698EEDFCEFC9F74A171F
2010-04-27T04:38:42+02:00
22.04.2010: Kapitel 1.4: Kompaktheitssatz
urn:md5:CD001782B44D1FFD906ADFB0AD9CC50F
2010-04-28T11:07:07+02:00
sorry fuer den Ton, Probleme mit der <a href="http://www.rwth-aachen.de/aw/main/deutsch/Themen/Einrichtungen/Verwaltung/dezernat/~ik/abteilung/">Hoersaaltechnik</a>
27.04.2010: Kapitel 1.4: Beweis des Kompaktheitssatzes
urn:md5:2C2A2DC769FBD3A6219186789BD5BBF3
2010-04-29T03:01:25+02:00
29.04.2010: Kapiitel 1.4: Anwendungen des Kompaktheitssatzes
urn:md5:63952C93908EE2180CB06DA43F7ADCB7
2010-05-03T01:23:46+02:00
06.05.2010: Kapitel 1.5: Aussagenlogische Resolution
urn:md5:F84C8FFA86B836D20838907D78C8FC3C
2010-05-08T10:38:38+02:00
11.05.2010: Kapitel 1.5: Aussagenlogische Resolution
Kapitel 1.6: Sequenzenkalkül
urn:md5:E97F867C0B7CFB391A567B5A1C50BC5D
2010-05-12T17:01:56+02:00
18.05.2010: Kapitel 1.6: Sequenzenkalkül
Kapitel 1 Zusammenfassung
urn:md5:E8EFFC2623E91C3E9561FB7EF7F970FC
2010-05-21T08:29:47+02:00
20.05.2010: Kapitel 2.1: Strukturen
Kapitel 2.2: Ein Zoo von Strukturen
Kapitel 2.3: Syntax
urn:md5:2BA20FCFA82F01975859290D60EC270C
2010-05-23T13:16:46+02:00
01.06.2010: Kapitel 2.3: Syntax
Kapitel 2.4: Semantik
urn:md5:EFD7B81B3F33DDF2C6138DA6F710C2EB
2010-06-03T19:40:56+02:00
08.06.2010: Kapitel 2.5: Normalformen
urn:md5:9BB3678B701B540B159F38E48B48E905
2010-06-13T14:38:25+02:00
10.06.2010: Kapitel 2.5: Normalformen
Kapitel 2.6: Spieltheoretische Semantik
urn:md5:E2116ECD3F3C25F25435A111A4AC4AEA
2010-06-13T14:48:44+02:00
15.06.2010: Kapitel 2.6: Spieltheoretische Semantik
Kapitel 3.1: Definierbarkeit in der Prädikatenlogik
urn:md5:F1E50666BD526A9ED1551E9F955C4CA7
2010-06-17T08:57:02+02:00
17.06.2010: Kapitel 3.2: Das Isomorphielemma
urn:md5:77C4EA7B421E9E6AB42925836BF8E057
2010-06-19T15:44:34+02:00
22.06.2010: Kapitel 3.3: Theorien und elementar äquivalente Strukturen
urn:md5:E7014ADAD01EB984AA3E99118557B31A
2010-06-26T03:16:23+02:00
24.06.2010: Kapitel 3.3: Quantorenrang, Isomorphielemma
Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele, Satz von Ehrenfeucht und Fraïssé
urn:md5:EAB5A99A69FB074E3A4AB787976E77CE
2010-06-26T12:24:15+02:00
29.06.2010: Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
urn:md5:A006EFEA33332DC3DB1BAC09053CF7E8
2010-07-01T01:51:09+02:00
01.07.2010: Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
Kapitel 4.1: Sequenzenkalkül
urn:md5:A5DC36E34373274AD0885DFAC2956CB9
2010-07-06T18:06:48+02:00
06.07.2010: Kapitel 4.1: Sequenzenkalkül
Kapitel 4.2: Vollständigkeitssatz, Herbrandstrukturen
urn:md5:690F5E929D1AAA9524F4D496C2413519
2010-07-06T20:52:11+02:00
08.07.2010: Kapitel 4.3: Beweis des Vollständigkeitssatzes
urn:md5:482C80E232C056C56A5BF867D353116D
2010-07-09T14:25:18+02:00
13.07.2010: Kapitel 4.3: Beweis des Vollständigkeitssatzes
Kapitel 4.4: Kompaktheitssatz
urn:md5:BC9EF30EBFF80A1A66A243B5F6570573
2010-07-16T17:33:26+02:00
15.07.2010: Kapitel 4.4: Kompaktheitssatz
urn:md5:3B6C047E7A9A6633EEF5A890FCEF26B7
2010-07-23T12:29:37+02:00
20.07.2010: Kapitel 4.5: Unentscheidbarkeit der Prädikatenlogik
urn:md5:F26895CAE5000FCBE904B2C05625B770
2010-07-22T22:48:57+02:00
22.07.2010: Weitere logische Formalismen
Fragestunde
urn:md5:19C738C177C521B3DB2C4131BC5B0719
2010-07-23T19:41:35+02:00
13.04.2010: Kapitel 1.1: Syntax und Semantik
urn:md5:6AE1440470EA064482D6C9CFABA88AA7
2010-04-14T11:06:25+02:00
20.04.2010: Kapitel 1.3: Horn-Formeln
urn:md5:366BF1F6606BDF9080D1879BC7E216EF
2010-04-22T10:50:08+02:00
15.04.2010: Kapitel 1.2: Boolesche Funktionen, DNF, KNF
urn:md5:7C32AE9AA38E10A12B932F3EA250A310
2010-04-17T11:35:44+02:00
22.04.2010: Kapitel 1.4: Kompaktheitssatz
urn:md5:BA2045F2695819AB29A7999F2F5DDF8B
2010-04-23T01:38:09+02:00
sorry fuer den Ton, Probleme mit der <a href="http://www.rwth-aachen.de/aw/main/deutsch/Themen/Einrichtungen/Verwaltung/dezernat/~ik/abteilung/">Hoersaaltechnik</a>
27.04.2010: Kapitel 1.4: Beweis des Kompaktheitssatzes
urn:md5:6B881ACD1636009521CC3593EBCF963B
2010-04-28T04:58:48+02:00
29.04.2010: Kapiitel 1.4: Anwendungen des Kompaktheitssatzes
urn:md5:46302A85367FF7D0C623944C4CADBC0D
2010-05-02T19:20:59+02:00
06.05.2010: Kapitel 1.5: Aussagenlogische Resolution
urn:md5:6E0E98BDBAA9BBE0ED9ED3B6CD57A384
2010-05-08T04:26:38+02:00
11.05.2010: Kapitel 1.5: Aussagenlogische Resolution
Kapitel 1.6: Sequenzenkalkül
urn:md5:0F0B66EC0119DBEC4046B389E3B16DB0
2010-05-12T06:01:11+02:00
18.05.2010: Kapitel 1.6: Sequenzenkalkül
Kapitel 1 Zusammenfassung
urn:md5:8FC8899EEDD93129E26C1D326A713D13
2010-05-21T08:29:52+02:00
20.05.2010: Kapitel 2.1: Strukturen
Kapitel 2.2: Ein Zoo von Strukturen
Kapitel 2.3: Syntax
urn:md5:50CF45418EFF9C8A6379D1FDC42CE6EF
2010-05-22T21:43:08+02:00
01.06.2010: Kapitel 2.3: Syntax
Kapitel 2.4: Semantik
urn:md5:CE5743857B493D2151141D9A1379575A
2010-06-03T15:08:04+02:00
08.06.2010: Kapitel 2.5: Normalformen
urn:md5:FE5F0B6F672344F4988913E49304DE2D
2010-06-13T14:38:22+02:00
10.06.2010: Kapitel 2.5: Normalformen
Kapitel 2.6: Spieltheoretische Semantik
urn:md5:8F4BDAEDEE339671CACCCF323C2BAD14
2010-06-13T14:48:42+02:00
15.06.2010: Kapitel 2.6: Spieltheoretische Semantik
Kapitel 3.1: Definierbarkeit in der Prädikatenlogik
urn:md5:E523B22B8601A288E8AC5E9B4E8DA94B
2010-06-16T09:11:50+02:00
17.06.2010: Kapitel 3.2: Das Isomorphielemma
urn:md5:5B8549B5F02DE45DB2256B14E07B3AD9
2010-06-19T15:44:31+02:00
22.06.2010: Kapitel 3.3: Theorien und elementar äquivalente Strukturen
urn:md5:A3F1E38C69E23746432700F4BA56CA69
2010-06-26T03:16:20+02:00
24.06.2010: Kapitel 3.3: Quantorenrang, Isomorphielemma
Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele, Satz von Ehrenfeucht und Fraïssé
urn:md5:30C4173BD437A8F14F6E2028009BC3B9
2010-06-26T03:18:28+02:00
29.06.2010: Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
urn:md5:8C5F47D827A91FBD9A3B30251594786B
2010-07-01T00:38:14+02:00
01.07.2010: Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
Kapitel 4.1: Sequenzenkalkül
urn:md5:A17A805CF7FD17F907AD15AF56291670
2010-07-06T17:33:32+02:00
06.07.2010: Kapitel 4.1: Sequenzenkalkül
Kapitel 4.2: Vollständigkeitssatz, Herbrandstrukturen
urn:md5:A622682FD5287F41F68A3A9E5196F5AC
2010-07-06T20:23:02+02:00
08.07.2010: Kapitel 4.3: Beweis des Vollständigkeitssatzes
urn:md5:BB9019FCCA8E80E0EF8A411D95E76ED3
2010-07-09T14:25:21+02:00
13.07.2010: Kapitel 4.3: Beweis des Vollständigkeitssatzes
Kapitel 4.4: Kompaktheitssatz
urn:md5:1CB647DD3FBC7FB6F04CCCD34092DED4
2010-07-16T16:08:12+02:00
15.07.2010: Kapitel 4.4: Kompaktheitssatz
urn:md5:14AA7416D5F6815A2A378F21E1AA195E
2010-07-25T05:19:02+02:00
20.07.2010: Kapitel 4.5: Unentscheidbarkeit der Prädikatenlogik
urn:md5:94A6ACA97BBC9635C16F59A78561739A
2010-07-22T21:42:10+02:00
22.07.2010: Weitere logische Formalismen
Fragestunde
urn:md5:342DF0FD2B8EA195339A128DF208032B
2010-07-26T00:04:51+02:00