Предыдущие записи блогера :
Архив записей в блогах:
M60A2 Starship http://warthunder.ru/ru/news/12977-v-razrabotke-m60a2-starship-ru Breda Ba.65 K14 — быстрый коршун http://warthunder.ru/ru/news/12972-v-razrabotke-breda-ba-65-k14-bystryj-korshun-ru Breda Ba.65 K14 Nibbio — это итальянский двухместный многоцелевой самолет, ...
Если имеется: &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 действительно так выражаются, через ...
. В продолжение темы "Филя идет на войну ! /Видео/" ...
Наконец поймал резидентную хвостатую красавицу, пока что только на телефоне, но надеюсь как-нибудь и на телеобъектив получится. Последнюю пару недель она совсем осмелела, бегает средь белого дня и шугает кроликов. ...
Ума Турман и Квентин Тарантино после 20-летней дружбы стали парой. Месяц назад Ума рассталась со своим давним бойфрендом Арпадом Бюссоном, да и Квентин разошелся со своей Кортни Хоффман. Во время Каннского фестивался Ума и Квентин жиди вместе на роскошной вилле на побережье, а сейчас их ок ...