Frage zum typisierten Lambda-Kalkül |
23.06.2010, 21:11 | Tokiomonsta | Auf diesen Beitrag antworten » |
Frage zum typisierten Lambda-Kalkül ( x(Typ e).(f<Typ e, Typ e> (x <Type e>)))(a Typ e) Ich hab leider überhaupt keine Ahnung, wie man sowas angeht. Ich schätze mal, dass man f<Typ e, Typ e> und x <Type e> zu fx <Typ e> zusammenfassen kann. Doch was kommt dann? |
||
25.06.2010, 17:50 | Tokiomonsta | Auf diesen Beitrag antworten » |
Ich glaub, ich hab jetzt die Lösung rausgefuchst: Und zwar f(a). Ist das richtig? Und dann gibt's noch folgende zwei Aufgaben: 1) Q <e,t>.(Q <e,t>) (slithytove<e>) = Das dürfte nicht gehen, da man keine Variable vom Typ <e> in eine Funktion vom Typ <e,t> einsetzen kann. 2) ( x<e>.(y<e>.(BRILLIG<e,t>(y<e>)))(x<e>)) (it<e>) = Da müsste BRILLIG(it)<t> rauskommen... Right? |
||
26.06.2010, 00:52 | gonnabphd | Auf diesen Beitrag antworten » |
Hab dir mal 'ne PN geschickt. |
||
27.06.2010, 10:55 | Tokiomonsta | Auf diesen Beitrag antworten » |
Vielen lieben Dank! Aber hat leider auch nichts gebracht. Offenbar kennt sich niemanden in meinem Gebiet aus! *Schnüff* |
||
27.06.2010, 20:35 | gonnabphd | Auf diesen Beitrag antworten » |
Scheint mir ja was gaanz Spezielles zu sein! Naja, nicht aufgeben... Vielleicht meldet sich dann doch noch irgendwann ein Spezialist. Ansonsten kann man auch noch Herrn Google nach anderen Foren fragen... |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |
|