Forum "Logik" - Frage zur Typenlogik - ev.vorhilfe.de

- Förderverein -

Der Förderverein. Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Mitglieder · Impressum

Forenbaum

VH e.V.

Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Suchen
Impressum

Das Projekt

Server und Internetanbindung werden durch Spenden finanziert.

Organisiert wird das Projekt von unserem Koordinatorenteam.

Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.

Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".

Partnerseiten

Weitere Fächer:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Logik" - Frage zur Typenlogik

Frage zur Typenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Logik" |

Alle Foren |

Forenbaum | Materialien

Frage zur Typenlogik: Frage (überfällig)

Status:	(Frage) überfällig
Datum:	12:25 Sa 03.07.2010
Autor:	Shlomoe

Aufgabe

 Hab eine Frage zur Typenlogik:

Wenn ich einen Ausdruck vom Typ <e,t> auf einen Ausdruck vom Typ <<e,t>,<<e,t>,t>> anwende, kommt ein Ausdruck vom Typ <<e,t>,t>> raus, oder?

Und wenn ich einen Ausdruck vom Typ <<e,t>,t> auf einen vom Typ <e,<e,t>> anwende dürfte <e,t> rauskommen, oder?

Siehe oben.

Bezug

Frage zur Typenlogik: Fälligkeit abgelaufen

Status:	(Mitteilung) Reaktion unnötig
Datum:	13:20 Di 06.07.2010
Autor:	matux

$MATUXTEXT(ueberfaellige_frage)