Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
-
1122
- Użytkownik
- Posty: 10
- Rejestracja: 17 paź 2008, o 22:56
- Płeć: Kobieta
- Lokalizacja: Kraków
Post
autor: 1122 »
Udowodnić, że podane funkcje są pierwornie (prymitywnie) rekurencyjne:
1. \(\displaystyle{ \sum_{y<z}^{} f(x,y) = s(x,z)}\)
2. \(\displaystyle{ \prod_{y<z}^{} f(x,y) = p(x,z)}\)