FunctionalProgramming2 2013 — различия между версиями
Материал из SEWiki
(→Домашние задания) |
(→Ссылки) |
||
Строка 31: | Строка 31: | ||
== Ссылки == | == Ссылки == | ||
+ | |||
+ | Страница курса: | ||
+ | http://migmit.info/course/fp2 |
Версия 15:12, 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