files/practicum/EersteOfLaatste.icl

   1 implementation module EersteOfLaatste
   2
   3 import StdEnv
   4
   5 //      1.
   6 eerste2 :: [a] -> [a]
   7 eerste2 ...
   8
   9 laatste2 :: [a] -> [a]
  10 laatste2 ...
  11
  12
  13 //      2.
  14 //  Reduceer de volgende Start-regels met de hand:
  15 Start = hd (hd (hd [[[1,2,3],[4]],[[5],[6]]]))
  16 Start = hd (tl [1,2,3,4,5])
  17 Start = eerste2 [[1],[],[2,3],[4,5,6]]
  18 Start = laatste2 [[1],[],[2,3],[4,5,6]]
  19
  20
  21 //      3.
  22 eersten  :: Int [a] -> [a]
  23 eersten ...
  24
  25 laatsten :: Int [a] -> [a]
  26 laatsten ...
  27
  28 //      4.
  29 //  Maak de volgende beweringen af:
  30 /*
  31 Voor alle 0 <= n, xs :: [a] : eersten n (eersten  n xs) =
  32 Voor alle 0 <= n, xs :: [a] : eersten n (laatsten n xs) =
  33 Voor alle 0 <= n, xs :: [a] : laatsten n (eersten n xs) =
  34 Voor alle 0 <= n, xs :: [a] : laatsten n (laatsten n xs) =
  35 Voor alle 0 <= m <= n, xs :: [a] : eersten m (eersten n xs) =
  36 Voor alle 0 <= m <= n, xs :: [a] : length (eersten m xs) ? length (eersten n xs)
  37 */