Keine Sorge, das heisst nur, dass ich Mathematisch-logische Grundlagen erst im Januar und nicht wie geplant beriets Ende November schreiben werde. Bei Mathe ist einfach doch jeder kleine Baustein ein echter Sieg und auch wenn es vorwärts geht, dann doch so langsam, dass der Termin einfach nicht zu halten ist.

Und da ich bereits am Sonntag das Handtuch warf, habe ich die folgenden zwei Tage genutzt, um mich tatsächlich ein bisschen auszuruhen.

Aber eigentlich ging es dann doch ganz gut, wenn die Aufgabe nicht wäre. Hier ist ein Beweis mit der vollständigen Induktion zu erbringen, was mich aber angesichts zweier Variablen und der n über k-Geschichte ganz schön aus der Bahn wirft…

Daher gibt es heute erst einmal Relationen, die scheinen mir doch ein wenig harmloser und vertrauter. Zumindest jetzt noch

Und mein DokuWiki hat auch viele neue mathematische Zeichen dazugelernt. Noch klappt es mit der entities.conf und der direkten Eingabe meiner selbsterdachten Abkürzungen ziemlich gut. So liefert z.B. die Eingabe von -empty nach dem Abspeichern das Zeichen  für die leere Menge.

Also, Zusammenfassung ist fertig und Aufgabe gelöst, wenn auch noch nicht ins Reine geschrieben.

Dabei fällt mir noch ein… gestern hat die Plattform mal wieder zwei Dateien gefressen Dank der netten Mail des Dozenten konnte ich diese dann schnell per Mail nachschicken, aber es ist schon ein wenig ärgerlich, dass der Upload-Mechanismus scheinbar noch merkwürdige Macken hat.

Und damit kann ich auch endlich das nächste Kapitel Mengenlehre: die quantitative Ordnung der Welt in Angriff nehmen.

Trotzdem sind die Beweisverfahren irgendwie ein harter Brocken für mich… vielleicht steh ich auch einfach nur auf der Leitung? Die vollständige Induktion, sagte man mir, sei gar nicht schwierig, aber ich habe den Dreh bisher trotzdem noch nicht so wirklich raus.

Immerhin, die erste Aufgabe mit direktem Beweis ist gelöst und wartet darauf ins Reine geschrieben zu werden, über die andere muss ich wohl erst mal noch ein wenig Grübeln.

Die meiste mathematische Denkarbeit erledige ich zur Zeit morgens, wenn mein Kopf vor der Arbeit noch halbwegs unververbraucht daher kommt. Und meistens führen meine morgendlichen Aktivitäten dazu, dass ich viel zu spät von zu Hause loshetze, um dann um neun in der Arbeit einzutrudeln, weil ich mich einfach noch nicht vom aktuellen Thema oder der angefangenen Aufgabe losreissen konnte. Irgendwie merkwürdig oder?

Meine ersten sechs Aufgaben sind jetzt auch korrigiert und waren soweit richtig. Einige hilfreiche Anmerkungen vor allem zu den Symbolen und Begriffen muss ich in meinen Aufgabenblättern aber noch nachtragen.

Stichworte: Boolesche Netze, Attraktor, Voperiode, Adjazenzmatrix, modus ponens, modus tollens

Nächstes Thema: Beweisverfahren

Zu meiner großen Überraschung macht der Kurs eigentlich richtig Spass, zwar ist die Hürde am Anfang etwas größer und man muss sich ein wenig anstrengen, um dem Text zu folgen und sich in die Themen reinzudenken, aber es ist auch irgendwie ziemlich spannend. Vor mir liegen aber noch unendlich viele Seiten, da kann ich nur hoffen, dass es so bleibt

Stichworte zur Prädikatenlogik: Allquantor, Existenzquantor und Syllogismen.

Nächstes Thema: Boolesche Netze

Ein sehr nützliches Tool um die selbst erstellten Wahrheitstabellen zu überprüfen, sicher ist sicher, habe ich bei der Suche nach einer Erklärung für hinreichend und notwendig entdeckt – den LogicAnalyzer.

Nun muss sich nur noch zeigen, wie richtig oder falsch meine Lösungen sind und ob die Darstellung so in Ordnung ist.