deniok: (умничаю)
deniok ([personal profile] deniok) wrote2008-04-03 03:06 pm

Лямбда, которую мы потеряли

Пара задачек по лямбда-исчислению.

(1) Сконструируйте лямбда-терм F, такой что для любого терма M выполнялось бы
FM = MF


(2) Сконструируйте лямбда-терм G, такой что для любых термов M и N выполнялось бы
GMN = NG(NMG)


Ответы не скринятся, так что если хотите думать сами - не смотрите в комменты.

[identity profile] antilamer.livejournal.com 2008-04-03 06:47 pm (UTC)(link)
Прочитал комменты; видимо, загвоздки не будет и я тоже крутой ;)

[identity profile] deni-ok.livejournal.com 2008-04-03 06:49 pm (UTC)(link)
Крутой, крутой :-)