[Club2] 22.03: 15.00 Uhr, !!!ZUSE!!!

urban@math.lmu.de urban@math.lmu.de
Mon, 20 Mar 2006 15:36:02 +0100


Noch einen Nachtrag zu der Vortragsankuendigung
fuer Mittwoch: man braucht nicht bei den ersten
vier nominalen Vortraegen gewesen zu sein, um
das Material ueber Unifikation zu verstehen.

Christian


Quoting Norbert Schirmer <norbert.schirmer@web.de>:
> Diese Woche:
>
> Mi. 22.03: 15.00 Uhr im Zuse (01.11.018)
>
> Christian Urban:
>
> Nominale Unifikation
> --------------------
>
> Ich werde einen einfachen Algorithmus pr=E4sentieren,
> der Terme modulo alpha-Equivalenz unifiziert. Mit
> diesem Algorithmus kann man zum Beispiel recht
> einfach folgendes Quiz l=F6sen:
>
>  Assuming that a and b are distinct variables, is it possible
>  to find lambda-terms M_1 to M_7 that make the following
>  pairs alpha-equivalent?
>
>      \lambda a.\lambda b. (M_1 b) and \lambda b.\lambda a. (a M_1)
>
>      \lambda a.\lambda b. (M_2 b) and \lambda b.\lambda a. (a M_3)
>
>      \lambda a.\lambda b. (b M_4) and \lambda b.\lambda a. (a M_5)
>
>      \lambda a.\lambda b. (b M_6) and \lambda a.\lambda a. (a M_7)
>
>  If there is one solution for a pair, can you describe all its
>  solutions?
>
>
>   Norbert
>
> _______________________________________________
> Club2 mailing list
> Club2@mailbroy.informatik.tu-muenchen.de
> https://mailbroy.informatik.tu-muenchen.de/cgi-bin/mailman/listinfo/club2
>





----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.