Update: Tippfehler, Danke Marcel. Update: Ungenauigkeit beseitigt. Danke Steve. Update: Fehler beseitigt. Danke Max. Update: Pfui, da sind mir doch tatsächlich ein paar Funktionen abhanden gekommen. Sind alle wieder im Text. Auch habe ich einen weiteren Betrag verfasst um den Zusammenhang zwischen einer Programmiersprache und sowie dem utm- und smn-Theorem noch etwas zu verdeutlichen. Update: […]

Update: ich modelliere auch diesen Beitrag auf die Lernziele um. Evtl. kann es sein, dass der Beitrag nicht ganz fertig wird, so dass ein paar Antworten (noch) leer sind. Da ich ihn aber nicht speichern kann ohne ihn zu aktualisieren oder ihn offline nehmen müsste, habe ich keine andere Wahl als das zunächst so zu handhaben. […]

Inhaltsverzeichnis Berechenbarkeit von Zahlen- und Wortfunktionen Entscheidbarkeit (rekursiv) und Semi-Entscheidbarkeit (rekursiv aufzählbar) Erstes und zweites Diagonalargument von Cantor Im Skript wird dieses Thema schnell durchgekauft. Persönlich halte ich es jedoch für sehr wichtig, sich diese Begrifflichkeiten unbedingt zu merken. Also fangen wir auch direkt an: Berechenbarkeit Noch einmal kurz als Wiederholung bzgl. Berechenbarkeit: dem Begriff […]

Update 3: Nach Olivers Einwand (Danke hier nochmal!) habe ich den Abschnitt über Hilfssymbole erneut überarbeitet. Update 2: Wow, beim Durchgehen des Eintrags sind mir massive Schnitzer bei den Hilfssymbolen aufgefallen. Hoffentlich sind die jetzt raus. Sorry! Update: mit dem Eintrag sollten nun alle Lernziele aus KE3 erschlagen worden sein. Ist zwar etwas lang geworden, […]