Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
aa:lab:12 [2024/01/19 12:21] dmihai |
aa:lab:12 [2025/01/23 14:09] (current) dmihai |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| 1. Definiți axiome pentru următorii operatori pe tipul ''List'': | 1. Definiți axiome pentru următorii operatori pe tipul ''List'': | ||
| - | * ''append'' (concatenarea unei liste la o alta; ''append(Cons(8, Cons(12, Empty)), Cons(3, Cons(6, Empty))) = Cons(8, Cons(12, Cons(3, Cons(6, Empty))))'') | ||
| * ''reverse'' (inversează elementele dintr-o listă) | * ''reverse'' (inversează elementele dintr-o listă) | ||
| + | * ''filterEven'' (elimină elementele impare dintr-o listă) | ||
| 2. Definiți axiome pentru următorii operatori pe tipul ''BTree'': | 2. Definiți axiome pentru următorii operatori pe tipul ''BTree'': | ||
| Line 25: | Line 25: | ||
| * $math[\forall l_1, l_2 \in \texttt{List}. length(append(l_1, l_2)) = length(append(l_2, l_1))] | * $math[\forall l_1, l_2 \in \texttt{List}. length(append(l_1, l_2)) = length(append(l_2, l_1))] | ||
| * $math[\forall l_1, l_2 \in \texttt{List}. reverse(append(l_1, l_2)) = append(reverse(l_2), reverse(l_1))]. | * $math[\forall l_1, l_2 \in \texttt{List}. reverse(append(l_1, l_2)) = append(reverse(l_2), reverse(l_1))]. | ||
| + | |||