Wyniki wyszukiwania dla "proof"
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...
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...