Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Inducție structurală ====== Demonstrați următoarele proprietăți folosind inducție structurală: 1. $ \forall l \in List. reverse(reverse(l)) = l$ 2. $ \forall r \in Ring, size(move(r)) = size(r)$ 3. $ \forall i \in \mathbb{N}, \forall r \in Ring, element(i,move(r)) = element(i+1,r)$