henry78.at

“Epimenides, der Kreter, sagte alle Kreter wären Lügner und alle sonst von den Kretern aufgestellten Behauptungen wären gewiß Lügen. War das eine Lüge?”

Für die Lehrveranstaltung “Grundlagen methodischen Arbeitens” erstellte ich einen Artikel über Gödels Unvollständigkeitssatz. Ein kurzer, gegen Ende aber durchaus detaillierter Einstieg in die Zeit, die Umstände, die Idee, die Durchführung des Gödelschen Satzes.

Abstract – Ein Essay über die Formalisierung der Mathematik, die Zerstörung der Hilbertschen Vision durch  Gödel und das Halteproblem als praktisches, an den Gödelschen Beweis angelehntes Beispiel. Die wichtigsten Begriffe wie formales System, Widerspruchsfreiheit und Vollständigkeit werden eingeführt. Abschließend wird Gödels Unvollständigkeits-Theorem nah am Originalartikel erklärt. 

Gödels Unvollständigkeits-Theorem (pdf)

Spät, dafür unvollständig beginne ich damit die Übungsbeispiele für Theoretische Informatik und Logik zu digitalisieren. Der erste (unvollständige) Lösungsvorschlag zur 3. Übung steht unter technische Informatik zur Verfügung. Ich freue mich über alle Rückmeldungen mit gefundenen Fehlern, Anregungen oder Wünschen, also melde Dich!

Nachdem ich die Prüfung über Mathematik 1 (für Informatiker) geschafft habe, darf ich mich dieses Semester mit dem Sequel, Mathe 2, auseinandersetzten. Dazu gibts auch wieder eine Übung und meine Lösungsvorschläge im Bereich technische Informatik.

Die Beispiele für die ersten Übungen sind bereits online, der Rest folgt hoffentlich zeitiger, sodass noch Zeit zum abschreiben Fehler suchen bleibt.

Aufgrund großer Nachfrage stelle ich auch eine ‘druckbare’ Zusammenstellung des FragenWiki online. Dabei habe ich die Einträge 1:1 aus dem Wiki übernommen, und um sämtliche Absätze (z.B. Diskussion) gekürzt, die leer waren.

Stand: 2007-06-21 12:00.

Update: Die bewerteten Fragen wurden neu zusamengestellt.

Stand: 2007-06-22 14.00

Allen viel Glück bei der Prüfung!

Die siebte Vorlesung konnte ich leider aus beruflichen Gründen nicht besuchen, also kommt der “GSI-Zyklus” hiermit zu seinem Ende. Prüfung ist am Freitag, damit das ganze auch noch anderen zur Verfügung steht, stelle ich es gleich online.

Vorsicht! Es sind noch etliche Fehler in den Mitschriften!

Die Übungen der Gruppe G2 von 15.05 und 22.05 sind jetzt unter technische Informatik online verfügbar.

Die Mitschrift zur Vorlesung aus “Mathematik 1″ wurde mit LaTeX neu geschrieben, und bis zum “Wurzelbaum” (02.05.) erweitert.

Die Mathematik-Skripten sind nicht mehr online. Sie waren fehlerbehaftet und unvollständig. Durch das neue Buch zur Vorlesung zudem überflüssig. Sollte doch jemand Interesse daran haben:  contact me

Einmal in der Woche ist es soweit, meine Mitschrift zu letzten, diemal der vierten Vorlesung wird online gestellt. Dabei habe ich den Gastvortrag von Constantin weggelassen, da ich nicht glaube, dass diese Inhalte schon für’s Internet gedacht sind. Ansonsten bin ich wie immer über Fehlerbercihtigungen dankbar: Gesellschaftliche Spannungsfelder der Informatik – Mitschrift 2007-05-15 (draft, pdf, 193 kb)

Die kollaborative Mitschrift hat diese Woche ja besser funktioniert, trotzdem findet sich hier wieder, was ich handschriftlich aufgeschnappt habe. Wie immer kein Gewähr, dafür ein paar Fehler extra: Gesellschaftliche Spannungsfelder der Informatik – Mitschrift 2007-05-08 (draft, pdf, 193 kb)

Falls jemand für das Übertragen  ins Wiki die Openoffice Dokumente braucht, bitte mich kurz kontaktieren. Aufgrund ungelöster Probleme mit wordpress kann ich im Moment (über das Blog) keine OO-Dokumente hochladen.

Heute war wieder Vorlesung, und diesmal ist meine Mitschrift früher fertig. Wie üblich kalt, schlecht formatiert und voll mit Rechtschreibfehlern, ist das PDF unter technische Informatik zu finden.