1,5 Мб, 1920x1920
Помогите тупому перваку.
Включения и равенства доказываются на изи по определениям и т.п. Но как доказать это следствие(спаситепамагите):
A⋃B = A⋂B ⇒ A = B
Включения и равенства доказываются на изи по определениям и т.п. Но как доказать это следствие(спаситепамагите):
A⋃B = A⋂B ⇒ A = B
75 Кб, 720x409
Всем привет!
Ищу нечто вроде:
Вот есть простые неделимые на меньшие натуральные числа (и даже цифры): 0,1,2,3,5,7.
Назовём их "кванты".
Из этих квантов можно составить любое число.
Не так "2104", составил, мол, а вот так: 32 = 2 x5 x3 + 2
И речь не о простом разложении на простые множители + простой хвостик итп.
Речь про общие законы и про универсальные формулы.
Т.е. мы создаём любое число из квантов, конструктор. Эволюция чисел, так скажем.
Почему бы не записать теперь все натуральные числа (хотя бы) несколькими формулами, где будут производиться операции над нашими квантами?
Есть уже что-то такое?
Ищу нечто вроде:
Вот есть простые неделимые на меньшие натуральные числа (и даже цифры): 0,1,2,3,5,7.
Назовём их "кванты".
Из этих квантов можно составить любое число.
Не так "2104", составил, мол, а вот так: 32 = 2 x5 x3 + 2
И речь не о простом разложении на простые множители + простой хвостик итп.
Речь про общие законы и про универсальные формулы.
Т.е. мы создаём любое число из квантов, конструктор. Эволюция чисел, так скажем.
Почему бы не записать теперь все натуральные числа (хотя бы) несколькими формулами, где будут производиться операции над нашими квантами?
Есть уже что-то такое?
22 Кб, 604x103
Почему в ответе к задаче не A + B — 1,2,3,4,5 и A x B — 1,3. Хотя должно быть A + B — 1,3,4,5,6 и A x B — 5.
14 Кб, 480x360
Итак, пачаны, я прошел один математический тест для дошкольнят.
Предлагаю местным мат-и-мат-икам тоже попробовать решить его.
Проходил я его ирл и правильные ответы знаю, так что буду постить вопросы по мере продвижения по ним.
Зачем? Чтобы посмотреть как двачные математики будут справляться с ящичным для песка демоном, с применением топологии над модулями колец в бесконечномерных пространствах.
Предлагаю местным мат-и-мат-икам тоже попробовать решить его.
Проходил я его ирл и правильные ответы знаю, так что буду постить вопросы по мере продвижения по ним.
Зачем? Чтобы посмотреть как двачные математики будут справляться с ящичным для песка демоном, с применением топологии над модулями колец в бесконечномерных пространствах.
418 Кб, 1024x1024
Здравствуй.
Так сложилось, что школу я почти не посещал, из-за чего о многих понятиях, известных каждому школьнику, имею весьма отдаленное представление.
Незнание математики аукается хотя и редко, но весьма болезненно.
Недавно закончил базовый, ЭЛЕМЕНТАРНЫЙ курс арифметики, в частности умножение, деление, дроби и пропорции.
Теперь перехожу на уровень выше и прошу помочь с разделами АЛГЕБРЫ, на которые мне следует обратить наиболее пристальное внимание.
В первую очередь интересует word problem и все, что поможет мне не выглядеть помойным петухом в собственных глазах(т.е. то, что может реально пригодиться в жизни обывателя)
Спасибо.
Так сложилось, что школу я почти не посещал, из-за чего о многих понятиях, известных каждому школьнику, имею весьма отдаленное представление.
Незнание математики аукается хотя и редко, но весьма болезненно.
Недавно закончил базовый, ЭЛЕМЕНТАРНЫЙ курс арифметики, в частности умножение, деление, дроби и пропорции.
Теперь перехожу на уровень выше и прошу помочь с разделами АЛГЕБРЫ, на которые мне следует обратить наиболее пристальное внимание.
В первую очередь интересует word problem и все, что поможет мне не выглядеть помойным петухом в собственных глазах(т.е. то, что может реально пригодиться в жизни обывателя)
Спасибо.
201 Кб, 1920x1080
https://www.youtube.com/watch?v=hWi5skKJZR0&feature=youtu.be&t=16m52s
Если отойти на большое расстояние от объекта, то можно увидеть прошлое и будещее этого объекта.
Представляете какой пиздец? Ну и фуфло.
Если отойти на большое расстояние от объекта, то можно увидеть прошлое и будещее этого объекта.
Представляете какой пиздец? Ну и фуфло.
110 Кб, 1213x830
Изначально тред создавался в /b/, но пусть тут повисит. Дублирую.
Нужна помощь коллективного разума. Есть некая компания, производящая не сложный продукт бакалейная продукция. Но с точки зрения производства - при малом количестве входов очень много выходов. 2017 год был для компании не самый лучший убыточный. Я занимаюсь ПО в компании и мне поставлена задача уже как полгода разработать архитектуру системы производственно-логистического планирования. Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение. Да вот проблема - мои знания в математике поверхностные. В целом, я хорошо разбираюсь в дифференциальном и дискретном исчислении, но тут мне знаний не хватает. Более того, имитационное моделирование - сравнительно молодая отрасль науки в рашке, очень много материала на инглише, например, из MIT. Из хороших решений разобрался, как работать с RePAST Simphony. А вопрос такой - где найти гика-математика? Не на хедхантере же? Где они обитают?
Ссылка на тред в б http://arhivach.org/thread/330060
Нужна помощь коллективного разума. Есть некая компания, производящая не сложный продукт бакалейная продукция. Но с точки зрения производства - при малом количестве входов очень много выходов. 2017 год был для компании не самый лучший убыточный. Я занимаюсь ПО в компании и мне поставлена задача уже как полгода разработать архитектуру системы производственно-логистического планирования. Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение. Да вот проблема - мои знания в математике поверхностные. В целом, я хорошо разбираюсь в дифференциальном и дискретном исчислении, но тут мне знаний не хватает. Более того, имитационное моделирование - сравнительно молодая отрасль науки в рашке, очень много материала на инглише, например, из MIT. Из хороших решений разобрался, как работать с RePAST Simphony. А вопрос такой - где найти гика-математика? Не на хедхантере же? Где они обитают?
Ссылка на тред в б http://arhivach.org/thread/330060
51 Кб, 1197x673
Привет, двач! Расскажи, что мне нужно прочитать (и в какой последовательности) и прорешать, чтобы въезжать в математику на серьезном уровне? Желательно буксы на англицком.
113 Кб, 1920x1080
несмотря на идиотское название, тропическая геометрия --- годный,
развивающийся раздел математики.
на тропическую геометрию можно смотреть как на построение
алгебраической геометрии в "тропическом полукольце" с операциями + и
взятие максимума. тропические функции выпуклы и кусочно-аффинны,
отсюда связь с выпуклой геометрией. тропические многообразия --- это
комплексы многогранников, изучать их зачастую означает угореть по
какой-то комбинаторике.
с любым алгебраическим многообразием над полем, вложенным в
алгебраический тор, можно ассоциировать тропическое многообразие
("тропикализация"). можно и не над просто полем, а над нормированным
полем. на тропических многообразиях есть теория пересечений, которая
связана с "насторящей" теорией пересечений на многообразиях. есть
"тропические гомологии" (правда, что они считают --- тот ещё
вопрос). если кто угорает по неархимедовой геометрии (пространства
Берковича, вот это всё), то с ними тоже есть связь.
тропикализация гиперповерхности задаёт разбиение пространства,
двойственное многограннику ньютона. таким образом, на тропикализацию
многообразия большей коразмерности можно смотреть на такой способ
ассоциировать что-то типа многгранника ньютона с такими
многообразиями.
понимание свизи между многообразиями и их тропикализации очень
продуктивно: можно решать всякие задачи подсчёта из а/г, сводя их к
чисто комбинаторным задачам про многогранники.
развивающийся раздел математики.
на тропическую геометрию можно смотреть как на построение
алгебраической геометрии в "тропическом полукольце" с операциями + и
взятие максимума. тропические функции выпуклы и кусочно-аффинны,
отсюда связь с выпуклой геометрией. тропические многообразия --- это
комплексы многогранников, изучать их зачастую означает угореть по
какой-то комбинаторике.
с любым алгебраическим многообразием над полем, вложенным в
алгебраический тор, можно ассоциировать тропическое многообразие
("тропикализация"). можно и не над просто полем, а над нормированным
полем. на тропических многообразиях есть теория пересечений, которая
связана с "насторящей" теорией пересечений на многообразиях. есть
"тропические гомологии" (правда, что они считают --- тот ещё
вопрос). если кто угорает по неархимедовой геометрии (пространства
Берковича, вот это всё), то с ними тоже есть связь.
тропикализация гиперповерхности задаёт разбиение пространства,
двойственное многограннику ньютона. таким образом, на тропикализацию
многообразия большей коразмерности можно смотреть на такой способ
ассоциировать что-то типа многгранника ньютона с такими
многообразиями.
понимание свизи между многообразиями и их тропикализации очень
продуктивно: можно решать всякие задачи подсчёта из а/г, сводя их к
чисто комбинаторным задачам про многогранники.
41 Кб, 604x403
Тут же появляются юные студенты, стремящиеся стать полноценными математиками? Зачем вы делаете то, что делаете? Есть какая-то конечная цель? И на каких основаниях вы заключили что имеете шансы ее достичь? Вот конкретно можете назвать хотя бы десять математиков, чьи жизни вы бы хотели прожить?
58 Кб, 1552x871
Анон, а давай решим, наконец, тривиум Арнольда (первый).
Всего сто задач, задачи с первой по седьмую пикрелейтед.
Как решать первую? Я что-то нагуглил про графическое интегрирование, но ничего не понял.
Всего сто задач, задачи с первой по седьмую пикрелейтед.
Как решать первую? Я что-то нагуглил про графическое интегрирование, но ничего не понял.
10 Кб, 180x240
https://existentialtype.wordpress.com/2017/03/04/a-proof-by-contradiction-is-not-a-proof-that-derives-a-contradiction/
Оправдывайтесь.
> 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.
Оправдывайтесь.
15 Кб, 427x302
Собственно вопрос в названии темы. Всегда это было интересно. Но в интернете об этом ни слова. Но то есть там полно информации об этой теореме и как её доказывать. Но вопрос то не в этом. И дело тут даже не в градусах. Почему углы треугольника складываются в прямую линию. Что такое есть треугольник что у него такое интересное свойство? Почему геометрия нашего пространства так решила? Помню задавал этот вопрос преподавателю еще в школе, она меня даже не поняла.)))
3,9 Мб, 600x338
Как самостоятельно получить столько же знаний, сколько есть у выпускника медицинского? Какие книги читать? Есть ли гайды?
6 Кб, 100x100
В старый тред деградации часто кидали различные математические видео, которые по сути являлись оффтопом. Предлагаю коллекционировать годноту в отдельном треде.
Постите тут найденные вами интересные ролики или каналы. Движок макабы позволяет оставить лишь ссылку на видео, и ролик можно будет просмотреть прямо в треде.
Модерируемый.
Постите тут найденные вами интересные ролики или каналы. Движок макабы позволяет оставить лишь ссылку на видео, и ролик можно будет просмотреть прямо в треде.
Модерируемый.
254 Кб, 714x1010
Как /math/ относится к каббале?
Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги:
https://ru.wikipedia.org/wiki/Сефер_ха-Зоар
Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги:
https://ru.wikipedia.org/wiki/Сефер_ха-Зоар
132 Кб, 800x1122
Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: Metamath.
(Это связано с основаниями математики, но не спешите отчаиваться)
В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым.
FAQ:
1)Что это?
Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового.
Всё это доступно онлайн в удобном гипертекстовом виде.
2)Какие профиты?
а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых.
б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим.
в) Непосредственно прилагается самоучитель.
г) Простой (300 строк на питоне) верификатор доказательств.
д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3)
е) Живое коммьюнити.
3) Какие задачи?
Есть такая статья: http://us.metamath.org/ocat/model/model.pdf
Не знаю как анону, но мне было бы очень любопытно в ней разобраться.
4) Почему "лучше" чем HoTT, Coq, HOL и т.д.?
Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".)
Смело задавайте вопросы и высказывайте мнения.
(Это связано с основаниями математики, но не спешите отчаиваться)
В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым.
FAQ:
1)Что это?
Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового.
Всё это доступно онлайн в удобном гипертекстовом виде.
2)Какие профиты?
а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых.
б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим.
в) Непосредственно прилагается самоучитель.
г) Простой (300 строк на питоне) верификатор доказательств.
д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3)
е) Живое коммьюнити.
3) Какие задачи?
Есть такая статья: http://us.metamath.org/ocat/model/model.pdf
Не знаю как анону, но мне было бы очень любопытно в ней разобраться.
4) Почему "лучше" чем HoTT, Coq, HOL и т.д.?
Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".)
Смело задавайте вопросы и высказывайте мнения.
65 Кб, 471x471
Использую буковки x, y, z, w, p, r, i, j, k, l, n, m, t для генерации матриц разной размерности. Только вот если первые четыре вроде как традиционные, то дальше идёт первый пришедший в голову треш. Скажите, господа-математики, у вас есть какая-то расширенная традиция наименования степеней свободы?