D120.de/forum

hmm.. gegen ein photo per PN hätte ich auch nichts einzuwenden

vielen Dank im voraus,
käse

dass B und D einelementig sind hat er hier nur mal als beispiel so gehwählt dann ist B -> D = { f: f(b) = d }, es sei denn man sagt f(b) = nicht definiert ist auch noch eine Funktion, das kanns aber glaub irgendwie ned ganz sein Die Funktion ist laut Definition nicht total, also könnte das schon se...

Hallo,

ich verstehe folgende Teilfrage auf dem Übungsblatt leider nicht so recht. Kann mir jemand vieleicht einen Hinweis geben, was genau dort gefragt ist?

"Worauf wurden die Modularitätskriterien (modular-* criteria) definiert?"


viele Grüße,
Käse

Ich bin auch dabei. Mein Nickname ist: ahh.. kaesebrot, wie sollte es anders sein

viele Grüße,
Käse

Hallo,
mir fehlt ein Ansatz, wie ich an die Beweise herangehen soll. Hat jemand einen Tip für mich?

Die Aufgabe bezieht sich nicht auf die Teilaufgabe a. Nach Folie 42 ist ein Kalkül "eine Regelsammlung, die eine Zeichenkettenmenge Z induktiv definiert". Von soetwas ist ja in der Teilaufgabe a nicht die Rede. Folie 43 zeigt genau was gemacht werden soll.

Eine Wahrheitstafel sollte eigentlich für einen Beweis ausreichen.

Das ist ja schließlich formal, oder?

Hallo,

ich bräuchte die Zugangsdaten auch nochmal (hab sie mir irgendwie falsch notiert)

vielen Dank im Vorraus,
Käse

PS.: hat sich erledigt

Hi,

wenn ich das richtig sehe, muß man zeigen das man auf die Negation und Disjunktion zu gunsten des Schefferstrichs verzichten kann. Man muß also für alle Formeln die Negation und Disjunktion enthalten einen äquivalenten Ausdruck ohne diese Junktoren finden.


viele Grüße,
Käse