FunctionalProgramming2 2013
Материал из SEWiki
Лектор -
Практика -
Содержание
Лекции
Домашние задания
Задачи:
1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы.
Сколько элементов в домене, соответствующем типа Bool -> Bool?
2. Функция seq :: a -> b -> b
seq _|_ _ = _|_
seq _ b = b
Доказать: seq -- непрерывна.
3. Придумайте пример монотонной, но не непрерывной функции.
4. Рассмотрим наибольший элемент T: \forall x : x < T.
Максимальный элемент m:\forall x : x \geq m => x это m.
Придумайте пример частично упорядоченного множества, в котором есть ровно один максимальный элемент, но нет наибольшего.
