FunctionalProgramming2 2013 — различия между версиями
Материал из SEWiki
(→Ссылки) |
(→Домашние задания) |
||
| Строка 10: | Строка 10: | ||
1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы. | 1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы. | ||
| − | Сколько элементов в домене, соответствующем | + | Сколько элементов в домене, соответствующем типу Bool -> Bool? |
2. Функция seq :: a -> b -> b | 2. Функция seq :: a -> b -> b | ||
Текущая версия на 15:21, 7 октября 2013
Лектор -
Практика -
Содержание
Лекции
Домашние задания
Задачи:
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.
Придумайте пример частично упорядоченного множества, в котором есть ровно один максимальный элемент, но нет наибольшего.
Список литературы
Ссылки
Страница курса: http://migmit.info/course/fp2
