Lambda Kalkül gebunden und frei?

(λabc.a(bb)c)(λxy.xya)(λa.a)

also meine Lösung:

gebunden: abcxy

frei: ab

ich bin mir bei dem b halt nicht sicher, wegen dem Ausdruck (bb) innerhalb eines Ausdrucks

1 Antwort

12.07.2025, 20:57

Ich denke das b ist auch gebunden. Da steht ja kein Lambda in (bb). Ich denke das soll dafür stehen, dass b auf sich selbst angewendet wird. Und das b ist ja durch das äußere Lambda (\abc) gebunden

Also sollte die einzige frei vorkommende Variable a sein

Ähnliche Beiträge

Wie kann ich einen Ausdruck mit Lambda im Casio fx-991DE eingeben z.B diesen Ausdruck Lambda * (a+b)?

...zum Beitrag

Die Funktion soll sich nach Beendigung der Rekursion wiederholen?

Ich versuche, Bubblesort in Haskell zu implementieren:

bsort:: (Ord a) => [a] -> [a]
bsort [] = []
bsort [x] = [x]
bsort (x:y:xs)
    | x <= y = x: bsort(y:xs)
    | x >= y = y: bsort(x:xs)

Nachdem die Funktion ausgeführt wurde, wird der gesamte Vorgang nicht noch einmal wiederholt, so dass die Liste nicht vollständig sortiert ist. Wie kann ich der Funktion sagen, dass sie sich wiederholen soll, bis die Liste vollständig sortiert ist?

Wenn ich zum Beispiel eintippe: bsort [1,5,2,4] erhalte ich [1,2,4,5]

aber wenn ich eintippe: bsort [9,6,1,5,2,4] erhalte ich [6,1,5,2,4,9], wie sage ich, dass der Prozess mit [6,1,5,2,4,9] wiederholt werden soll?

...zum Beitrag

Ich verstehe den Zusatz Freie und Hansestadt Hamburg nicht. Was bedeutet er?

Was Hansestadt bedeutet weiß ich. Aber was soll das "Freie"? Was soll Freie Hamburg bedeuten? Nach meinen Kentnissen der deutschen Rechtschreibung und Grammatik macht der Ausdruck Freie und Hansestadt Hamburg irgendwie keinen Sinn. Kann mir das jemand erklären? Danke :D

...zum Beitrag

CHEMIE! Freies und gebundenes Elektronpaar

Ich schreibe morgen eine Chemiearbeit und dabei ist mir dabei eine frage nicht ganz deutlich undzwar

Warum nimmt ein freies Elektronenpaare mehr Raum ein als ein gebundenes ?

...zum Beitrag

Unterschied chemisch gebundenes und freies l-Glutamin

Hi,

worin besteht der Unterschied zwischen freiem und chemisch gebundenem L Glutamin oder Arginin? Das gebundene findet man ja in Lebensmitteln, ist es deswegen besser oder, keine Ahnung..

Vielen Dank schon mal ;D

LG Flo

...zum Beitrag

Haskell-File auf Mac öffnen?

Guten Abend,

unszwar geht es darum, daß wir versucht haben auf Mac eine Haskell-Datei namens hallowelt.hs zu öffnen. Die Datei haben wir mit einem Texteditor geschrieben und möchten sie nun ihm Compiler GHCi 8.6.3 öffnen. Auf Windows klappt alles tadellos. Man klickt mit Rechtsklick auf "Öffnen mit GHCi 8.6.3." und die Datei öffnet sich im Compiler.

Auf Mac klappt es leider nicht. Da steht dann "Öffnen mit anderen Programm" und wenn wir dann den Rechner durchsuchen finden wir GHCi 8.6.3 nicht, obwohl GHCi auf dem Mac installiert ist und nachweislich funktioniert.

Haben auch probiert direkt über GHCi das Modul zu laden, aber es zeigt immer eine Fehlermeldung an, daß diese Datei nicht gefunden wurde, obwohl sie unter Downloads gespeichert wurde. Woran könnte das liegen?

PS: Wer sich wundert. In dem geschwärzten steht nur der Klarname der Person, welcher der Mac gehört. Bin mir nicht sicher, ob sie das so cool finden würde, daß der hier im Internet auftaucht, deswegen geschwärzt.

Wo liegt der Fehler?

Danke und liebe Grüße

...zum Beitrag

Beweis durch strukturelle Induktion?

Wir haben folgende Funktionen:

prod :: [Int] -> Int

prod [] = 1 -- prod.1

prod (x:xs) = x * prod xs -- prod.2

foldl :: (b -> a -> b) -> b -> [a] -> b

foldl f acc [] = acc -- foldl.1

foldl f acc (x:xs) = foldl f (f acc x) xs -- foldl.2

Aufgabe:

Man soll mit struktureller Induktion beweisen, dass folgende Aussage gilt:

foldl (*) 1 xs = prod xs

Ich habe momentan:

foldl (*) 1 xs = prod xs

I.A. (xs = []):

foldl (*) 1 [] = prod []

foldl f acc [] = acc prod [] = 1 -- foldl.1 & plod.1

foldl f 1 [] = 1

1 = 1

I.V.: Wir nehmen an, dass die Aussage gilt für ein beliebiges xs

I.S. (xs -> x:xs):

foldl (*) 1 (x:xs) = prod (x:xs) -- foldl.2 & prod.2

foldl (*) ((*) 1 x) xs = x * prod xs

Problem: Ich weiß nun nicht wie ich mit dem Induktionsschritt fortfahren soll.

...zum Beitrag

Wie wird dieser Ausdruck in Java korrekt geklammert?

Hallo!

Alle anderen Aufgaben habe ich schon korrekt bearbeitet, aber bei dieser Aufgabe ist es auch nach gefühlt hundert verschiedenen Klammerungen noch nicht richtig.

Dieser Ausdruck soll geklammert werden: i - j + k == 0 || i != j || k != 0

Vielen Dank im Voraus

...zum Beitrag

Regulärer Ausdruck zu NFA/NEA?

Kann mir bitte Jemand weiterhelfen, diesen NFA/NEA zu konstruieren?

Mit "alle drei" Automaten sind jeweils der Automat von [0-9], [0-9]* und [0-9][0-9]* gemeint.

Für [0-9] habe ich den Automaten:

-->(q0)----[0-9]---->((q2))

Für die restlichen beiden habe ich auch eine Lösung, jedoch wurde mir gesagt, dass wir Epsilon bzw. Lambda nicht benutzen dürfen.

Ich verstehe jedoch nicht wie ich dann 5 Zustände und 6 Kanten erreichen soll beim finalen Automat.

...zum Beitrag

Frei fühlen trotz Beziehung ?

Kann man sich frei fühlen trotz Beziehung? Ich rede nicht vom fremdgehen sondern ob man sich trotzdem frei fühlen kann, obwohl man gebunden ist. Ob man gewisse Freiheiten ausleben darf, trotz einer Partnerschaft. Wie händelt ihr das?

...zum Beitrag

Sind Restaurants / Bars / Clubs an Getränkelieferanten gebunden?

Können Gastronomiebetriebe ihre Getränkelieferanten frei wählen / jederzeit wechseln oder sind die meisten Betriebe bereits and Lieferanten gebunden?

Wie sehen diese Verträge aus? Wie lange sind die Laufzeiten in der Regel?
Wo kann ich weitere Informationen dazu finden?

...zum Beitrag

Was ist der Unterschied zwischen Kristallgitter und Metallgitter?

Ich weiß, was das Metallgitter ist:

Metallatome besitzen in ihrer äußersten Schale ein oder mehr "freie" Elektronen. Diese Außenelektronen (Valenzelektronen) der Metalle sind nur schwach gebunden und können daher leicht vom Atom abgetrennt werden. Die Metallatome geben ihre Außenelektronen ab bis sie ihre Edelgasform erreichen. Im Metall bildet sich dadurch ein Gitter aus positiv geladenen Metallionen und die abgegebenen Außenelektronen sind nun nicht mehr einem einzelnen Atom zugeordnet und können sich innerhalb des Gitters nahezu frei bewegen. Diese freien Elektronen halten die Metallionen, die ein Gitter bilden, zusammen.

Was ist jetzt ein Kristallgitter?

Ist Kristallgitter die dreidimensionale Struktur und Metallgitter die zweidimensionale Struktur des Gitters?

...zum Beitrag

Editor für Haskell Programmierung?

Moinsen,

Wir fangen im Studium grade mit Haskell an, ist auch gut und scön, wir benutzen den Glasgow Haskell Compiler, aber man kann so weit ich das verstanden habe nur schon vorhandene .hs Dateien per Konsolenbefehl Compilieren und ausführen. Kennt ihr n anständigen Editor mit dem ich die .hs dateien erstellen kann?

...zum Beitrag

Quantenphysik: Der Compton-Effekt - wo liegt mein Denkfehler?

Hallo liebe Physiker,

es geht um die folgende Aufgabe in der Quantenphysik, die den Compton-Effekt thematisiert.

Ein Gammaquant mit der Energie 1 MeV wird an einem freien Elektron gestreut. Die Wellenlänge des gestreuten Quants ist gleich der Compton-Wellenlänge des Elektrons.

a) Berechnen Sie den Streuwinkel Phi

b) Wie viel Energie hat das Photon auf das Elektron übertragen?

Meine Lösung:

Aufgabe a) ist richtig gelöst, Aufgabe b) ist falsch und deshalb auch die Frage. Die Energie des Photons ist ja allgemein bekannt als E_Phot= hc/Lambda … Nun gibt aber dass Photon beim Compton Effekt die Energie Delta E_Phot= hc/Delta Lambda ab, die das Elektron aufnimmt, deshalb gilt: E_Elektron= hc/Delta Lambda … Delta Lambda habe ich bei a) schon richtig berechnet, denn sonst müsste ja das Ergebnis bei a) auch falsch sein?! Auf jeden Fall habe ich als Lösung E_Elektron= 1.041.884 eV, das Lösungsbuch sagt aber, dass E_Elektron= hc/ Lambda Compton = 510998 eV … Ich verstehe diesen Ansatz nicht, da Lambda Compton ja nur die neue Wellenlänge nach der Energieabgabe des Photons ist und keine Wellenlängenänderung.

Vielen Dank für Hilfe!

Grüße carbonpilot01

...zum Beitrag

Was möchtest Du wissen?

Deine Frage stellen