skripte merge requestshttps://git.informatik.uni-leipzig.de/fl34gufe/skripte/-/merge_requests2018-07-14T13:44:33+02:00https://git.informatik.uni-leipzig.de/fl34gufe/skripte/-/merge_requests/4Tippfehler und Kompaktheitssatz2018-07-14T13:44:33+02:00Tobias RosenkranzTippfehler und KompaktheitssatzIch glaube hier ist beim Kompaktheitssatz etwas durcheinandergeraten
(siehe Foto meiner Mitschrift)
![kompakt](/uploads/e884326799988bb54b485a69f4c11b43/kompakt.jpeg)Ich glaube hier ist beim Kompaktheitssatz etwas durcheinandergeraten
(siehe Foto meiner Mitschrift)
![kompakt](/uploads/e884326799988bb54b485a69f4c11b43/kompakt.jpeg)https://git.informatik.uni-leipzig.de/fl34gufe/skripte/-/merge_requests/3Tippfehler und Kompaktheitssatz2018-07-14T13:47:10+02:00Tobias RosenkranzTippfehler und KompaktheitssatzDass man auf der rechten Seite nur endliche Teilmengen betrachtet ist ja sehr wichtig,
außerdem stand rechts nochmal \Sigma statt \chi.
Ich persönlich würde vielleicht auch noch reinschreiben dass die \m{M} \sigma-Strukturen sind.Dass man auf der rechten Seite nur endliche Teilmengen betrachtet ist ja sehr wichtig,
außerdem stand rechts nochmal \Sigma statt \chi.
Ich persönlich würde vielleicht auch noch reinschreiben dass die \m{M} \sigma-Strukturen sind.https://git.informatik.uni-leipzig.de/fl34gufe/skripte/-/merge_requests/2ein paar kleinere korrekturen2018-06-30T15:17:14+02:00Tobias Rosenkranzein paar kleinere korrekturenich habe ein paar tippfehler gefunden und auch an manchen stellen kleinere änderungen vorgenommen, die meiner meinung nach den inhalt klarer machen.
außerdem gibt es für das mengenkomplement ein eigenes symbol, du könntest also A^\compl...ich habe ein paar tippfehler gefunden und auch an manchen stellen kleinere änderungen vorgenommen, die meiner meinung nach den inhalt klarer machen.
außerdem gibt es für das mengenkomplement ein eigenes symbol, du könntest also A^\complement statt A^C schreiben, aber weil das letztendlich
geschmackssache ist, wollte ich dir da nicht reinpfuschen.
vielen dank für deine mühen!https://git.informatik.uni-leipzig.de/fl34gufe/skripte/-/merge_requests/1Rechtschreibkorrekturen2018-06-14T13:33:53+02:00Frauke BeccardRechtschreibkorrekturen