Wyniki wyszukiwania dla "proof"

4 odpowiedź

Konkretny przykład pokazujący, że monady nie są zamknięte w składzie (z dowodem)?

Dobrze wiadomo, że funktory aplikacyjne są zamknięte w składzie, ale monady nie są. Mam jednak problem ze znalezieniem konkretnego kontrprzykładu pokazująceg...

3 odpowiedź

Liczba drzew wyszukiwania binarnego ponad n różnych elementów

Ile drzew wyszukiwania binarnego można zbudować z n różnych elementów? A jak możemy znaleźć matematycznie sprawdzoną formułę?Przykład: Jeśli mamy 3 różne ele...

2 odpowiedź

Potrzebuję pomocy, aby udowodnić, że jeśli f (n) = O (g (n)) oznacza 2 ^ (f (n)) = O (2 ^ g (n)))

4 odpowiedź

Jak określić wysokość drzewa rekurencji z relacji powtarzalności?