Sprawdzić, że
\(\displaystyle{ \lambda x.Mx = _{\beta}M}\),
gdy \(\displaystyle{ M}\) jest abstrakcją
sprawdzenie abstrakcji
-
kluczyk
- Użytkownik
- Posty: 441
- Rejestracja: 20 paź 2006, o 22:44
- Płeć: Mężczyzna
- Lokalizacja: Małopolska
- Podziękował: 77 razy
- Pomógł: 12 razy
sprawdzenie abstrakcji
Ostatnio zmieniony 19 cze 2012, o 22:12 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
