Bedeutung: /2 < Softwaretechnik+Pro < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 20:00 Do 29.07.2010 | | Autor: | Pacapear |
Hallo zusammen!
Ich lerne grade für Info I und in meinen Foliensatz taucht immer wieder etwas auf, was ich nicht verstehe, nämlich:
/2
Zum Beispiel sollte in der Prädikatenlogik bestimmt werden, ob gewisse Ausdrücke Terme oder Formeln sind, und als Funktoren war die Menge [mm] F=\{+/2,-/2\} [/mm] und als Relationen die Menge [mm] R=\{/2\} [/mm] gegeben.
Oder bei Tiefensuche in Bäumen bei funktionaler Programmierung, da stand dann "Für die Auswertung von xs++ys mit ... werden n Reduktionen via (++/2) benötigt.!
Oder im Internet habe ich ein Dokument gefunden, da stand "Programmiere die Funktion member/2".
Was bedeutet dieses komische /2?
Es wird nirgends in den Folien erklärt ![[nixweiss]](/images/smileys/nixweiss.gif "[nixweiss]")
LG Nadine
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 22:33 Do 29.07.2010 | | Autor: | felixf |
Moin Nadine!
> Hallo zusammen!
>
> Ich lerne grade für Info I und in meinen Foliensatz taucht
> immer wieder etwas auf, was ich nicht verstehe, nämlich:
>
> /2
>
> Zum Beispiel sollte in der Prädikatenlogik bestimmt
> werden, ob gewisse Ausdrücke Terme oder Formeln sind, und
> als Funktoren war die Menge [mm]F=\{+/2,-/2\}[/mm] und als
> Relationen die Menge [mm]R=\{/2\}[/mm] gegeben.
>
> Oder bei Tiefensuche in Bäumen bei funktionaler
> Programmierung, da stand dann "Für die Auswertung von
> xs++ys mit ... werden n Reduktionen via (++/2) benötigt.!
>
> Oder im Internet habe ich ein Dokument gefunden, da stand
> "Programmiere die Funktion member/2".
>
> Was bedeutet dieses komische /2?
>
> Es wird nirgends in den Folien erklärt
Die /2 soll dir sagen, dass es sich hier um zweistellige Funktoren bzw. Relationen handelt. Ebenso kann man -/1 verwenden fuer das unaere Minus (das Minus in $-x$), damit unterscheidet es sich von -/2 (dem Minus in $x - y$).
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:22 Do 29.07.2010 | | Autor: | Pacapear |
Hallo Felix!
Vielen Dank für deine Antwort, hat mir echt geholfen 
LG Nadine
|
|
|
|
