Пнанеки, последние августовские...
b
boroda044
Душевненько!
a
acro
дню рождения мальчика с гитарой посвящается:
А хочешь я убью соседей?
вдруг прозвучал вопрос жены.
Причем жены из-за соседской
стены
А хочешь я убью соседей?
вдруг прозвучал вопрос жены.
Причем жены из-за соседской
стены
Для того чтобы привлечь внимание официанта, гражданин Сидоров громко постучал пирожком по столу…
- Приношу свои глубочайшие оскорбления.
Сплю всегда с ножом под подушкой - на всякий случай. Вдруг кто-нибудь с тортиком придет
Движение - это жизнь. Поэтому, лежа на диванчике, слегка подергивай ножкой.
Поссорилась с мужем - кинула ему в суп виагры: как он бегал за мной, как извинялся
Просыпаешься в шесть утра - буди кота. Ибо не фига тут.
Кастрировал кота. Больше не орет, зато танцует
Дагестанские блохи, услышав лезгинку, затоптали кошку насмерть
Люди, которые читают книги, всег-да будут управлять теми, кто смотрит телевизор.
Три главные лжи человечества:
- Мы вам перезвоним,
- Завтра начну худеть,
- Я никогда больше не буду столько пить.
- Приношу свои глубочайшие оскорбления.
Сплю всегда с ножом под подушкой - на всякий случай. Вдруг кто-нибудь с тортиком придет
Движение - это жизнь. Поэтому, лежа на диванчике, слегка подергивай ножкой.
Поссорилась с мужем - кинула ему в суп виагры: как он бегал за мной, как извинялся
Просыпаешься в шесть утра - буди кота. Ибо не фига тут.
Кастрировал кота. Больше не орет, зато танцует
Дагестанские блохи, услышав лезгинку, затоптали кошку насмерть
Люди, которые читают книги, всег-да будут управлять теми, кто смотрит телевизор.
Три главные лжи человечества:
- Мы вам перезвоним,
- Завтра начну худеть,
- Я никогда больше не буду столько пить.
п
правое полукубие
D
D.Golovin
В
Вятский Квас
Только факты, для технарей, раз знания истории не хватает.
Расстояние от земли до луны 384400 км.
Александр Пушкин родился в г. Москве.
только факты. ничего больше.
D
D.Golovin
Я родился в небогатой семье, в нашем небольшом городе получил херовое образование и никуда не поступал. Долго искал работу. Батя мой с помощью каких-то связей, через третьи руки смог устроить меня садовником (благо в цветах разбираюсь) к местному нашему богачу. Его все в нашей глуши знают, ибо у
него денег куры не клюют. Он много лет назад участвовал в какой-то левой афере, выезжал куда-то из города, где-то с кем-то месился. Все у нас эту историю знают. Но сейчас не об этом.
У этого мужика есть племянник. Про его родителей я ничего не слышал, так что он постоянно ошивается у богача в доме. У них хорошие отношения. Но вся проблема в том, что этот племянник настоящий мудак. Истеричный, жадный и избалованный эгоист. Мы с ним общались вроде нормально, но в душе я его просто не выносил.
Так вот, однажды я как обычно вечером подстригал кусты под окном. А дом невысокий, окна низкие, так что все видно, что происходит внутри. (В тот день денежный мешок отмечал свой юбилей и съ*бался куда-то). Я когда работал, услышал разговор племянника и какого-то еще мужика. Стало интересно и я подсмотрел за ними, стал прислушиваться. Они стояли в гостиной. Этот маленький мажорчик, а рядом стоит здоровенный мужик ростом метра два, с длиннющей бородой. Разговор подходил к концу, бородач говорил что-то про то, что ОНИ скоро придут за мажорчиком и ему надо поскорей свалить.
Ну я обрадовался, что избавлюсь от этого п*здюка. Но тут здоровяк меня увидел, подбежал к окну, закинул меня внутрь. Грит, мол, что ты слышал, кто такой. Я ему говорю, что я всего лишь садовник и я ничего никому не скажу, кирпичей навалил полтонны. Он меня и слушать не стал, сказал, что мне придется свалить вместе с этим дебилом, чтобы я ему во всем помогал. Короче, все дошло до того, что я сейчас иду с этим придурком, здоровяком, еще двумя какими-то мужиками, коротышкой и с двумя нашими знакомыми. Мы должны сбросить какое-то долбанное кольцо (от которого у них у всех дикий мандраж) в лаву какой-то дебильной горы.
У этого мужика есть племянник. Про его родителей я ничего не слышал, так что он постоянно ошивается у богача в доме. У них хорошие отношения. Но вся проблема в том, что этот племянник настоящий мудак. Истеричный, жадный и избалованный эгоист. Мы с ним общались вроде нормально, но в душе я его просто не выносил.
Так вот, однажды я как обычно вечером подстригал кусты под окном. А дом невысокий, окна низкие, так что все видно, что происходит внутри. (В тот день денежный мешок отмечал свой юбилей и съ*бался куда-то). Я когда работал, услышал разговор племянника и какого-то еще мужика. Стало интересно и я подсмотрел за ними, стал прислушиваться. Они стояли в гостиной. Этот маленький мажорчик, а рядом стоит здоровенный мужик ростом метра два, с длиннющей бородой. Разговор подходил к концу, бородач говорил что-то про то, что ОНИ скоро придут за мажорчиком и ему надо поскорей свалить.
Ну я обрадовался, что избавлюсь от этого п*здюка. Но тут здоровяк меня увидел, подбежал к окну, закинул меня внутрь. Грит, мол, что ты слышал, кто такой. Я ему говорю, что я всего лишь садовник и я ничего никому не скажу, кирпичей навалил полтонны. Он меня и слушать не стал, сказал, что мне придется свалить вместе с этим дебилом, чтобы я ему во всем помогал. Короче, все дошло до того, что я сейчас иду с этим придурком, здоровяком, еще двумя какими-то мужиками, коротышкой и с двумя нашими знакомыми. Мы должны сбросить какое-то долбанное кольцо (от которого у них у всех дикий мандраж) в лаву какой-то дебильной горы.
M
Menzoberanzan
D.Golovin
А минуснул а через 5 минут дошло..)))
В
Вятский Квас
Враньё, т.к. орбита Луны не есть круговая
у меня рулетка на 10 метров только, проверить не смог.... всегда округлял до 400
D
D.Golovin
Водитель, помни! Что у машины есть ТЕНЬ! И она может нарушать ПДД!! Жителю Липецка выписали штраф за пересечение сплошной!
П
Полярный Лис™
Враньё, т.к. орбита Луны не есть круговая
Это средняя орбита. Ты еще давай про перигей и апогей, ну и про приливной захват не забудь.
a
andsv
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших
категориях[en] и типах в логике и языках программирования.
Унивалентные основания математики — программа построения средствами гомотопической теории типов универсального формального языка, являющегося конструктивными основаниями для современных разделов математики и обеспечивающего возможность автоматической проверки правильности доказательств на компьютере. Инициирована Владимиром Воеводским в конце 2000-х годов; толчком к более широкому интересу к унивалентным основаниям послужила написанная Воеводским библиотека формализованной математики «Foundations», ставшая к середине 2010-х годов частью библиотеки UniMath и которая послужила основой для многих других библиотек[⇨]; в рамках программы большим коллективом математиков была написана книга[⇨].
Математическое доказательство в гомотопической теории типов состоит в установлении «обитаемости» необходимого типа, то есть, в построении выражения соответствующего типа. Использование систем автоматического доказательства для теории эксплуатирует идею изоморфизма Карри — Ховарда, а благодаря математическому содержанию, вложенному в теоретико-типовые понятия, на формальном языке теории удаётся выразить и проверить достаточно сложные результаты из абстрактных разделов математики, которые ранее считались не формализуемыми программными средствами.
Ключевая идея теории — аксиома унивалентности[⇨], постулирующая равенство объектов, между которыми может быть установлена эквивалентность, то есть, в гомотопической теории типов как равные рассматриваются изоморфные, гомеоморфные, гомотопически эквивалентные структуры; эта аксиома отражает важные свойства высшекатегорной интерпретации, а также обеспечивает техническое упрощение формального языка.
вики
Унивалентные основания математики — программа построения средствами гомотопической теории типов универсального формального языка, являющегося конструктивными основаниями для современных разделов математики и обеспечивающего возможность автоматической проверки правильности доказательств на компьютере. Инициирована Владимиром Воеводским в конце 2000-х годов; толчком к более широкому интересу к унивалентным основаниям послужила написанная Воеводским библиотека формализованной математики «Foundations», ставшая к середине 2010-х годов частью библиотеки UniMath и которая послужила основой для многих других библиотек[⇨]; в рамках программы большим коллективом математиков была написана книга[⇨].
Математическое доказательство в гомотопической теории типов состоит в установлении «обитаемости» необходимого типа, то есть, в построении выражения соответствующего типа. Использование систем автоматического доказательства для теории эксплуатирует идею изоморфизма Карри — Ховарда, а благодаря математическому содержанию, вложенному в теоретико-типовые понятия, на формальном языке теории удаётся выразить и проверить достаточно сложные результаты из абстрактных разделов математики, которые ранее считались не формализуемыми программными средствами.
Ключевая идея теории — аксиома унивалентности[⇨], постулирующая равенство объектов, между которыми может быть установлена эквивалентность, то есть, в гомотопической теории типов как равные рассматриваются изоморфные, гомеоморфные, гомотопически эквивалентные структуры; эта аксиома отражает важные свойства высшекатегорной интерпретации, а также обеспечивает техническое упрощение формального языка.
вики
y
yax3
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория,
Я точно в анеки зашел ?
l
legnum
постулирующая
в гомотопической теории типов как равные рассматриваются изоморфные, гомеоморфные, гомотопически эквивалентные структуры
это что за набор букв?
все что мне пригодилось в жизни из алгебры и геометрии так это : с2=а2+в2
аааа
стоп!
логарифмами я заборы ломал и гвозди дергал
H
Harry Vital
все что мне пригодилось в жизни из алгебры и геометрии так это : с2=а2+в2
а как же: 3.14 вместо пи заменять в словах?
p
potapov sergey
Муж возвращается с рыбалки и осторожно стучит в дверь. Ему открывает жена.
- Кот дома? - спрашивает шепотом муж.
- Заходи, не бойся, я ему кильки купила...
Мало кто знает, но последний, самый главный покемон находится в кабинете психиатра.
Очень полезный совет мужчинам.
Если ваши глаза закрыли мягкие ручки, в спину уперлись пышная грудь и пухленький животик, а сзади послышалось: «Отгадай кто?»...
В любом случае отвечайте: «Серега, ты, что ли?»
Поверьте, так будет лучше.
Жена говорит мужу:
- Мне столько денег надо! На эпиляцию, на маникюр, на педикюр, на мелирование, на косметику...
Муж:
- А мне повезло! Я сразу красивым родился.
На таможне.
- Что везете? Оружие, наркотики есть?
- Сейчас посмотрю... Меня просто мама собирала.
- Кот дома? - спрашивает шепотом муж.
- Заходи, не бойся, я ему кильки купила...
Мало кто знает, но последний, самый главный покемон находится в кабинете психиатра.
Очень полезный совет мужчинам.
Если ваши глаза закрыли мягкие ручки, в спину уперлись пышная грудь и пухленький животик, а сзади послышалось: «Отгадай кто?»...
В любом случае отвечайте: «Серега, ты, что ли?»
Поверьте, так будет лучше.
Жена говорит мужу:
- Мне столько денег надо! На эпиляцию, на маникюр, на педикюр, на мелирование, на косметику...
Муж:
- А мне повезло! Я сразу красивым родился.
На таможне.
- Что везете? Оружие, наркотики есть?
- Сейчас посмотрю... Меня просто мама собирала.
A
Alk86
логарифмами я заборы ломал
может моцк?
Р
Рейвольт ААронович
Р
Рейвольт ААронович
Р
Рейвольт ААронович
Р
Рейвольт ААронович
Обсуждение этой темы закрыто модератором форума.