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