FunctionalProgramming2 2013 — различия между версиями
Материал из SEWiki
(Новая страница: «Лектор - Практика - == Лекции == == Домашние задания == == Список литературы == == Ссылки ==») |
(→Домашние задания) |
||
| Строка 6: | Строка 6: | ||
== Домашние задания == | == Домашние задания == | ||
| + | Задачи: | ||
| + | |||
| + | 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. | ||
| + | |||
| + | Придумайте пример частично упорядоченного множества, в котором есть ровно один максимальный элемент, но нет наибольшего. | ||
== Список литературы == | == Список литературы == | ||
== Ссылки == | == Ссылки == | ||
Версия 14:39, 1 октября 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.
Придумайте пример частично упорядоченного множества, в котором есть ровно один максимальный элемент, но нет наибольшего.
