Включения и равенства доказываются на изи по определениям и т.п. Но как доказать это следствие(спаситепамагите):
A⋃B = A⋂B ⇒ A = B
Пропущено 1 постов, 1 с картинками.
Вопрос хоть и тупой, но никто мне так и не ответил(даже наводку не дал)
Допустим, выполняется равенство, но A=!B, пусть тогда в A содержится элемент a, который не содержится в B, но тогда в пересечении множеств он содержаться не будет, а в объединении будет, т.е. равенство не будет выполняться, противоречие
Ищу нечто вроде:
Вот есть простые неделимые на меньшие натуральные числа (и даже цифры): 0,1,2,3,5,7.
Назовём их "кванты".
Из этих квантов можно составить любое число.
Не так "2104", составил, мол, а вот так: 32 = 2 x5 x3 + 2
И речь не о простом разложении на простые множители + простой хвостик итп.
Речь про общие законы и про универсальные формулы.
Т.е. мы создаём любое число из квантов, конструктор. Эволюция чисел, так скажем.
Почему бы не записать теперь все натуральные числа (хотя бы) несколькими формулами, где будут производиться операции над нашими квантами?
Есть уже что-то такое?
Пропущено 7 постов, 1 с картинками.
Конструкция, эволюция, кванты, универсальная формула для всех чисел
Слов много, а по сути? как гуманитарий писал
Системы Линденмайера, L-systems. Возможно, это то что тебе нужно.
Предлагаю местным мат-и-мат-икам тоже попробовать решить его.
Проходил я его ирл и правильные ответы знаю, так что буду постить вопросы по мере продвижения по ним.
Зачем? Чтобы посмотреть как двачные математики будут справляться с ящичным для песка демоном, с применением топологии над модулями колец в бесконечномерных пространствах.
Пропущено 27 постов, 6 с картинками.
У меня куда то проебался листок с решениями. Будем считать что правильно.
Хотя я так пытался примерно так же, тупо брут форсом подобрать и тоже набросал от руки график примерный, но мои ответы неправильными оказались.
Шестой вопрос.
Решить неравенство на картинке относительно параметра а.
Много писать, потому решать не буду.
>Будем считать что правильно
Я честно не знаю, как решить её дедовским методом, да и зачем. Могу только обратно дедовским взять. Возьмём треугольник с AC=4 и BC=3. Проведём медиану BM. В треугольнике BMC стороны MC=2 и BC=3, длина BM=sqrt(13). Из центра BM опустим перпендикуляры OB' и OA'. 1)треугольники BMC и OB'B подобны, тогда 2/OB'=sqrt(13)/0.5sqrt(13)
sqrt(13)=OB'sqrt(13)=>OB'=1
2) Треугольники BMC и OA'M подобны. Потому 3/OA'=sqrt(13)/0.5sqrt(13)
OA'sqrt(13)=1.5sqrt(13)
OA'=1.5
Лениво накатал графическое решение в заметках.
Так сложилось, что школу я почти не посещал, из-за чего о многих понятиях, известных каждому школьнику, имею весьма отдаленное представление.
Незнание математики аукается хотя и редко, но весьма болезненно.
Недавно закончил базовый, ЭЛЕМЕНТАРНЫЙ курс арифметики, в частности умножение, деление, дроби и пропорции.
Теперь перехожу на уровень выше и прошу помочь с разделами АЛГЕБРЫ, на которые мне следует обратить наиболее пристальное внимание.
В первую очередь интересует word problem и все, что поможет мне не выглядеть помойным петухом в собственных глазах(т.е. то, что может реально пригодиться в жизни обывателя)
Спасибо.
Пропущено 22 постов, 1 с картинками.
Конечно на учебники не нужно тратить времени. Вдруг ещё будет в математике разбираться.
К этому курсу, кстати, английский язык не особо нужен. Там всё наглядно.
Цыпкин, Пинский - Справочник по математике для средней школы.
Если отойти на большое расстояние от объекта, то можно увидеть прошлое и будещее этого объекта.
Представляете какой пиздец? Ну и фуфло.
Пропущено 8 постов, 2 с картинками.
>Если отойти на большое расстояние от объекта, то можно увидеть прошлое и будещее этого объекта.
Схуяли
потому что ты передвинулся в направлении, трансверсальном линии времени
Вот интересно: если есть перемещение во времени, то я перемещаюсь в метрике или метрика перемещается?
Нужна помощь коллективного разума. Есть некая компания, производящая не сложный продукт бакалейная продукция. Но с точки зрения производства - при малом количестве входов очень много выходов. 2017 год был для компании не самый лучший убыточный. Я занимаюсь ПО в компании и мне поставлена задача уже как полгода разработать архитектуру системы производственно-логистического планирования. Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение. Да вот проблема - мои знания в математике поверхностные. В целом, я хорошо разбираюсь в дифференциальном и дискретном исчислении, но тут мне знаний не хватает. Более того, имитационное моделирование - сравнительно молодая отрасль науки в рашке, очень много материала на инглише, например, из MIT. Из хороших решений разобрался, как работать с RePAST Simphony. А вопрос такой - где найти гика-математика? Не на хедхантере же? Где они обитают?
Ссылка на тред в б http://arhivach.org/thread/330060
Пропущено 6 постов, 1 с картинками.
>100к белыми
>Ну такое.
Да вы тут совсем зажрались со своими гамалогиями!
Дай сами данные посмотреть. Возможно, что-нибудь придумаю. Фейкопочта toki1488@mail.ru
>Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение.
А смысл? Чем эта система будет лучше обычно планового бюджета со сценариями на основе стандартного распределения (или, как вариант, на основе анализа прошлых периодов на предмет отклонений фактических значений статей баланса и ДиЗ от плановых - тут число доверительный интервал считаешь и готово)? Тем более, что отдельные риски ты едва ли сможешь верно оценить (а это нужно для имитационной модели - они для каждого предприятия свои (по крайней мере? внесистемный риск свой, системный - общий для отрасли).
Какова цель моделирования? Повышение эффективности процессов планирования на предприятии, так? Тут скорее всего будет достаточно вышеописанного и анализа сезонных колебаний цен сырья, продукции, объемов сбыта, многолетних циклов конъюнктуры рынка, возможно, если они оказывают существенное влияние на отрасль, а во всем остальном неопределенность будет слишком высокой. Ну, это мое мнение.
>внесистемный риск свой, системный
несистематический и систематический то бишь
Пропущено 61 постов, 3 с картинками.
1. https://math.berkeley.edu/~apaulin/AbstractAlgebra.pdf
2.http://ebooks.bharathuniv.ac.in/gdlc1/gdlc1/Mathematics%20Books/Introduction%20to%20Modern%20Algebra%20-%20David%20Joyce.pdf
3. Algebra: Chapter 0. Paolo Aluffi.
4. http://users.metu.edu.tr/sozkap/461-2010/book.pdf
5.https://homepages.warwick.ac.uk/~maseap/teaching/aa/aanotes.pdf
6.https://math.dartmouth.edu/archive/m31x13/public_html/Notes%20on%20Abstract%20Algebra%202013.pdf
7. http://users.metu.edu.tr/serge/courses/116-2015/Textbook116.pdf
Хуита, бери Винберга или Ван дер Вардена и не страдай. Вообще обучение сводится не к тому какие книги ты читаешь, а какие решаешь задачки. Так что лучше всего ботать по листочкам из вышки или нму
если ты намерен читать только задачи, то смысл вопроса выше приближается к нулю: ты можешь читать задачи хоть из всех учебников сразу и выбирать, какие нравятся
Попробуй в НМУ вкатиться.
развивающийся раздел математики.
на тропическую геометрию можно смотреть как на построение
алгебраической геометрии в "тропическом полукольце" с операциями + и
взятие максимума. тропические функции выпуклы и кусочно-аффинны,
отсюда связь с выпуклой геометрией. тропические многообразия --- это
комплексы многогранников, изучать их зачастую означает угореть по
какой-то комбинаторике.
с любым алгебраическим многообразием над полем, вложенным в
алгебраический тор, можно ассоциировать тропическое многообразие
("тропикализация"). можно и не над просто полем, а над нормированным
полем. на тропических многообразиях есть теория пересечений, которая
связана с "насторящей" теорией пересечений на многообразиях. есть
"тропические гомологии" (правда, что они считают --- тот ещё
вопрос). если кто угорает по неархимедовой геометрии (пространства
Берковича, вот это всё), то с ними тоже есть связь.
тропикализация гиперповерхности задаёт разбиение пространства,
двойственное многограннику ньютона. таким образом, на тропикализацию
многообразия большей коразмерности можно смотреть на такой способ
ассоциировать что-то типа многгранника ньютона с такими
многообразиями.
понимание свизи между многообразиями и их тропикализации очень
продуктивно: можно решать всякие задачи подсчёта из а/г, сводя их к
чисто комбинаторным задачам про многогранники.
Пропущено 11 постов, 1 с картинками.
Как я пропустил этот тред...
Вот есть простые-интересности
https://www.mccme.ru/free-books/dubna/kazaryan.pdf
> тропическая геометрия
Как вкатиться?
не знаю, может учеников бухштабера навернуть
у них какие-то лекции даже на матнете выложены
Какие у неё приложения?
Пропущено 43 постов, 2 с картинками.
Я изучаю потихоньку в соло, по ходу спрашиваю что непонятно тут, вроде нормально идёт.
Правда есть момент, если у чуваков-студентов на всё уходит 4 года, то тут умножай на три где-то.
>возможно ли самому потянуть изучение математики
имхо, до какого-то уровня да. Первые 2 курса старой программы Миши например. Но чтобы быть готовым заниматься профессионально навряд ли.
Кто на фотках? Гротендик?
Всего сто задач, задачи с первой по седьмую пикрелейтед.
Как решать первую? Я что-то нагуглил про графическое интегрирование, но ничего не понял.
Пропущено 45 постов, 8 с картинками.
Знаешь, я вот теорию категорий математикой не считаю. Это просто язык, который создан для обслуживания математических нужд, но не математика.
Ну у быдла такие вопросы, конечно, не возникают.
У математика должны бы. А что такое "хорошая литература"? А какой её критерий? А почему с математикой должно быть так же как и с литературой? Что это за логическая система, в которой возможно доказательство по аналогии?
Могу пятое сделать.
Могу твою мамку на кукан насадить. Но только какой в этом смысл?
> As an aside Euclid Book I, Prop. 6 uses the “refutation by contradiction” plus double negation form whereas Prop. 7 uses the straight “refutation by contradiction” form. This suggests to me the Greek geometers were well aware of the distinction.
Оправдывайтесь.
Пропущено 34 постов, 3 с картинками.
Есть мнение, что Евклид - Бурбаки в Древней Греции.
Какого хуя Джон Арчибальд Уилер так лижет зад Пармениду? https://www.youtube.com/watch?v=ITH8jip-3VA
Аноним
29/07/18 Вск 19:25:44
№
Ответ
https://www.youtube.com/watch?v=ITH8jip-3VA
Пропущено 4 постов, 1 с картинками.
Древне-греческий философ. Может знаешь апории Зенона. Так вот Парменид - его учитель. Не понимаю что это делает на доске с математикой, бтв.
Пропущено 89 постов, 6 с картинками.
>почему низкогравитационный предел это плоское пространство?
Полуторалетней давности пост на сосаче заставил меня задуматься над перпендикулярностью связанных пространственных размерностей как базовом принципе или это наше субъективное восприятие? xd мироздания, кайф
дополнение: Вот в "принятом" доказательстве например фигурирует такое понятие как "полуплоскость". Что это? И почему прямая разбивает плоскость на две этих самых полуплоскости. Очевидно? Я так не думаю.
Не понимаю как можно построить строгое формальное доказательство без строгого формализма.
А так конечно, приложим хуй к носу хуе-мое. Я и сам так доказываю всегда и доволен как слон.
Погорелова не читал, аксиоматику школьной геометрии не знаешь. Так и запишем.
Пропущено 48 постов, 5 с картинками.
Лютая годнота, анон
Смотрел со своим кунчиком. Такая скучнота, что дважды поняшились.
Постиронии тред го
Гугл сломался? Изучаешь анатомию (надо купить труп, формалин), гистологию (препараты животных, микроскоп), микробиологию, биохимию, нормальную физиологию. Как изучишь приходи.
На самом деле это очень важная проблема и очень большое упущение в нашей (общечеловеческой в том числе) системе образования. Я понимаю твою иронию, но на самом деле получать столько же знаний, как у выпускника меда, совсем не нужно, если ты не деньги этим зарабатывать собрался. А вот основы здорового образа жизни и самопомощи - это, быть может, вообще самое важное, чему могут научить ребенка в школе. Но не учат. Даже предмет у них есть: физическая культура. Вот только никакой культуры там не преподают.
и да, я про медицину, а не про математикуначувствуются своей постиронией и ябут друг друга в жопы
Постите тут найденные вами интересные ролики или каналы. Движок макабы позволяет оставить лишь ссылку на видео, и ролик можно будет просмотреть прямо в треде.
Модерируемый.
Пропущено 41 постов, 2 с картинками.
Да шизик который не понимает различие между умножением и степенью. Ещё говорит что цифра умноженная на 0 = 1. И ещё огромной количества бреда.
https://www.youtube.com/channel/UCE28HIozPpoZRcLAUZnJ0zA - лекции по линейной алгебре/мере
https://www.youtube.com/channel/UC-yk6uhkjCJquDVlLWSfOkw/featured - записи лекций для малого мехмата мгу
https://www.youtube.com/channel/UCH1cV4RtgI_N97M8jepiUzw/feed -наглядно о теории групп
https://www.youtube.com/channel/UCrOG7bjo_xqRSoX1g9X3fqQ -канал с математическими лекциями на русском со всего интернета
https://www.youtube.com/channel/UCErLELnXehsJ7ycW4OJgfQQ - адвансед
Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги:
https://ru.wikipedia.org/wiki/Сефер_ха-Зоар
Пропущено 39 постов, 7 с картинками.
Ой, почти случайно увидел тебя. Ты читаешь мои гугло-запросы? Или тебе так сказали ранее?
У меня чё-то Каббала ассоциируется с кредитным рабством,
и я даже знаю почему - а именно, по ключевому слову "закаббалить".
Но на самом-то деле это не так.
Она с Торой связана, а там канон Ветхого Завета, который на уровне фундаментализма,
и Иудейский, и Православный, и Католический (и Христианский вцелом).
https://ru.wikipedia.org/wiki/Ветхий_Завет#Канон_Ветхого_Завета
Но я ничего не понимаю там. Я по диагонали читал.
Я не думаю, что надо в этом разбираться, и как-либо интерпретировать,
ведь это всё можно запрограммировать - наилучшим образом.
В настоящей науке нет чего-то 100%ного, она строится на подтверждающихся теориях, которые могут быть не точны или неприменимы в других областях(что не уменьшает её важности). Например та же классическая физика Ньютона, которая оказалась неприменима к свету(что потом разрулил Эйнштейн наше всё, но не в микромире) Наука достаточно достоверна, но её достижения не абсолютны, понимаешь? Но это не отменят того факта, что научный метод - самый точный и достоверный источник знаний
Кстати, по 100% процентов как раз таки и заливают всякие религиозники, а труъ учёные просто занимаются своим делом. и их результаты не всегда точны на все сто, что они и сами признают (я уже говорил, что ньютоновскую физику пришлось "корректировать")
(Это связано с основаниями математики, но не спешите отчаиваться)
В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым.
FAQ:
1)Что это?
Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового.
Всё это доступно онлайн в удобном гипертекстовом виде.
2)Какие профиты?
а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых.
б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим.
в) Непосредственно прилагается самоучитель.
г) Простой (300 строк на питоне) верификатор доказательств.
д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3)
е) Живое коммьюнити.
3) Какие задачи?
Есть такая статья: http://us.metamath.org/ocat/model/model.pdf
Не знаю как анону, но мне было бы очень любопытно в ней разобраться.
4) Почему "лучше" чем HoTT, Coq, HOL и т.д.?
Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".)
Смело задавайте вопросы и высказывайте мнения.
Пропущено 21 постов, 6 с картинками.
> теорию стоящую за коком тоже надо как-то обосновать. В чём-то простом.
Лямбда же. Ну и изоморфизм Карри-Говарда. В конечном счёте все обоснование упирается в вычислимость. Как и MLTT.
Если ты из Москвы, то давай увидимся в НМУ 20го января в 13:00 ? Там книжный хороший, тебе понравится, как раз туда собираюсь.
>Математика - это заложенный самим Богом способ более глубокого, чем обыденное, познания окружающей действительности.
Вы сильно преувеличиваете. Математика — это просто описание некоторых аспектов реальности, вот и всё. Нет никакого "более глубокого" познания. Всё познание одинаковое.
тред же про метамаф... не надо тут, я хотел бы, чтобы последним постом было следующее заключение:
1) там очень сомнительная и некрасивая теория типов.
2) Язык слишком бедный
3) В такого рода системах можно легко нарваться на противоречие. ( из-за того, что там замены без нормального вывода типа)
4) Морока с "различностью переменных" - излишняя грузящая синтаксис вещь.
Поэтому пусть этот тред утонет: есть куда более красивые и полезные аналогичные классические вещи - элементарные теории первого порядка.
ОП
Пропущено 5 постов, 1 с картинками.
∆
∆ ∆
>саня хуй саси