Die Mathe-Redaktion - 19.06.2013 12:41
Auswahl
  • Home
  • Aktuell und Interessant ai
  • Artikelübersicht/-suche
  • Alle Links / Mathe-Links
  • Link der Stunde
  • 2.Satz des Jahres 2012
  • Der Satz des Jahres 2011
  • Fach- & Sachbücher
  • Mitglieder / Karte
  • Registrieren/Login
  • Arbeitsgruppen
  • Schwätz /Top 15
  • Werde Mathe-Millionär!
  • Formeleditor fedgeo

  • Neues auf einen Blick Warten auf Neues
    • Aktion im Forum
    Forum-Gliederung
    Zur Anmeldung
    Beiträge in den Foren Suche im Forum
    Frage stellen

    Wartet darauf, dass Fragensteller die Antwort(en) liest2013-06-19 12:27 U P <
    Geschwindigkeit, bei der keine Wärme transportiert wird
    Fragensteller hat Anwort gelesen, aber bisher nicht weiter reagiert2013-06-19 12:23 U
    Gleichung für den Erwartungswert zeigen
    Fragensteller hat Anwort gelesen, aber bisher nicht weiter reagiert2013-06-19 12:06 U
    Bogenlänge des Graphen von x^2/2 über [0,1] (mit Rechnung) - evtl. fehlerhaft?
    Frage wurde beantwortet oder hat sich erledigt2013-06-19 11:51 U J
    Gleichungssystem lösen
    Wartet auf Antwort2013-06-19 11:47  P ?
    Relativitätstheorie widerlegt?

    Zur Forum-Gliederung
    Zum Mathe-Forum
    Zum Schulmathe-Forum
    Zum Physik-Forum
    Zum Informatik-Forum
    Suche im Forum

    Fragen? Zum Forum-FAQ

    Suche
    Stichwortsuche in Artikeln und Links von Matheplanet
    Suchen im Forum
    Suchtipps

    Bücher
    Englische Bücher
    Software
    Suchbegriffe:
    Mathematik bei amazon
    Naturwissenschaft & Technik
    In Partnerschaft mit Amazon.de
    Kontakt
    Mail an Matroid
    [Keine Übungsaufgaben!]

    Impressum

    Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
    die Forumregeln.

    Sie können Mitglied werden oder den Newsletter bestellen.

    Der Newsletter Juni 2013

    Für Mitglieder
  • Mein Profil
  • Neuen Artikel beginnen
  • Wartende Änd.vorschläge
  • Meine Links
  • Ordner Private Nachrichten
  • Gesendete Nachrichten
  • Private Nachricht schreiben
  • Besuchte Forumthemen
  • Bewertete Forumthemen
  • Meine Fragen/Themen
  • Notizbuch

     Meine beobachteten Themen 



    • Mathematisch für Anfänger
    Hinweis auf unsere Bücher:

    Mathematisch für Anfänger
    Mathematisch für Anfänger


    Mathematisch für Anfänger
    Mathematisch für fortgeschrittene Anfänger
    Wer ist Online
    Aktuell sind 560 Gäste und 31 Mitglieder online.

    Sie können Mitglied werden:
    Klick hier.

    Über Matheplanet
    		 
    Zum letzten Themenfilter: Themenfilter:
    Matroids Matheplanet Forum Index
    Moderiert von Bilbo
    Theoretische Informatik » Berechenbarkeitstheorie » Lambda-Kalkül: Substitution    		Druckversion
    Druckversion    		Antworten
    Antworten
    Autor
    Universität/Hochschule Lambda-Kalkül: Substitution
    Mych
    Aktiv Letzter Besuch: in der letzten Woche
    Dabei seit: 09.07.2009
    Mitteilungen: 295
    Aus: Zürich
    Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2012-07-21 01:17


    Hi

    Ich hab grad ein bisschen einen Knoten:

    1. (\x->(\y->(x(\x->xy))))y = (\t->(y(\x->xt)))

    2. (\x->(\x->x))z = \y -> y

    Was ich grad nicht kapiere ist, warum dass man bei 1. nur die freie Variable (i.e. "x") substituiert und bei 2. grad den ganzen Ausdruck \x->x mit einer neuen Variable belegt..?

    Thx

      Profil  Quote  Link auf diesen Beitrag Link
    Mad-C
    Aktiv Letzter Besuch: in der letzten Woche
    Dabei seit: 17.06.2011
    Mitteilungen: 123
    Aus:
    Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2012-07-23 04:09


    Hallo Mych,

    bei beiden Ausdrücken wird das gleiche gemacht.
    Es findet eine Umbenennung (Alpha-Konversion) statt und dann wird einmal appliziert (Beta-Konversion).

    Beim 1. Teil wird das innere y zu t umbenannt und dann y für x eingesetzt.
    Beim 2. Teil wird das innere x zu y umbenannt und dann z füt x eingesetzt (z verschwindet weil das x nach der Umbenennung hinten nicht mehr auftaucht).

    Ich hoffe das hilft dir.

    Grüße
    Mad-C

    PS: Beim 1. Teil muss man bei der Applikation dann aufpassen, weil im Inneren Teil natürlich nicht y appliziert wird.
    [ Nachricht wurde editiert von Mad-C am 23.07.2012 04:12:56 ]

      Profil  Quote  Link auf diesen Beitrag Link
    Mych hat die Antworten auf ihre/seine Frage gesehen.
    Bewerte diesen Thread:
    [Was sonst bewertet wurde]
    		 Neues Thema [Neues Thema]

     Antworten [Antworten]   

     Druckversion [Druckversion]


    Wechsel in ein anderes Forum:
     Suchen    
     
    All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2013 by Matroids Matheplanet
    This web site was made with PHP-Nuke, a web portal system written in PHP. PHP-Nuke is Free Software released under the GNU/GPL license.
    Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
    Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
    [Seitenanfang]