Предыдущие записи блогера :
Архив записей в блогах:
Если имеется: &forall b (∀ a (P (a) &rArr Q (b)) ⇒ Q (b)) Поскольку &forall a P (a) &rArr Q (b) ≡ ∃ a (P (a) ⇒ Q (b)), то ∀ b ∃ a ( (P (a) &rArr Q (b)) &rArr Q (b)), и поскольку (A ⇒ B) ⇒ B ≡ A, то ∃ a P (a) Так вот - что меня удивляет, что экзистенциальные типы в Haskell действительно так выражаются, через ...
Это цитата сообщения Елена-Елена Оригинальное сообщение Домик из картона Автор Tatiana Marajo , Избушка к новогоднему декору. Изготовлена из картона... Высота 15 см. Вырезанные детали склеить клеем. Я использую мебельный . ...
Вот если бы вы выбирали место, куда перебраться, и были ограничены в средствах, что бы вы выбрали? Хороший район, хороший дом и приличное окружение в небогатой стране или бедненький квартал в богатой стране? Вчера спорили с подругой. Я за первый вариант. ...
Сегодня у Гостиного двора представители несистемной, недопущенной до выборов оппозиции, протестовали против этих самых выборов. Как всегда, присутствовало огромное количество журналистов и полицейских, которые задержали по ...