Differences

This shows you the differences between two versions of the page.

--- teaching:is:ind-solutions [2020/06/24 14:55] – [12.14] Franconi Enrico
+++ teaching:is:ind-solutions [2020/06/24 15:11] (current) – [12.9] Franconi Enrico
@@ Line 145: / Line 145: @@
 ===== 12.8 =====
+(a)
+  f(X,X,c,X,c)
+(b)
+  yes(c(l,X1),L) ⇐ append(c(l,X1),c(L,nil),c(l,c(i,c(s,c(t,nil)))))
+<nowiki>(c)</nowiki>
+  append(c(l,X1),c(L,nil),c(l,c(i,c(s,c(t,nil))))) ⇐
+     append(X1,c(L,nil), c(l,c(i,c(s,c(t,nil)))))
 ===== 12.9 =====
+(a)
+  {Z/f(X),Y/g(b)}
+(b)
+  {W/f(t),X/t,Q/t}
+<nowiki>(c)</nowiki>
+  {P/val(X,bb),Z/val(X,bb)}
 ===== 12.14 =====